Modeling Behavioral Patterns of Concurrent Software Architectures Using Petri Nets

Authors:
Affiliations:
Venue:
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Year:
2004

Citing 0
Cited 6

Modeling behavioral design patterns of concurrent objects

Proceedings of the 28th international conference on Software engineering
Performance evaluation of UML design with Stochastic Well-formed Nets

Journal of Systems and Software
Applying learning behavioral Petri nets to the analysis of learning behavior in web-based learning environments

Information Sciences: an International Journal
Behavioral profiles—a way to model and validate program behavior

Software—Practice & Experience
On the integration of UML and petri nets in software development

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Performance modeling and analysis of message-oriented event-driven systems

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

To address behavioral modeling issues specific toconcurrent software architectures, this paper outlinesan approach for systematically modeling behavioralpatterns found in concurrent software designs byapplying colored Petri net (CPN) templates with UMLartifacts. In this approach, CPNs are used as anunderlying representation of the dynamic object-orientedarchitecture. These CPNs are then used toprovide a simulated functional flow of the architectureand to analyze the concurrent behavior. By applyingthe results from the CPN analysis to the original UMLmodel, an engineer can enhance the quality of thedesign and thereby gain additional insight to thebehavioral properties of the software design prior toimplementation.