Modeling behavioral patterns of concurrent software architectures using petri nets

Proceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004)

Volumn , Issue , 2004, Pages 57-66

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

^a AEROSPACE CORPORATION   (United States)

^b GEORGE MASON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COLORED PETRI NETS (CPN); PERFORMANCE ANALYSIS; QUALITY DESIGNS; SOFTWARE DESIGNS;

COMPUTER ARCHITECTURE; COMPUTER SIMULATION; COMPUTER SOFTWARE; CONCURRENT ENGINEERING; OBJECT ORIENTED PROGRAMMING; PATTERN RECOGNITION; PETRI NETS;

SOFTWARE ENGINEERING;

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

References (25)

1. J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual. Reading, MA: Addison-Wesley, 1999.
2. R. G. Pettit, "Analyzing Dynamic Behavior of Concurrent Object-Oriented Software Designs," Ph.D. Thesis, George Mason University, Fairfax, VA 2003.
3. K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods, and Practical Use, v.I-III. Berlin: 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. 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.
11. 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.
12. D. Azzopardi and D. J. Holding, "Petri Nets and OMT for Modeling and Analysis of DEDS," Control Engineering Practices, v.5, 1997.
13. 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.
14. 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.
15. 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.
16. 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.
17. 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.
18. J. B. Jørgensen, "Coloured Petri Nets in UML-Based Software Development - Designing Middleware for Pervasive Healthcare," CPN '02, Aarhus, Denmark, 2002.
19. 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.
20. R. G. Pettit and H. Gomaa, "Validation of Dynamic Behavior in UML Using Colored Petri Nets," UML 2000, York, England, 2000.
21. 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.
22. K. Jensen, "DesignCPN," 4.0 ed. Aarhus, Denmark: University of Aarhus, 1999.
23. B. Lindstrom and L. Wells, "Design/CPN Performance Tool Manual," University of Aarhus, Aarhus, Denmark September 1999.
24. R. B. Lyngsø and T. Mailund, "Textual Interchange Format for High-Level Petri Nets," Aarhus, Denmark, 1998.
25. S. Bernardi, S. Donatelli, and J. Merseguer, "From UML Sequence Diagrams and Statecharts to Analysable Petri Net Models" Workshop on Software Performance, Rome, Italy, 2002.