SIWN Abstracts Index

 

 

sai: cosiwn.2008.06.123

Scalable Continuous Query Architecture for eCommerce and Legal Disputes

Ather Saeed, Andrew Stranieri, Richard Dazeley and Liping Ma

Communications of SIWN, Vol. 3, June 2008, pp. 1-6

Abstract: Continuous Queries (CQ) are persistent, content sensitive and time dependent. Once the CQ is installed it will continuously poll the data sources and monitor updates of interest. This paper discusses major problems and issues with the existing CQ techniques for monitoring updates of interest on the web. A new Continuous Query based architecture is proposed to deal with the context sensitive problems of negotiation, mediation and arbitration to resolve Ecommerce and legal disputes. A business process model is given to automate mediation and arbitration processes in ODR (Online dispute resolution) to resolve disputes efficiently and in a timely manner. In the proposed CQ-Mediator architecture partial page update and web services are integrated for efficient monitoring and notification of updates to the disputants, mediators and arbitrators. Performance results of the proposed architecture and business process model for CQ-based ODR is also discussed in the experiment section.

Keywords: continuous queries, AJAX, web services, online dispute resolution

 

sai: cosiwn.2008.06.124

Schedule Nervousness Reduction in Transport Re-Planning

Jörn Schönberger and Herbert Kopfer

Communications of SIWN, Vol. 3, June 2008, pp. 7-14

Abstract: This article reports about investigations on a transport scheduling scenario. The generated schedule requires a repeated revision in order to incorporate additionally released requests. Neither the release time nor the location of the associated customer site can be forecasted. Special attention is paid to keep the generated schedules stable, which means that once made scheduling decisions should be maintained (announced arrival times at customer sites, etc.) Initially, several measures for the nervousness degree are proposed. In computational simulations it turns out that a very high nervousness degree appears if the same schedule update strategies are applied for different workloads. As a remedy, the adaptation of the used schedule update strategy to the current schedule performance is proposed. A prototypic algorithm framework is presented and assessed is comprehensive numerical simulation experiments. The adaptation of the schedule update strategies contributes to a significant reduction of some observed nervousness degrees. It reinforces the preservation of once fixed arrival times at customer sites.

Keywords: Adaptive Decision Model, Transport Scheduling, Online Optimization, Uncertainty, Reactive Planning

 

sai: cosiwn.2008.06.125

Method Requirements for Information Demand Analysis

Magnus Lundqvist, Kurt Sandkuhl, Ulf Seigerroth and Janis Stirna

Communications of SIWN, Vol. 3, June 2008, pp. 15-21

Abstract: In this paper we analyze the methodological requirements for Information Demand Analysis (IDA) i.e. capturing, representing, and modeling information demand by means of Enterprise Models (EM). The paper presents the background of IDA and defines the initial requirements and then discusses the suitability of one example EM method, EKD.

Keywords: information demand analysis, information logistics, enterprise modeling, context.

 

sai: cosiwn.2008.06.126

Capturing the B2B Transaction Experience

Moses Niwe

Communications of SIWN, Vol. 3, June 2008, pp. 22-26

Abstract: This research uses a pattern approach to capture experiential knowledge in the business-to-business (B2B) systems domain. Multiple companies are selected to develop the patterns and Qnet experience is presented as a case for validating these patterns. The patterns act as guidelines and suggestions that give advice on how to apply operational practices and communication aspects of B2B systems to solve similar problems and avoid duplication of efforts in the exchange of transaction data.

Keywords: B2B systems, patterns.

 

sai: cosiwn.2008.06.127

Knowledge Management Framework for Interoperability of Virtual Enterprise

Chengzhu Sun, Xiaofei Xu, Shengchun Deng and Xiangyang Li

Communications of SIWN, Vol. 3, June 2008, pp. 27-31

