Information Systems: Modeling, Development, and Integration - Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009, Proceedings

Title Page

Preface

Organization

Table of Contents

Keynotes (Abstracts)

Model-Based Design - A Chance for Good Quality Products and Services by Integrating Intelligence

Process Modelling – What Really Matters

ISTA Papers

Information Systems Modelling

Robust Web Services Provisioning through On-Demand Replication

Introduction

Preliminaries

Anatomy of Web Services

Web Services and Web Service Hosts

Stationary and Mobile Web Services

System Design

Dynamic Web Services Replication

Replication Decision Model

Deployment Transparency

Host Matchmaking and Selection

Implementation and Experimentation

Implementation

Experimentation

Conclusion

References

Modelling and Maintenance of Very Large Database Schemata Using Meta-structures

Introduction

Internal Dimensions of Skeletons and Subschemata

Meta-structures in Subschemata and Schema Skeletons

Construction Meta-structures

Lifespan Meta-structures

Context Meta-structures

Application of Meta-structures in Data Modelling

Design by Units

Incremental Structuring

The String Bag Modelling Approach

Rigid Structuring and Principles of Schema Abstraction

Conclusion

References

SOM-Based Dynamic Image Segmentation for Sign Language Training Simulator

Introduction

Related Work

Dynamic Image Clustering

Data Preparation

Interpretation of Clusters

Experimental Results

Conclusion and Future Work

References

Agile Software Solution Framework: An Analysis of Practitioners’ Perspectives

Introduction

Research Methodology

Analysis and Results

Software Methodology Core Aspects

Software Methodology Construction and Selection Factors

Agile Governance

Agile Knowledge

Business Value and Agile Software Development Methodology

Business Policy Impact on Agile Software Development Methodology

Validity and Limitations

Conclusion

References

Facilitating Inter-organisational Collaboration via Flexible Sharing of Rapidly Developed Web Applications

Introduction

Need for Sharing Web Applications

Features of Information Sharing in Dynamic eCollaboration

General Principles of Sharing Information on the World Wide Web

Limitations of Current Approaches to Sharing

Bitlet Framework Overview

Bitlet Fundamental Architecture Shift

Key Advantages and Features

The Role of Bitlets in Facilitating Dynamic eCollaboration

Advantages of Using SBO for Building Web Applications

Sharing SBO Based Applications Using Bitlets

Conclusion

References

Sales Forecasting Using an Evolutionary Algorithm Based Radial Basis Function Neural Network

Introduction

Literature Review

The Proposed HPG Algorithm

The Dissect of the HPG Algorithm

Experiment Results and Comparison

Experimental Parameters Setting

Building ARIMA Models

The Error Measures of the Sales Forecasting Performance

Conclusions

References

Micro Implementation of Join Operation at Clustering Nodes of Heterogenous Sensor Networks

Introduction

Data Stream Join Operation

Clustering Nodes in Heterogenous Sensor Networks

Implementation of Join Operation at a Clustering Node

Structure of the Paper

Previous Works

Formal Backgrounds

Basic Concepts

Incremental Processing of Join Operation

Optimization of Join Operation

Micro Implementation of Join Operation

Firmware Implementation of Join Operation

Experimental Results

Joining Two Streams

Joining Several Streams

Summary

References

Facilitating Reuse of Code Checking Rules in Static Code Analysis

Introduction

Background

Code Checking Rules

Design Decisions and Quality Requirements

The Rationale Behind the Code Checking Rules

Code Checking Rules and Design Decisions

Code Checking Rules and Design Patterns

Code Checking Rules and Quality Requirements

Code Checking Rules and Software Quality Characteristics

A Conceptual Model of Code Checking Rules and Their Rationale

Rule Reuse

Rule Reuse Cases

Rule Reuse Scenarios

Related Work

Source-Level (White-Box) Rule Reuse

Code Quality and Black-Box Rule Reuse

Conclusions and Future Work

References

Achieving Adaptivity Through Strategies in a Distributed Software Architecture

Introduction

Motivating Example

ARMANIS’ Architectural Model

The Request Execution Protocol Model

System Strategies

Connectivity Strategies

ARMANIS Applied to a Case Study

Implementation Notes

Conclusions and Further Work

References

Genetic Algorithm Application for Traffic Light Control

Introduction

Related Work

Model Design for Traffic Light

Variables

Cellular Automata

The Model’s Algorithms

Comparisons between Static and Dynamic Control

Conclusions and Future Work

References

