Improving UML with Petri nets

Electronic Notes in Theoretical Computer Science

Volumn 44, Issue 4, 2001, Pages 107-119

  Baresi, Luciano ^a   Pezzè, Mauro ^b  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

Analysis; Formal Specifications; Petri Nets; Simulation; UML

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE; FUNCTIONS; MATHEMATICAL MODELS; PETRI NETS; SEMANTICS; STANDARDS; SYNTACTICS;

FORMAL SPECIFICATION; HIGH-LEVEL TIMED PETRI NETS (HLTPN); OBJECT-ORIENTED MODELS; UNIFIED MODELING LANGUAGE (UML);

COMPUTER PROGRAMMING LANGUAGES;

EID: 18944380418     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80947-2     Document Type: Conference Paper

References (17)

1. L. Baresi. Formal Customization of Graphical Notations. PhD thesis, Dipartimento di Elettronica e Informazione - Politecnico di Milano, 1997. In Italian.
2. L. Baresi, A. Orso, and M. Pezzè. Introducing Formal Methods in Industrial Practice. In Proceedings of the 19th International Conference on Software Engineering, pages 56-66. ACM Press, 1997.
3. Boehm B. Software Engineering Economics. 1981;Prentice-Hall
4. G. Engels, R. Hücking, S. Sauer, and A. Wagner. UML Collaboration Diagrams and Their Transformation to Java. In Proceedings of UML'99 - The Unified Modeling Language. Beyond the Standard. Volume 1723 of Lecture Notes in Computer Science, pages 473-488. Springer-Verlag, 1999.
5. A. Evans, R. France, K. Lano, and B. Rumpe. Developing the UML as a Formal Modelling Notation. In Proceedings of UML '98 - The Unified Modeling Language. Beyond the Notation. Volume 1618 in Lecture Notes in Computer Science. Springer-Verlag, 1998.
6. A. Evans and S. Kent. Core Meta-Modelling Semantics of UML: The pUML Approach. In Proceedings of UML '99 - The Unified Modeling Language. Beyond the Standard. Volume 1723 of Lecture Notes in Computer Science, pages 140-155. Springer-Verlag, 1999.
7. R. France and M. Larrondo-Petrie. From Structured Analysis to Formal Specifications: State of the Theory. In Proceedings of Computer Science Conference, pages 249-256. ACM Press, April 1994.
8. Ghezzi C., Mandrioli D., Morasca S., Pezzè M. A Unified High-Level Petri Net Model For Time-Critical Systems. IEEE Transactions on Software Engineering. 17:(2):February 1991;160-172
9. Ghezzi C., Morasca S., Pezzè M. Validating Timing Requirements for Time Basic Net Specifications. The Journal of Systems and Software. 27:(2):November 1994;97-109
10. The VDM Tool Group. The IFAD VDM++ Language. Technical report, IFAD, February 2000.
11. Heitmeyer C. On the Need for "Practical" Formal Methods. Volume 1486 of Lecture Notes in Computer Science. 1998;18-30 Springer-Verlag
12. D. Jackson. Alloy: A Lightweight Object Modelling Notation. Technical Report, MIT, July 2000.
13. Jensen K. Coloured Petri Nets. 1996;Springer-Verlag, Berlin
14. J. Lilius and I. P. Paltor. vUML: A Tool for Verifying UML Models. In 14th IEEE International Conference on Automated Software Engineering, pages 255-258. IEEE-CS, 1999.
15. OMG. UML 2.0 RFI. Technical report, OMG, August 1999.
16. Paige R.F. A Meta-Method for Formal Method Integration. Volume 1313 of Lecture Notes in Computer Science. 1997;473-485
17. Saiedian H. An Invitation to Formal Methods. IEEE Computer. April 1996;16-30