Abstract: In order to accomplish interoperability of partners in the virtual enterprise, knowledge must be organized well by means of knowledge management. Present knowledge management framework not fits virtual enterprise because virtual enterprise, different from a single company, is agile, distributed, with specific activities of knowledge management. A knowledge management framework is proposed to solve this problem. The interoperability of virtual enterprise is supported by united knowledge representation, recognized ontology formulation, convenient knowledge share as well as valid knowledge mapping etc. Based on knowledge model of virtual enterprise, a new knowledge representation schema based on ontology is proposed and corresponding ontology representation language is described. To address the requirement of interoperability for virtual enterprise, a knowledge management framework including knowledge activities and their assistant factors is put forward. The knowledge activities in knowledge management framework such as knowledge extraction, maintenance, match/mapping and evaluation are explained in detail. Finally, an instance about a certain virtual enterprise is given briefly to demonstrate the application of the knowledge management framework.

Keywords: knowledge management, framework, virtual enterprise, interoperability, ontology.

 

sai: cosiwn.2008.06.128

Model Driven Implementation of Business Processes Based on Web Service Nets

Maik Herfurth, Thomas Karle and Ralf Trunko

Communications of SIWN, Vol. 3, June 2008, pp. 32-38

Abstract: In the development of modern IT systems, there is a trend towards adaptive systems. In this paper, we regard adaptation in terms of context awareness in the area of business process modelling and management. In this contribution, we focus on context awareness at build time by using Web Service nets, a new variant of high level Petri nets by using an MDA approach. The approach provides a model based process definition as well as a generation and implementation of executable WSBPEL processes.

Keywords: model driven development, business process modelling, business process management, context awareness, WSBPEL, model driven architecture, code generator.

 

sai: cosiwn.2008.06.129

Electronic Supply Chain Integration: The Moderating Effect of Cooperative Norms

Richard Germain, Garry Buttermann and Karthik Iyer

Communications of SIWN, Vol. 3, June 2008, pp. 39-45

Abstract: The research focuses on understanding whether cooperative norms with customers influences the linkages among electronic supply chain integration, decentralized adoption over supply chain information technology (IT), industry process turbulence, and financial performance. The key finding is that that electronic supply chain integration associates with performance only when cooperative norms are high. In addition, this thwarts the financial benefits that accrue from decentralized decision-making over supply chain IT adoption.

Keywords: electronic supply chain integration; cooperative norms, financial performance

 

sai: cosiwn.2008.06.130

Context Aware Business Adaptation toward User Interface Adaptation

Anas Hariri, Dimitri Tabary, Sophie Lepreux and Christophe Kolski

Communications of SIWN, Vol. 3, June 2008, pp. 46-52

Abstract: The growth of user mobility has created new user needs. Cellular phones, personal assistants and modern communication means are now required for all user tasks. Users want services that are specifically mobile, but they also want to work with and have access to the same applications on their mobile devices as they have at their work place. The mobile system must thus be adapted according to the task and the context (i.e., platform, user and environment characteristics). Usually, adapting an interactive system implies costly User Interface (UI) redesign and reimplementation procedures, with the goal of adapting the business components to the human activity, selecting the interface appropriate to the task and the context. This paper describes an adaptive UI design approach that allows UI to be generated and dynamically adapted to changeable contexts, while preserving the UI's utility and usability. In our approach, patterns are used to connect UI adaptation problems, with their multiple contexts, to usable design solutions. This approach is illustrated by a case study.

Keywords: user interface adaptation, business component adaptation, user interface generation.

 

sai: cosiwn.2008.06.131

Modeling and Checking Adaptive MAS with ODAMTools

Xinjun Mao, Hong Ning, Cuiyun Hu and Ji Wang

Communications of SIWN, Vol. 3, June 2008, pp. 53-57