Weaving Business Processes and Rules: A Petri Net Approach

Introduction

Business Rules and Aspect-Orientation

Modeling Business Rules with PrT Nets

Weaving Rule Nets into Process Nets

Conclusion

References

Enterprise Business Process Modelling

Modeling Actions in Dynamic Engineering Design Processes

Introduction

Related Work

Action Modeling Framework of PSI

Preliminaries

Action Kinds

Dependencies and Concurrency

Implementation and Evaluation

Concluding Remarks

References

Replenishment Policy with Deteriorating Raw Material Under a Supply Chain: Complexity and the Use of Ant Colony Optimization

Introduction

Problem Description

Ant Colony Optimization for DLSPDRM

The Property and Theorem of the DLSPDRM

Development of Ant Colony Optimization

Numerical Analysis

Conclusions

References

Appendix: Notation of DLSPDRM Is Defined as Follows

An Algorithm for Propagating-Impact Analysis of Process Evolutions

Introduction

Background

KAT for Process Modelling

Process Example Using KAT

DISN Impacts of Process Element Evolution

Mapping of Process Expressions in KAT to Binary Tree Structures

Algorithm in Locating DISN Impact of Process Evolution

Validation of the DISN Impact Locating Algorithm

Conclusion

References

Business Process Improvements in Production Planning of ERP System Using Enhanced Process and Integrated Data Models

Introduction

Framework for Business Process Integration, Automation and Optimisation

Business Process Improvements Using Enhanced Process and Integrated Data Models

Integrated Master and Transaction Data in ERP System Environment

Master Data Integration Using Unitary Structures

Production Planning and Execution Using Integrated Master and Transaction Data

Conclusions

References

Computing the Cost of Business Processes

Introduction

Representation of Cost and Reliability in BPD’s

Calculation Method

Patterns for Cost Calculation

Pattern 1: n Tasks in a Sequential Order

Pattern 2: n Tasks in a Parallel Order

Pattern 3: Conditional Branching

Pattern 4: ”n” Successive Possibilities

Example: Breaking a BPD into Patterns

Further Work and Conclusion

References

Formalizing Computer Forensics Process with UML

Introduction

Necessary Parts for the Computer Forensics Process

UML Model for Forensics Process

Conclusion

References

Information Retrieval and NLP

Improving Product Usage Monitoring and Analysis with Semantic Concepts

Introduction

Related Work

Example Scenario

Approach

Overview

Ontologies

Implementation

Observation Specification and Data Collection via D’PUIS

Semantic Process Mining Using ProM

Conclusion

References

Using GA and KMP Algorithm to Implement an Approach to Learning Through Intelligent Framework Documentation

Introduction

Objective

Framework Documentation

Documentation Approaches

Literature Review

Implementation of GA and KMP

Genetic Algorithm (GA)

Knuth-Morris-Pratt (KMP) Algorithm

The Intelligent Documentation Approach

Implementation: The Prototype

Collaboration Diagram

User Interface and Sample Results

Discussions

Conclusion and Future Work

References

Computer-Based Assessment: From Objective Tests to Automated Essay Grading. Now for Automated Essay Writing?

Motivation for the Study

Essay Scoring Technology

The Value of Essays

Essays for Sale

Automatically Grading Essays

Computer Generated Essays

Architecture of the Gatherer

Searching the Web

Document Formats

Observations, Ongoing Work and Conclusions

References

Attitudes Toward ICT of Electronic Distance Education (ePJJ) Students at the Institute of Education Development, University Technology Mara

Introduction

Background

Statement of the Problem

Methodology

Findings

Discussions

Conclusion

Recommendation

References

e-Learning and Training

Metaverse Services: Extensible Learning with Mediated Teleporting into 3D Environments

Introduction

Background and Motivation

Existing Approaches and Considerations

Sloodle

No Integration

Background to SLURLs

Proposed Approach

Architecture

Implementation

Benefits

Conclusion and Future Work

References

Combining Simulation and Animation of Queueing Scenarios in a Flash-Based Discrete Event Simulator

Introduction

The DES Framework

The Distribution Package

The DataCollectors Package

The Monitor Package

The Resource Package

Graphical Objects in DES Models

Flash Components

Example

Conclusions

References

Preservation of Client Credentials Within Online Multi-user Virtual Environments Used as Learning Spaces

Introduction

Background and Motivation

Existing Approaches and Considerations

Limitations of Current Approaches

Proposed Approach

Interoperability of MUVEs

Benefits of the Approach

