Robert G. Pettit
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 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.
- J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual. 2nd Edition. Addison-Wesley, 2005.]] Google Scholar
Digital Library
- R. G. Pettit, Analyzing Dynamic Behavior of Concurrent Object-Oriented Software Designs, Ph.D., School of IT&E, George Mason University, 2003.]] Google ScholarDigital Library
- K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods, and Practical Use, vol. I-III. Berlin, Germany: Springer-Verlag, 1997.]] Google ScholarDigital Library
- H. Gomaa, Designing Concurrent, Distributed, and Real-Time Applications with UML, Addison-Wesley, 2000.]] Google ScholarDigital Library
- M. Baldassari, G. Bruno, and A. Castella, "PROTOB: an Object-Oriented CASE Tool for Modeling and Prototyping Distributed Systems," Software-Practice & Experience, v.21, pp. 823--44, 1991.]] Google ScholarDigital Library
- B. Mikolajczak and C. A. Sefranek, "Integrating Object Oriented Design with Concurrency Using Petri Nets," IEEE International Conference on Systems, Man and Cybernetics, Piscataway, NJ, USA, 2001.]]Google Scholar
- R. Aihua, "An Integrated Development Environment for Concurrent Software Developing Based on Object Oriented Petri Nets," Fourth International Conference/Exhibition on High Performance Computing in the Asia-Pacific Region., Los Alamitos, CA, USA, 2000.]] Google ScholarDigital Library
- X. He and Y. Ding, "Object Orientation in Hierarchical Predicate Transition Nets," Concurrent Object-Oriented Programming and Petri Nets. Advances in Petri Nets, Berlin: Springer-Verlag, 2001, pp. 196-215.]] Google ScholarDigital Library
- O. Biberstein, D. Buchs, and N. Guelfi, "Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism," Concurrent Object-Oriented Programming and Petri Nets. Advances in Petri Nets, Berlin: Springer-Verlag, 2001, pp. 73--130.]] Google ScholarDigital Library
- S. Chachkov and D. Buchs, "From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach," Second International Conference on Application of Concurrency to System Design, Los Alamitos, CA, USA, 2001.]] Google ScholarDigital Library
- A. Camurri, P. Franchi, and M. Vitale, "Extending High-Level Petri Nets for Object-Oriented Design," IEEE International Conference on Systems, Man and Cybernetics, New York, NY, USA, 1992.]]Google Scholar
- J. E. Hong and D. H. Bae, "Software Modeling and Analysis Using a Hierarchical Object-Oriented Petri Net," Information Sciences, v.130, pp. 133--64, 2000.]] Google ScholarDigital Library
- D. Azzopardi and D. J. Holding, "Petri Nets and OMT for Modeling and Analysis of DEDS," Control Engineering Practices, v.5, pp. 1407--1415, 1997.]]Google ScholarCross Ref
- C. Lakos, "Object Oriented Modeling With Object Petri Nets," Concurrent Object-Oriented Programming and Petri Nets. Advances in Petri Nets, Berlin: Springer-Verlag, 2001, pp. 1--37.]] Google ScholarDigital Library
- C. Maier and D. Moldt, "Object Coloured Petri Nets- A Formal Technique for Object Oriented Modelling," Concurrent Object-Oriented Programming and Petri Nets. Advances in Petri Nets, Berlin: Springer-Verlag, 2001, pp. 406--27.]] Google ScholarDigital Library
- J. A. Saldhana, S. M. Shatz, and H. Zhaoxia, "Formalization of Object Behavior and Interactions from UML Models," International Journal of Software Engineering & Knowledge Engineering, v.11, pp. 643--73, 2001.]]Google ScholarCross Ref
- L. Baresi and M. Pezze, "On Formalizing UML with High-Level Petri Nets," Concurrent Object-Oriented Programming and Petri Nets. Advances in Petri Nets, Berlin: Springer-Verlag, 2001, pp. 276--304.]] Google ScholarDigital Library
- K. M. Hansen, "Towards a Coloured Petri Net Profile for the Unified Modeling" Centre for Object Technology, Aarhus, Denmark, Technical Report COT/2-52-V0.1 (DRAFT), 2001.]]Google Scholar
- J. B. Jørgensen, "Coloured Petri Nets in UML-Based Software Development - Designing Middleware for Pervasive Healthcare," CPN '02, Aarhus, Denmark, 2002.]]Google Scholar
- B. Bordbar, L. Giacomini, and D. J. Holding, "UML and Petri Nets for Design and Analysis of Distributed Systems," International Conference on Control Applications, Anchorage, Alaska, USA, 2000.]]Google Scholar
- R. G. Pettit and H. Gomaa, "Integrating Petri Nets with Design Methods for Concurrent and Real-Time Systems," Real Time Applications Workshop, Montreal, Canada, 1996.]]Google Scholar
- R. G. Pettit, "Modeling Object-Oriented Behavior Using Petri Nets," OOPSLA Workshop on Behavioral Specification, 1999.]]Google Scholar
- R. G. Pettit and H. Gomaa, "Validation of Dynamic Behavior in UML Using Colored Petri Nets," UML 2000, York, England, 2000.]]Google Scholar
- R. G. Pettit and H. Gomaa, "Modeling State-Dependent Objects Using Colored Petri Nets," CPN 01 Workshop on Modeling of Objects, Components, and Agents, Aarhus, Denmark, 2001.]]Google Scholar
- R.G. Pettit and H. Gomaa, "Modeling Behavioral Patterns of Concurrent Software Architectures Using Petri Nets." Working IEEE/IFIP Conference on Software Architectures, Oslo, Norway, 2004.]] Google ScholarDigital Library
- R. David and H. Alla, "Petri Nets for Modeling of Dynamic Systems: A Survey." Automatica v.30(2). Pp. 175--202. 1994.]] Google ScholarDigital Library
- K. Jensen, "DesignCPN," 4.0 ed. Aarhus, Denmark: University of Aarhus, 1999.]]Google Scholar
- B. Lindstrom and L. Wells, "Design/CPN Performance Tool Manual," University of Aarhus, Aarhus, Denmark September 1999.]]Google Scholar
Index Terms
- Modeling behavioral design patterns of concurrent objects
Recommendations
INTEGRATED PRODUCT DEVELOPMENT APPROACH FOR CYBER-PHYSICAL SYSTEMS UTILIZING STANDARDIZED MODELING LANGUAGES AND METHODOLOGIES
Systems development has often resulted as a hit-or-miss proposition before the advent of standardized analysis and design languages providing blueprints understood by both software and systems engineers. This paved the way for modeling cyber-physical ...
Concurrent object-oriented development with behavioral design patterns
ECSA'13: Proceedings of the 7th European conference on Software ArchitectureArchitectural modeling using the Unified Modeling Language (UML) can support the development of concurrent applications, but the problem of mapping the model to a concurrent implementation remains. This paper defines a scheme to map concurrent UML ...
Precise modeling of design patterns
UML'00: Proceedings of the 3rd international conference on The unified modeling language: advancing the standardDesign Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for precisely representing design patterns. It is true that some graphical annotations ...
Comments