Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-7, Issue , 2001, Pages 99-112

  Dong, Zhijiang ^a   He, Xudong ^a  

^a Florida International University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; UNIFIED MODELING LANGUAGE;

COLLABORATION DIAGRAM; CONSISTENCY CRITERIA; DESIGN LANGUAGES; HIERARCHICAL PREDICATE TRANSITIONS NETS; OBJECT ORIENTED ANALYSIS AND DESIGN; SOFTWARE INDUSTRY; SYSTEM DEVELOPMENT; UML COLLABORATIONS; UML NOTATION; UML STATECHART DIAGRAMS;

SEMANTICS;

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

References (21)

1. G. Agha, F. De Cindio, and G. Rozenberg (eds.): Concurrent Object-Oriented Programming and Petri Nets - Advances in Petri Nets, Lecture Notes in Computer Science, vol.2001, Springer-Verlag, 2001.
2. R. Back, L. Petre, and I. Paltor, “Analyzing UML Use Cases as Contracts”, Proc. Of UML'99, Lecture Notes in Computer Science, vol. 1723, 1999, 518-533.
3. G. Booch, J. Rumbaugh, and I. Jacobson: Unified Modeling Language User Guide, Addison-Wesley, 1999.
4. nd IEEE Workshop on Industrial-Strength Formal Specification Techniques, Boca Raton, 1998, 102-113.
5. R. France, A. Evans, K. Lano, and B. Rumpe, “Developing the UML as a Formal Modeling Notation”, Computer Standards and Interfaces, no. 19, 1998, 325-334.
6. X. He and Y. Ding, “Object-Orientation in Hierarchical Predicate Transition Nets”, Lecture Notes in Computer Science, vol2001, Spring-Verlag, 2001, 196-215.
7. th Int'l Conference on the Application and Theory of Petri Nets (Lecture Notes in Computer Science, vol. 1091, June, Osaka, Japan, 1996, 212-229.
8. X. He, "Formalizing Class Diagrams Using Hierarchical Predicate Transition Nets", Proc. of the 24th Int'l Computer Software and Application Conference (COMPSAC'2000), Taiwan, Oct. 2000, 217-222.
9. X. He, “Defining UML Class Diagrams using Hierarchical Predicate Transition Nets,” Proc. of the Workshop on Defining Precise UML Semantics in ECOOP'2000.
10. X. He, "Formalizing Use Case Diagrams in Hierarchical Predicate Transition Nets", Proc. of the IFIP 16th World Computer Congress, Beijing, China, August 2000, 484-491.
11. X. He and J.A.N. Lee: “A Methodology for Constructing Predicate Transition Net Specifications”, Software - Practice & Experience, vol.21, no.8, 1991, 845-875.
12. S. Kim and D. Carrington, “Formalizing the UML Class Diagram Using Object-Z,” Proc. Of UML'99, Lecture Notes in Computer Science, Vol. 1723, 1999, 83-98.
13. A. Knapp, “A Formal Semantics for UML Interactions,” Proc. Of UML'99, Lecture Notes in Computer Science, Vol. 1723, 1999, 116-130.
14. C. Lakos: “Object-Oriented Modeling using Object Petri Nets”, Lecture Notes in Computer Science, vol.2001, 2001, 1-37.
15. nd ECOOP Workshop on Precise Behavioral Semantics, Springer-Verlag, 1998, 105-121.
16. T.Murata, “Petri Nets: Properties, Analysis and Applications”, Proc. Of IEEE, vol. 77, no.4, 1989
17. st Edition, March, 2000.
18. G. Overgaard and K. Palmkvist, “A Formal Approach to Use Cases and Their Relationships,” Proc. of the Unified Modeling Language: UML'98: Beyond the Notation, Lecture Notes in Computer Science, Vol. 1618, Springer-Verlag, 1999.
19. M. Shroff and R. France, “Towards a Formalization of UML Class Structures in Z,” Proc. of COMPSAC'97, Washington, D.C., 1997.
20. J. Saldhana and S. M. Shatz, "UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis," Proc. of the Int. Conference on Software Engineering and Knowledge Engineering (SEKE), Chicago, July 2000, 103-110.
21. Shlaer and Mellor, Object Lifecycles - Modeling the world in states, Yourdon Press, Prentice Hall, 1992.