Conclusions and Future Work

References

Short Term Stock Prediction Using SOM

Introduction

Self-Organizing Map

The Proposed Method

Preprocessing

Clustering Analysis

Self-Organizing Map

Experimental Results

Conclusion

References

Datamining, Datawarehousing, and Visualization

Rules and Patterns for Website Orchestration

Introduction

Related Work

Placement Prerequisites

Patterns

Grids

Story

Dynamic Placement

Placement Problems

Placement Strategies

Mashup Placement

Conclusion

References

Visual Intelligence Density

Introduction

Visual Decision Making Problems and Requirements

Information Visualization Systems

Visual Intelligence Density

Visual Decision Making Process

The VDSSG Framework

The VDSSG Architecture

Implementation

A Static Visualization

A Simple Animated Visualization

A Sophisticated Animated Visualization

Conclusion

References

A Framework for Data Quality in Data Warehousing

Introduction

Problem Statement

Literature Review

A Framework for Data Quality in Data Warehousing

Use Case

Conclusions

References

Visuco: A Tool for Visualizing Software Components Usability

Introduction

Our Proposal

Adapting the Metaphor to Component Usability

VISUCO: A Tool to Assess Usability Software Component

Conclusions and Futures Work

References

Information Sytems Adaption, Integration, and Security

Study of Using the Meta-model Based Meta-design Paradigm for Developing and Maintaining Web Applications

Introduction

Related Work

Meta-model Based Meta-design Paradigm to Develop Web Applications

Infrastructure

Learning Environment

Socio-technical Environment

Case-Study

Discussion

Conclusion

References

Lost in Translation? Transformation Nets to the Rescue!

Introduction

Transformation Nets at a Glance

The Static Part of Transformation Nets

Representing Metamodel Elements as Places

Representing Model Elements as Tokens

The Dynamic Part of Transformation Nets

Lessons Learned

Related Work

Conclusion and Future Work

References

Metamodeling Foundation for Software and Data Integration

Introduction

Computation Independent Metamodel

Platform Specific Metamodels

SAP R/3 Platform Specific Metamodel

Platform Independent Metamodel

Structure and Communication

Property and Behavior

Semantic and Annotation Metamodel

Conflict Analysis

Connector Generation

Conclusion

References

Medical Personal Data in Secure Information Systems

Introduction

Data Protection in Slovenia

Personal Data Protection Act

Healthcare Databases Act

Regulations for Personal Data and Other Sensitive Data Protection

Conclusion

References

Implementing Medication Management Software Effectively Within a Hospital Environment: Gaining Benefits from Metaphorical Design

Introduction

Literature Review

Methodology (Design Research)

Research Approach and Context

Findings and Discussion

Limitations and Challenges

Conclusions

References

Information Systems Architecture and Technologies

Exploring the Potential of Component-Oriented Software Development Application

Introduction

Information Gathering

Questionnaire Design

Population Determination

Data Presentation

Current Practice

Component Users’ Experience

Non-component Users’ Perception

Discussion

Related Work

Conclusion

References

On Using Semantic Transformation Algorithms for XML Safe Update

Introduction

XML Updates

Overview

Related Works

XML Updates Using SQL/XML

Safe Updates Framework

Primitive Safe Update Framework

Semantic Safe Update Framework

Proposed Algorithms

Implementation

Analysis

Conclusion

References

Storing and Querying Graph Data Using Efficient Relational Processing Techniques

Introduction

Related Work

Organization of the Paper

Preliminaries

Labelled Graphs

Graph Containment Queries

Relational Processing of Directed Labelled Graphs

Vertex-Edge Mapping Scheme

Edge-Edge Mapping Scheme

Relational Processing of Undirected Labelled Graphs

Edge-Vertex Mapping Scheme

Relational-Based Optimization for Graph Queries

Injecting Selectivity Annotations for SQL Predicates

Relational Indexes Support for SQL-based Graph Queries

Performance Evaluation

Conclusions

References

SecCom: A Prototype for Integrating Security-Aware Components

Introduction

Security-Aware Integration

SecCom Prototype

Processing Example

Running of SecCom.

Implementation

Conclusion

References

Incorporating Software Testing as a Discipline in Curriculum of Computing Courses

Introduction

Overview of the Software Testing Course

Learning Outcomes

Lecture

Lab Session

Assessments

Challenges and Solution

Student Feedback

Impact on Australian Markets

References

Information Systems Applications and Web Intelligence

Intelligent Recruitment Services System

