Modeling Behavioral Patterns of Concurrent Objects Using Petri Nets

Authors:
Robert G. Pettit IV;Hassan Gomaa
Affiliations:
The Aerospace Corporation, USA;George Mason University, USA
Venue:
ISORC '06 Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
Year:
2006

Citing 0
Cited 4

Dynamic reconfiguration of multimodal architectures

CompSysTech '09 Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
Formal verification of UML state diagrams: a petri net based approach

ACM SIGSOFT Software Engineering Notes
Formalizing non-concurrent UML state machines using colored petri nets

ACM SIGSOFT Software Engineering Notes
Performance modeling and analysis of message-oriented event-driven systems

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Object-oriented software development practices are being rapidly adopted within increasingly complex systems, including reactive, real-time and concurrent system applications. While data modeling is performed very well under current object-oriented development practices, behavioral modeling necessary to capture critical information in real-time, reactive, and concurrent systems is often lacking. Addressing this deficiency, we offer an approach for modeling and analyzing concurrent object-oriented software designs through the use of behavioral patterns captured through colored Petri nets.