Abstract: It is still a challenge to apply agent technology to develop complex systems that are self-adaptive to their environments. Software quality is often ignored in existing agent-oriented modeling languages and methodologies, and therefore it is difficult to guarantee the established models are correct and consistent. In this paper, we present an adaptive mechanism and language facility to model adaptive multi-agent systems. Our approach is based on the organization metaphor to control system complexity. A number of model constraints are defined for checking whether the established models for specifying adaptation of agents are well-defined, and a CASE toolkit has been developed to support the modeling and checking of adaptive systems in an automatic or semi-automatic way. A case is also demonstrated to illustrate our approach.

Keywords: adaptive system, multi-agent system, agentoriented software engineering, dynamic binding mechanism

 

sai: cosiwn.2008.06.132

A Formal Approach for Modeling Software Agents Coordination

Lily Chang, Junhua Ding, Xudong He and Sol M. Shatz

Communications of SIWN, Vol. 3, June 2008, pp. 58-64

Abstract: In this paper, we propose a nested Petri net approach to model the coordination of multi-agent systems. A higher level net (called host net) defines the movements and coordination mechanism of agents, while lower level nets (called agent nets that are tokens of the host net) model the behavior of individual agents. A dynamic channel concept and the notation are introduced for modeling the communications and coordination between the host net and agent nets. We demonstrate our modeling approach through an e-market example. Our approach promotes the extensibility and flexibility of multiple agent system design through dynamic channels.

Keywords: modeling, multi-agent system, coordination, Petri nets.

 

sai: cosiwn.2008.06.133

Methodological Development of a Multi-Agent System in the Healthcare Domain

David Isern, Cristina Gómez-Alonso and Antonio Moreno

Communications of SIWN, Vol. 3, June 2008, pp. 65-69

Abstract: This paper describes the development of a multiagent system using one of the available agent-oriented software engineering (AOSE) methodologies. The system to implement includes different intelligent agents representing a medical organization with different roles and communication patterns, as well as the interaction with human users (patients and medical staff). The analysis-to-implementation procedure following an AOSE approach describes in a formal way the actors, the organization, the internal behaviour, and the conversations between all partners, and in consequence the quality of the final resulting software is improved. A detailed survey of the available AOSE methodologies was made, and the one most suitable for the requirements of this particular application (INGENIAS) was selected. Following the rules defined by this approach, a methodological study of the multi-agent system was performed and a prototype was successfully implemented.

Keywords: multi-agent system, agent-oriented software engineering methodology, healthcare services.

 

sai: cosiwn.2008.06.134

Towards the Definition of Agent-UP: The DIVAs Process

Y. Haghpanah-Jahromi, R. Zalila-Wenkstern, R. Steiner and K. Cooper

Communications of SIWN, Vol. 3, June 2008, pp. 70-75

Abstract: In this paper we present a process for the development of a specific category of MAS, called Agent-Environment Systems (AES). In an AES, the environment plays a critical role, and is treated as a first class entity. We describe our process, and illustrate its iterative, evolutionary, and model driven features by discussing the development of an environment for a multi-agent based simulation system.

Keywords: software process, multi-agent simulation systems.

 

sai: cosiwn.2008.06.135

Search with Meanings: An Overview of Semantic Search Systems

Wang Wei, Payam M. Barnaghi and Andrzej Bargiela

Communications of SIWN, Vol. 3, June 2008, pp. 76-82

Abstract: Research on semantic search aims to improve conventional information search and retrieval methods, and facilitate information acquisition, processing, storage and retrieval on the semantic web. The past ten years have seen a number of implemented semantic search systems and various proposed frameworks. A comprehensive survey is needed to gain an overall view of current research trends in this field. We have investigated a number of pilot projects and corresponding practical systems focusing on their objectives, methodologies and most distinctive characteristics. In this paper, we report our study and findings based on which a generalised semantic search framework is formalised. Further, we describe issues with regards to future research in this area.

Keywords: semantic search, knowledge acquisition, semantic web, information retrieval.

 

sai: cosiwn.2008.06.136

WIKI.MAS: A MultiAgent Information Retrieval System for Classifying Wikipedia Contents

Andrea Addis, Giuliano Armano and Eloisa Vargiu

