Loading [a11y]/accessibility-menu.js
Modeling behavioral patterns of concurrent software architectures using Petri nets | IEEE Conference Publication | IEEE Xplore

Modeling behavioral patterns of concurrent software architectures using Petri nets


Abstract:

To address behavioral modeling issues specific to concurrent software architectures, this paper outlines an approach for systematically modeling behavioral patterns found...Show More

Abstract:

To address behavioral modeling issues specific to concurrent software architectures, this paper outlines an approach for systematically modeling behavioral patterns found in concurrent software designs by applying colored Petri net (CPN) templates with UML artifacts. In this approach, CPNs are used as an underlying representation of the dynamic object-oriented architecture. These CPNs are then used to provide a simulated functional flow of the architecture and to analyze the concurrent behavior. By applying the results from the CPN analysis to the original UML model, an engineer can enhance the quality of the design and thereby gain additional insight to the behavioral properties of the software design prior to implementation.
Date of Conference: 15-15 June 2004
Date Added to IEEE Xplore: 12 July 2004
Print ISBN:0-7695-2172-X
Conference Location: Oslo, Norway

Contact IEEE to Subscribe

References

References is not available for this document.