Modeling behavioral design patterns of concurrent objects

Proceedings - International Conference on Software Engineering

Volumn 2006, Issue , 2006, Pages 202-211

  Pettit IV, Robert G ^a   Gomaa, Hassan ^b  

^a AEROSPACE CORPORATION   (United States)

^b GEORGE MASON UNIVERSITY   (United States)

Author keywords

Behavioral design patterns; Colored petri nets; COMET; Software architecture

Indexed keywords

COMPUTER AIDED DESIGN; CONCURRENT ENGINEERING; DATA STRUCTURES; PETRI NETS; REAL TIME SYSTEMS; SOFTWARE ARCHITECTURE;

BEHAVIORAL DESIGN PATTERNS; COLORED PETRI NETS; CONCURRENT OBJECTS; OBJECT-ORIENTED SOFTWARE;

PATTERN RECOGNITION;

EID: 34247119309     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. nd Edition. Addison-Wesley, 2005.
2. R. G. Pettit, Analyzing Dynamic Behavior of Concurrent Object-Oriented Software Designs, Ph.D., School of IT&E, George Mason University, 2003.
3. K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods, and Practical Use, vol. I-III. Berlin, Germany: Springer-Verlag, 1997.
4. H. Gomaa, Designing Concurrent, Distributed, and Real-Time Applications with UML, Addison-Wesley, 2000.
5. 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.
6. 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.
7. 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.
8. 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.
9. 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.
10. 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.
11. 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.
12. 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.
13. 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.
14. 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.
15. 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.
16. 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.
17. 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.
18. 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.
19. J. B. Jørgensen, "Coloured Petri Nets in UML-Based Software Development - Designing Middleware for Pervasive Healthcare," CPN '02, Aarhus, Denmark, 2002.
20. 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.
21. 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.
22. R. G. Pettit, "Modeling Object-Oriented Behavior Using Petri Nets," OOPSLA Workshop on Behavioral Specification, 1999.
23. R. G. Pettit and H. Gomaa, "Validation of Dynamic Behavior in UML Using Colored Petri Nets," UML 2000, York, England, 2000.
24. 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.
25. 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.
26. R. David and H. Alla, "Petri Nets for Modeling of Dynamic Systems: A Survey." Automatica v.30(2). Pp. 175-202. 1994.
27. K. Jensen, "DesignCPN," 4.0 ed. Aarhus, Denmark: University of Aarhus, 1999.
28. B. Lindstrom and L. Wells, "Design/CPN Performance Tool Manual," University of Aarhus, Aarhus, Denmark September 1999.