Communications of SIWN, Vol. 3, June 2008, pp. 83-87

Abstract: The increasing availability of documents in digital form, together with the corresponding volume of daily updated contents, makes the problem of retrieving documents and data a challenging task. In this paper, we present WIKI.MAS, an information retrieval system devoted to retrieve and classify Wikipedia contents according to users’ interests and preferences. The proposed system has been built upon X.MAS, a generic multiagent architecture devised to implement information retrieval tasks.

Keywords: multiagent architectures, information retieval

 

sai: cosiwn.2008.06.137

A Model of Transcytosis Processes across the Blood Brain Barrier

Andrea Mannini, Anna Gaglianese, Sandra Perondi, Gianni Ciofani and Alberto Landi

Communications of SIWN, Vol. 3, June 2008, pp. 88-94

Abstract: Several problems that involve brain drug delivery depend on the possibility of drugs to cross the blood brain barrier (BBB). In this study, an analytical model of transcytosis - an important mechanism of BBB crossing - is proposed, with the main task to help researchers in the pharmaceutical field, according to ethical problems that involve in vivo brain studies. The proposed model is a generalization of previous models of endocytosis extended to exocytosis process at the apical side of BBB endothelial cells. A set of eight differential equations is obtained and simplified, according to biological hypotheses. Thanks to this model, it is theoretically possible to predict the concentration of a selected molecule in the brain, as a function of its concentration in the plasma. This paper reports on model definition and its implementation in the Matlab Simulink environment.

Keywords: biological modeling, blood brain barrier, transcytosis, transferrin.

 

sai: cosiwn.2008.06.138

Searching Similar Antimicrobial Structures Using Quick Search and Horspool Algorithms

Ahmad Fadel Klaib, Wahidah Husain and Zurinahni Zainol

Communications of SIWN, Vol. 3, June 2008, pp. 95-101

Abstract: In this study Antimicrobial Structures in SMILES format with the corresponding information from NMRShiftDB were extracted and stored into the new local database which consists of 78 relational tables. Additionally, a searching tool was developed which would response to user’s query using the JME Editor. Using this tool user can draw or edit molecules structure and the system will convert the structure into SMILES format. Subsequently, both Horspool and Quick Search algorithms were applied to the queried structure as a pattern to find all structure or substructure occurrences inside other Antimicrobial Structures in the local database. Finally, the similarity percentage between the similar structures was calculated using Jaccard's coefficient and Jaccard's distance algorithms.

Keywords: antimicrobial structures; horspool algorithm; quick-search algorithm; Jaccard's coefficient and Jaccard's distance algorithms.

 

sai: cosiwn.2008.06.139

Model Reduction of an Signalling Transduction Pathway Based on Global Sensitivity Analysis

Jianfang Jia and Hong Yue

Communications of SIWN, Vol. 3, June 2008, pp. 102-106

Abstract: A model reduction method based on global sensitivity analysis (GSA) is proposed in this paper and applied to the IκBα-NF-κB signalling transduction pathway network. This approach uses the modified Morris method to analyze the global parametric sensitivities. According to the results of global sensitivities, the number of the biological reactions is reduced by eliminating those reactions that are identified to be insensitive. Simulation results demonstrate that the output prediction of the simplified model is very close to that of the original model.

Keywords: model reduction, global sensitivity analysis, Morris method, signalling pathway network

 

sai: cosiwn.2008.06.140

GAME: A Generic Architecture based on Multiple Experts for Predicting Protein Structures

Filippo Ledda, Luciano Milanesi and Eloisa Vargiu

Communications of SIWN, Vol. 3, June 2008, pp. 107-112

Abstract: Generic tools, i.e., software architectures characterized by high flexibility and easily customizable to performspecific tasks, can greatly facilitate the everyday work of bioinformaticians. In this paper we present GAME, a Generic Architecture based on Multiple Experts devised to support the research in protein structure prediction. GAME is presented from both an architectural and a technological point of view. How to customize GAME with the goal of getting a specific secondary structure predictor is also described. The proposed case studies show that, with GAME, it is possible to easily develop systems and perform tests. Availability: GAME can be downloaded from http://iasc2.diee.unica.it/GAME.

