Composing Collaborative Component Systems Using Colored Petri Nets (Special Section on Discrete Mathematics and Its Applications)

スポンサーリンク

概要

• 論文の詳細を見る

• Adaptation of software components to the requirements is one of the key concerns in Component Based Software Development (CBSD). In this paper, we propose a formal approach to compose component based systems which are adaptable to the requirements. We focus on the functional aspects of software components and requirements, which are expressed in S-sorted functions. Those S-sorted functions are transformed into Colored Petri Nets (CPN) models in order to evaluate connectivity between the components, and to evaluate adaptability of composed systems to the requirements. The connectivity is measured based on colors or data types in CPN, while the adaptability is measured based on functional equivalency. We introduce simple glue codes to connect the components each other. The paper focuses on business applications, however the proposed approach can be applied to any other domains as far as the functional adaptability is concerned.

• 社団法人電子情報通信学会の論文
• 2001-05-01

著者

• Matsumoto M

  Graduate School Of Systems Management University Of Tsukuba

• Matsumoto Masao

  Graduate School Of Business Sciences University Of Tsukuba

• SHINKAWA Yoshiyuki

  Systems Laboratory, IBM Japan, Ltd.

• Shinkawa Y

  Systems Laboratory Ibm Japan Ltd.

• Shinkawa Yoshiyuki

  Systems Laboratory Ibm Japan Ltd

関連論文

• Composing Collaborative Component Systems Using Colored Petri Nets (Special Section on Discrete Mathematics and Its Applications)
• Identifying the Structure of Business Processes for Comprehensive Enterprise Modeling
• Evaluating Adaptability of Software Systems Based on Algebraic Equivalency
• On Exception Handling in Business Processes : A Formal Approach
• A Consideration of e-Business Modeling Value Evaluation

スポンサーリンク