Introduction

Overview

Method Description

Curriculum Vitae Clustering

Clustering CVs Using Integrate Approach

Applicants’ CVs Annotation

Conclusion

References

Challenges and Opportunities Relating to RFID Implementation in the Healthcare System

Introduction

RFID Implementation Challenges in HMS

RFID in the Hospital Information System – A Case Study

RFID Model for Healthcare Systems

RFID-Enabled HIS Application

Discussions and Results

Conclusions and Future Work

References

Communities of Practice and Semantic Web Stimulating Collaboration by Document Markup

Introduction

Methods

A Case Study on Community of Practice

Novel Techniques for Technical Communications

Services for Reducing Barriers

Stimulating Technical Cooperation

Implementation

Conclusion and Outlook

References

eCOMO Papers

Modelling and Analysis Challenges

Conceptualizing Software Life Cycle

Introduction

The Flow Model

Example of FM Modeling

Waterfall Model

The Flow Model and the Waterfall Model

Flow-Based Waterfall Model

Requirements Phase

Requirements Traceability

Design Phase

Conclusion

References

Modeling Complex Adaptive Systems

Introduction

Collaborative Infrastructures

A Blueprint for Modeling

Modeling Activities

The Business Activity Model

Social Network Models - Extending Network Diagrams to Collaboration Graphs

Coordination Pattern

Creating Enterprise Collaboration Networks

The Collaboration Graph for an Outsourcing Example

Mapping to an Implementation

Summary

References

Designing Modular Architectures for Cross-Organizational Electronic Interaction

Introduction

Architecture Framework for Modular Cross-Organizational Interaction

C-Component

L-Component

O-Component

Conclusion

References

Modelling in Action

Modelling the Bullwhip Effect Dampening Practices in a Limited Capacity Production Network

Bullwhip and Production Capacity: An Overview

Bullwhip Solution Approaches: Collaboration Practices and Smoothing Replenishment Rules

Methodology: Continuous Time Domain

Models: Mathematical Formalism

Performance Metrics, Experimental Sets, Data Analysis

Experimental Sets and Results

Conclusions

References

A Comparative Analysis of Knowledge Management in SMEs

Introduction

Knowledge Management

A Unify Knowledge Management Model and Research Design

Data Analysis

Infrastructure Capability

Process Capability

Purposes of KM Adoption

Discussion

Conclusion

References

Supporting Strategic Decision Making in an Enterprise University Through Detecting Patterns of Academic Collaboration

Introduction

Scientific Networks, as a Precursor to Collaborative Academic Networks

Information Sources and Visual Analysis of Academic Networks

Interestingness and Aspects of Measuring It

Interestingness in Collaborative Networks

ExtractingInformation about Collaboration

Data Set

Methodology

Analysis

Conclusions and Future Work

References

Dynamic User Modeling for Personalized Advertisement Delivery on Mobile Devices

Introduction

The LUNA Project

A Dynamic User Model for Personalized Ads Delivery

Long Term User Interest Frameworks

Short Term User Interest Framework

Conclusion and Future Work

Reference

MBSDI Papers

A Graphical Query Language for Querying Petri Nets

Introduction

Related Works

Petri Net

Petri Net Query Language (PNQL)

Preliminaries

Syntax and Semantics of PNQL

Complexity of Evaluating Model Patterns

Conclusions and Future Perspectives

References

Model Checking by Generating Observers from an Interface Specification Between Components

Introduction

A System Model and a Query of UPPAAL

Generation of Observers

Specification Format of an Interface between Two Components

Modification of Timed Automata of a System Model

Procedure of Generating Observers

Adequacy of a Generated Observer’s Behavior

Application to a Communication Protocol System and Evaluations

Conclusion

References

A Meta-modeling Framework to Support Accountability in Business Process Modeling

Introduction

Related Work

Accountability Meta-model in OMG MDA Framework

Accountability Meta-model

Service Contract Meta-model

Service Accountability Meta-model

Formal Specification of the Contract and Accountability Meta-model

Application of the Accountability Meta-model

Conclusion and Future Work

References

Appendix A

Extensible and Precise Modeling for Wireless Sensor Networks

Introduction

Metamodels and Models for WSN Applications

Generic Metamodel Elements

Domain-Specific Metamodel Elements

Platform Specific Metamodel Elements

Creating a Model Based on the Metamodel

Model Validation with OCL

Model-to-Code Transformation

Preliminary Evaluation

Conclusion

References

Author Index