Keywords: generic tools, protein structure prediction

 

sai: cosiwn.2008.06.141

Inference of Boolean Networks from Gene Expression Data Using Wavelet and Steady State Distribution Analysis

Le Yu and Stephen Marshall

Communications of SIWN, Vol. 3, June 2008, pp. 113-117

Abstract: Switch-like phenomena within biological systems complicate the modeling of gene regulatory networks. To tackle this problem, a number of approaches have been proposed. It is usually necessary to observe a large number of sample points in order to infer model parameters accurately resulting in high computational cost. However, only a limited number of samples can be observed in realistic biological systems. This has motivated the researchers to develop a new algorithm based on the wavelet transform for data partitioning under different biological conditions. Due to the large number of data required and the limited number of independent experiments, the inference of genetic regulatory networks from gene expression data is a challenge of long standing within the microarray filed. Therefore, this paper also investigates the inference of Boolean networks with perturbations (BNp) based on the analysis of the steady state distribution of data. The resulting algorithm is then applied to the interferon regulatory network using gene expression data taken from murine bone-derived macrophage cells.

Keywords: Boolean network, wavelet transform, gene regulatory network, network inference, probabilistic Boolean network

 

sai: cosiwn.2008.06.142

Hybrid Swarm with Subpopulations of Particle Swarm Optimization and Its Application in Soft-sensor of Gasoline Endpoint

Hui Wang and Feng Qian

Communications of SIWN, Vol. 3, June 2008, pp. 118-124

Abstract: This paper proposes a hybrid swarm with subpopulations scheme of particle swarm optimization (HSSPSO). In HSSPSO, particles in one swarm evolve for certain generations and then divided into two subpopulations by fitness of them to evolve certain generations. Subsequently two subpopulations will be shuffled together to be a new swarm again. The process is repeated until the terminal conditions satisfied. The performance of HSSPSO is investigated by some benchmark problems and compared with other version PSO. Furthermore, HSSPSO is applied to train artificial neural network to construct a soft-sensor of gasoline endpoint of crude distillation unit. The results show that the model constructed by HSSPSO is better than that of particle swarm optimization.

Keywords: particle swarm optimization; subpopulation; shuffled; soft-sensor

 

sai: cosiwn.2008.06.143

On an Unknown Property of the LQ Control Problem

Cs. Bányász and L. Keviczky

Communications of SIWN, Vol. 3, June 2008, pp. 125-129

Abstract: The specific relationships between the classical pole-placement state feedback, the Riccati equation based LQ paradigm and the Kalman frequency domain approach are discussed. It is shown that arbitrary pole placement is not possible by standard LQ optimality.

Keywords: LQ problem, Kalman equation, optimality

 

sai: cosiwn.2008.06.144

Modeling Hybrid Reconfigurable Manufacturing Systems Using Petri Nets

Ons Lejri and Moncef Tagina

Communications of SIWN, Vol. 3, June 2008, pp. 130-134

Abstract: Hybrid manufacturing systems are systems that combine continuous dynamics with a discrete global dynamic. Considering the intrinsic complexity of such systems, their modeling represents an important and essential step to their survey, control, supervision, surveillance and their reconfiguration. Our work in this topic focuses on hybrid manufacturing systems reconfiguration. We are especially interested in this paper on proposing a model-based method for the reconfiguration of this kind of systems.

Keywords: Hybrid manufacturing systems, reconfiguration, model-based approach, Petri nets.

 

sai: cosiwn.2008.06.145

Design and Implementation of an Edge Detection Circuit Based on Soft Computing

Angel Barriga and Nashaat M. Hussein

Communications of SIWN, Vol. 3, June 2008, pp. 135-139

