COMPONENT-BASED SOFTWARE INTEGRATIONUSING COLORED PETRI NET

摘要

Colored Petri Nets (CP-nets or CPN) is a graphicalrnoriented language for design, specification, simulation andrnverification of systems. It is in particular well suited forrnsystems in which communication, synchronization andrnresource sharing are important. Software componentrnverification and reusability have been important researchrntopics in software engineering. In this paper, we propose arnmethodology for formal modeling and verification ofrnsoftware components using Color Petri Nets. Thernmethodology adapts Colored Petri Net modeling torncomponent-based software design and architecture. Werndiscuss visual composition, verification, and formalrnvalidation of component based software systems.