PROTOB: an object-oriented CASE Tool for modelling and prototyping distributed systems
Software—Practice & Experience
Petri nets for modeling of dynamic systems—a survey
Automatica (Journal of IFAC)
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Software modeling and analysis using a hierarchical object-oriented Petri net
Information Sciences: an International Journal
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Designing Concurrent, Distributed, and Real-Time Applications with Uml
ACSD '01 Proceedings of the Second International Conference on Application of Concurrency to System Design
HPC '00 Proceedings of the The Fourth International Conference on High-Performance Computing in the Asia-Pacific Region-Volume 2 - Volume 2
Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems
ICECCS '96 Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems
Analyzing dynamic behavior of concurrent object-oriented software designs
Analyzing dynamic behavior of concurrent object-oriented software designs
Modeling Behavioral Patterns of Concurrent Software Architectures Using Petri Nets
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Science of Computer Programming
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Component airbag: a novel approach to develop dependable component-based applications
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Component airbag: a novel approach to develop dependable component-based applications
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Real-time scheduling of batch systems using Petri nets and linear logic
Journal of Systems and Software
Increasing Confidence in Concurrent Software through Architectural Analysis
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Cost-Performance Tradeoff for Embedded Systems
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Application of design patterns to control system of digital photofinishing machine
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Concurrent object-oriented development with behavioral design patterns
ECSA'13 Proceedings of the 7th European conference on Software Architecture
| Hi-index | 0.00 |
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 design patterns, allowing us to map stereotyped UML objects to colored Petri net (CPN) representations in the form of reusable templates. The resulting CPNs are then used to model and analyze behavioral properties of the software architecture, applying the results of the analysis to the original software design.