Abstract: A technique for edge detection in images and its hardware implementation is presented in this communication. The presented technique applies soft computing strategies for each of the stages of the edge detection process. Fuzzy logic and Lukasiewicz's algebra operator are applied in the above mentioned stages. The hardware implementation of the system takes as design criterion the low cost and a high processing speed.

Keywords: edge detection, fuzzy logic system, hardware implementation.

 

sai: cosiwn.2008.06.146

Agent-Based Process Industrial Automation Reconfiguration

Na Luo,, Wenli Du,, Feng Qian,, Rongbin Qi, and Huaglory Tianfield

Communications of SIWN, Vol. 3, June 2008, pp. 140-144

Abstract: Nowadays agility in business requires building a reconfigurable process automation system that can be quickly re-organized as and when the available flexibility within process system has been fully exploited. Agent-based process industrial automation is found to be an effective approach to reconfiguration of distributed automation systems. This paper gives structure and basic methods to construct a multi-agent based reconfigurable process automation system. After discussing how to decompose the process systems to agents, ontology of the system is given. How to define agent and communication between agents is also discussed.

Keywords: multi-agent system, ontology, intelligent manufacturing, distributed automation.

 

sai: cosiwn.2008.06.147

Chaotic Time Series Direct Prediction Using Extreme Learning Machine

Honggang Wang, Ke Meng, Rongbin Qi and Feng Qian

Communications of SIWN, Vol. 3, June 2008, pp. 145-149

Abstract: A novel technique of using the Extreme Learning Machine (ELM) for both short-term and long-term predictions of chaotic time series is proposed and investigated. ELM is a novel learning method for singlehidden layer feedforward neural networks by generating the input weights and hidden bias randomly and determining the output weights analytically. Comparisons against radial basis function network (RBFN) and four back-propagation-trained networks (BPN) are performed. Further investigations on the performance of ELM with respect to different activation functions and initial parameters show its robustness. Numerical experiment results based on Mackey-Glass time series prediction show that the ELM can better capture dynamics from chaotic time series and achieve higher accuracy than most of conventional learning algorithms. Moreover, the extremely fast speed of ELM makes it a good candidate for on-line prediction application.

Keywords: chaotic time series, direct prediction, extremely learning machine, global models, long-term prediction.

 

sai: cosiwn.2008.06.148

Rigid Body Satellite Attitude Control Method Based on State Dependent Riccati Equation

Ping Sun and Kun Liu

Communications of SIWN, Vol. 3, June 2008, pp. 150-154

Abstract: In this paper a control approach is presented for three-axis stable attitude control of a rigid body satellite using both State Dependent Riccati Equation (SDRE) method and Fast Output Sampling (FOS) technique. The dynamics and kinematics for satellite attitude problem are of typical nonlinear character. SDRE technique has been well applied to this kind of highly nonlinear control problems. But in practice the system states needed in the SDRE method are sometimes difficult to obtain. FOS method, which makes use of only the output samples, is combined with SDRE to estimate an approximate system state. Thus, the control approach is more practical and easy to implement. The method and its stabilization are examined under numerical simulations and the results show that the proposed method produces excellent results in rigid body satellite attitude control.

Keywords: State Dependent Riccati Equation (SDRE), Fast Output Sampling (FOS), attitude control.

 

sai: cosiwn.2008.06.149

Improvement of Stochastic Particle Swarm Optimization by Succession Strategy

Jin Yu, Feng Qian and Rongbin Qi

Communications of SIWN, Vol. 3, June 2008, pp. 155-159

Abstract: For the purpose of raising the efficiency of particle swarm optimization (PSO) algorithm, a new improved approach combining succession strategy (SS) and stochastic PSO (SPSO) is presented, termed SS-SPSO. With succession strategy, the SS-SPSO emphasizes the relationship between acceleration coefficient and inertia weight, it is proved to be a high speed algorithm through simulations with two benchmark test functions. Unify SPSO to be able also to guarantee global convergence. This new approach can be modified with a random inertia weight (Modified SS-SPSO) instead of linear decrease inertia weight of the SPSO. The result of the present work implied that the SS-SPSO and its modified version have quick convergence speed and less computational time compared to SPSO.

