The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
Penyesuaian komponen perisian kepada keperluan adalah salah satu kebimbangan utama dalam Pembangunan Perisian Berasaskan Komponen (CBSD). Dalam kertas kerja ini, kami mencadangkan pendekatan formal untuk menyusun sistem berasaskan komponen yang boleh disesuaikan dengan keperluan. Kami menumpukan pada aspek kefungsian komponen dan keperluan perisian, yang dinyatakan dalam fungsi disusun S. Fungsi isihan-S tersebut diubah menjadi model Jaring Petri Berwarna (CPN) untuk menilai ketersambungan antara komponen, dan untuk menilai kebolehsuaian sistem yang terdiri kepada keperluan. Ketersambungan diukur berdasarkan warna atau jenis data dalam CPN, manakala kebolehsuaian diukur berdasarkan kesetaraan fungsi. Kami memperkenalkan kod gam mudah untuk menyambungkan komponen antara satu sama lain. Kertas kerja ini memfokuskan pada aplikasi perniagaan, namun pendekatan yang dicadangkan boleh digunakan untuk mana-mana domain lain setakat kebolehsuaian fungsi berkenaan.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Salinan
Yoshiyuki SHINKAWA, Masao J. MATSUMOTO, "Composing Collaborative Component Systems Using Colored Petri Nets" in IEICE TRANSACTIONS on Fundamentals,
vol. E84-A, no. 5, pp. 1209-1217, May 2001, doi: .
Abstract: 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.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e84-a_5_1209/_p
Salinan
@ARTICLE{e84-a_5_1209,
author={Yoshiyuki SHINKAWA, Masao J. MATSUMOTO, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Composing Collaborative Component Systems Using Colored Petri Nets},
year={2001},
volume={E84-A},
number={5},
pages={1209-1217},
abstract={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.},
keywords={},
doi={},
ISSN={},
month={May},}
Salinan
TY - JOUR
TI - Composing Collaborative Component Systems Using Colored Petri Nets
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 1209
EP - 1217
AU - Yoshiyuki SHINKAWA
AU - Masao J. MATSUMOTO
PY - 2001
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E84-A
IS - 5
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - May 2001
AB - 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.
ER -