Keywords: particle swarm optimization (PSO), succession strategy, adaptive acceleration factor.

 

sai: cosiwn.2008.06.150

Multiobjective Algorithm Based on the Evolution of Pareto Archive and Individual Migration

Tianyi Ma, Hongwei Liu, Xiaozong Yang and Rongbin Qi

Communications of SIWN, Vol. 3, June 2008, pp. 160-165

Abstract: A multiobjective evolutionary algorithm combining the evolution of multiple single objective population and Pareto archive population is proposed, where, the single objective evolutionary algorithm is implemented to optimize separately each of the multiobjective functions. At each evolving iteration, this algorithm maintains a finitesized archive population of nondominated solutions which gets iteratively updated in the presence of new solutions based on the concept of Pareto dominance and is trimmed by crowded-comparison operator to preserve the diversity of solutions. Especially, in order to improve converging performance and diversity of solutions, individuals in Pareto archive population also join evolutionary operations and good individual from Pareto archive population are migrated to the corresponding single objective population by tournament selection. Simulation results of six typical test problems demonstrate that the proposed method can realize the search from multiple directions to obtain the nondominated solutions scattered more uniformly over the Pareto frontier with better convergence metric and diversity metric compared to well-known NSGA- II and PAES algorithms, and the other simulation results manifest that individuals migrating from the Pareto archive population help to improve the converging speed and converging precision.

Keywords: evolutionary algorithm; multiobjective optimization; pareto archive; nondominated solutions.

 

sai: cosiwn.2008.06.151

A UML-Based Requirements Analysis with Automatic Prototype System Generation

Shinpei Ogata and Saeko Matsuura

Communications of SIWN, Vol. 3, June 2008, pp. 166-172

Abstract: It has been widely acknowledged that ambiguous and incomplete user requirements need to be specified entirely and correctly at an early stage of system development in order to create high quality software products. Several researchers have been proposing the automatic generation of a prototype system from the requirements analysis model based on UML (Unified Modeling Language) in order to directly validate user requirements. Because the requirements analysis model consists of several UML diagrams that have different viewpoints, it is generally difficult for the developers to precisely understand the relation between the model and the prototype system generated. However, the developers need to modify the model according to future user requirements. This paper proposes a stepwise protocol for the development of a requirements analysis model and for the automatic generation of the prototype system, which includes an appropriate concrete example, so that the developers can understand the relation between these 2 entities. We discuss the effectiveness of our approach by applying it to the development of a library search service system.

Keywords: prototyping for web application, requirements analysis, unified modeling language.

 

sai: cosiwn.2008.06.152

Dynamic Web Service Composition and Configuration

Xianfei Tang, Changjun Jiang, Cheng Wang and Jiujun Cheng

Communications of SIWN, Vol. 3, June 2008, pp. 173-178

Abstract: Web service composition lets developers create applications rapidly on top of a service-oriented computing paradigm. A staged automatic Web service composition method is proposed in this paper. Firstly, the abstract service - the function abstraction of the concrete Web services that provide same functionality and have same inputs/outputs - is defined. Then based on propositional logical inference and Petri nets, an automatic Web service composition method is proposed to generate abstract composite processes that fulfill client’s input/output query. Finally, an executable composite service can be obtained through service configuration considering the client’s non-functional requirements. This staged approach makes the composite process more reliable and robust. If changes occur, we just need to reselect the available concrete Web services instead of regenerating the composite process from scratch.

Keywords: Web service, service composition, service configuration, logical inference, Petri nets.

 

sai: cosiwn.2008.06.153

Design of a Modified Predictive Optimal Controller for a 1000MW Once-Through Boiler

Won Hee Jung, Jwa Young Maeng, Sung Ho Kim and Kwang Yun Lee

Communications of SIWN, Vol. 3, June 2008, pp. 179-183

Abstract: This paper presents a modified predictive controller based on a neural network model for a 1000MW once-through boiler. To design the controller, the boiler was modeled with four processes (air/flue gas, pulverizer, water/steam and turbine/ generator) and 19 subsystems (economizer, superheater, reheater, etc). A Neural Network algorithm was used to model each. The proposed controller has a special transmission and real time learning function for additional tuning of the model. The Particle Swarm Optimization algorithm was used for searching the optimum solution of control inputs meeting with the constraints of each subsystem. For the validation of controller performance, the controller was tested and simulated under various operating conditions.

Keywords: neural network, optimal control, on-line identification, power plant control

 

sai: cosiwn.2008.06.154

Ordinal Virtual Enterprise Modeling Based on Resource-Finding Path

Chengzhu Sun, Xiaofei Xu, Xiangyang Li and Shengchun Deng

Communications of SIWN, Vol. 3, June 2008, pp. 184-188

Abstract: In the decision-making process of virtual enterprise building, modeling is an important stage to provide information for decision. It is difficult for present modeling approaches to ensure that models are consistent and helpful to virtual enterprise building. To solve this problem, a new ordinal modeling approach for virtual enterprise is put forward. In view of the importance of resource during the period of virtual enterprise building, a new conception called resource-finding path is proposed, and virtual enterprise model based on resource-finding path is given. Based on the description of modeling levels, an ordinal modeling framework for virtual enterprise based on resource-find path is put forward with consideration of economic factors that influence modeling. The consistency checking mechanism is explained briefly. Based on the goal of virtual enterprise modeling, architecture of modeling system is proposed and the implementation of modeling system is explained briefly. Finally, the key properties of the proposed approach are illustrated by comparing with other modeling approaches.

Keywords: virtual enterprise, modeling, resource-finding path, framework, consistency.

 

sai: cosiwn.2008.06.155

Using the Semantic Web for the Integration of Feature-based CAD Models Information

Samer Abdul-Ghafour, Parisa Ghodous, Behzad Shariat, and Eliane Perna

Communications of SIWN, Vol. 3, June 2008, pp. 189-193

Abstract: Nowadays, the increasing number of product development tools entails an effective communication among design collaborators. Indeed, heterogeneous tools and multiple designers are frequently involved in collaborative product development, and designers often use their own terms and definitions to represent a product design. Hence, modeling terms should be semantically processed both by design collaborators and intelligent systems. In this paper, we investigate the use of Semantic Web technologies, such as descriptive logic-based ontologies and semantic web rules for the integration of featurebased CAD models. A case study is illustrated at the end of this paper providing an example of integrating “hole” features between two CAD systems.

Keywords: CAD Interoperability,Feature-based design, Semantic Web technologies, Semantic rules.

 

sai: cosiwn.2008.06.156

The Relationship between Agile Manufacturing System and Lean-Six Sigma Techniques

Yousef Mohammad Karimi

Communications of SIWN, Vol. 3, June 2008, pp. 194-199

Abstract: This paper survey the relationship between agile manufacturing system and Lean-Six Sigma techniques. This research was carried out in a large company based in the India in the business of converting printed paper from customers into electronic copies. The paper material is quite heterogeneous in nature consisting of assorted magazines and legal papers. The narrative unfolds in the same sequence as the research did pointing out the critical stages where results were achieved and where mindset changes occurred. Results consistent with the aforementioned we experienced in the case study. Factory throughputs, cycle times, product quality and serviceability where all areas that experienced significant improvement; while at the same time the organization has become more flexible through an organizational transformation initiative.

Keywords: agile manufacturing, lean manufacturing, six sigma, lean-six sigma

 

 

 

----------------------------------------------------------------------------------------------

 

Copyright © 2008 Systemics and Informatics World Network