Abstract
Object-oriented methodologies are increasingly used in software development. Despite the proposal of several formally based models, current object-oriented practice is still dominated by informal methodologies, like Booch, OMT, and UML. Unfortunately, the lack of dynamic semantics of such methodologies limits the possibility of early analysis of specifications.
This paper indicates the feasibility of ascribing formal semantics to UML by defining translation rules that automatically map UML specifications to high-level Petri nets. This paper illustrates the method through the hurried philosophers problem, that is first specified by using (a subset of) UML, and then mapped onto high-level Petri nets. The paper indicates how UML specifications can be verified by discussing properties of the hurried philosophers problem that can be verified on the derived highlevel Petri net.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
ARTIS s.r.l., Torino, Italy. Artifex 3.1-Tutorial, 1994.
L. Baresi. Formal Customization of Graphical Notations. PhD thesis, Dipartimento di Elettronica e Informazione-Politecnico di Milano, 1997. in Italian.
L. Baresi, A. Orso, and M. Pezzè. Introducing Formal Methods in Industrial Practice. In Proceedings of the 20th International Conference on Software Engineering, pages 56–66. ACM Press, 1997.
L. Baresi, M. Di Paola, A. Gargiulo, and M. Pezzè. LEMMA: A Language for an Easy Medical Models Analysis. In Proceedings of IEEE Computer Based Medical Systems 97, 1997. To appear.
L. Baresi and M. Pezzè. Towards Formalizing Structured Analysis. ACM Transactions on Software Engineering and Methodology, 7(1), jan 1998.
B. W. Bates, J. M. Bruel, R. B. France, and M. M. Larrondo-Petrie. Guidelines for Formalizing Fusion Object-Oriented Analysis Methods. In Conference on Advanced Information Systems Engineering (CAiSE) 96, pages 222–233, 1996.
G. Booch. Object-Oriented Analysis and Design with Applications. Benjamin Cummings, second edition edition, 1994.
S. Christensen, J. B. Joergensen, and L. M. Kristensen. Design/CPN-A Computer Tool for Coloured Petri Nets. Lecture Notes in Computer Science, 1217, 1997.
E. W. Dijkstra. Co-operating Sequential Processes. Academic Press, 1965.
E. H. Dürr and N. Plat. VDM++ Language Reference Manual. Technical report, IFAD-The Institute of Applied Computer Science, 1995.
M. Fowler and K. Scott. UML Distilled: Applying the Standard Object Modeling Language. Addison-Wesley, Reading, Mass., 1997.
H. Genrich. Predicate/transition nets. In W. Reisig and G. Rozemberg, editors, Advances in Petri Nets, LNCS 254–255. Springer-Verlag, Berlin-New York, 1987.
S. Gerhart, D. Craigen, and T. Ralston. Experience with Formal Methods in Critical Systems. IEEE Software, 11(1):21–28, January 1994.
C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezzè. A Unified High-Level Petri Net Model For Time-Critical Systems. IEEE Transactions on Software Engineering, 17(2):160–172, February 1991.
D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, 16(4):403–414, April 1990.
I. Jacobson. Object-Oriented Software Engineering-A Use Case Driven Approach. ACM Press/Addison Wesley, 1992.
K. Jensen. Coloured Petri Nets. In W. Reisig and G. Rozemberg, editors, Advances in Petri Nets, LNCS 254–255. Springer-Verlag, Berlin-New York, 1987.
Mark V Systems. ObjectMaker User’s Guide, 1994. version 3.
B. Meyer. Object-oriented Software Construction. Prentice Hall, New York, N.Y., second edition, 1997.
MicroGold Software. WithClass97 User’s Guide, 1997.
S. Morasca, M. Pezzè, and M. Trubian. Timed High Level Nets. The Journal of Real-Time Systems, pages 165–189, 1991.
M. Nagl. A Tutorial and Bibliographical Survey on Graph Grammars. In V. Claus, H. Ehrig, and G. Rozenberg, editors, Graph Grammars and their Application to Computer Science and Biology, volume 73 of Lecture Notes in Computer Science, pages 70–126. Springer-Verlag, 1979.
A. Orso. An Environment for Designing Real-Time Control Systems. Technical Report 97–56, Dipartimento di Elettronica e Informazione-Politecnico di Milano, 1997.
C. Petersohn, W. P. de Roever, C. Huizing, and J. Peleska. Formal Semantics for Ward & Mellor’s Transformation Schemas. In D. Till, editor, Proceedings of the Sixth Refinement Workshop of the BCS FACS. Springer-Verlag, 1994.
J. Peterson. Petri Net Theoryand the Modeling of Systems. Prentice-Hall, Englewood Cliffs, NJ, 1981.
M. Pezzè. Cabernet: A Customizable Environment for the Specification and Analysis of Real-Time Systems. Technical report, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy, May 1994.
J. Rambaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, New York, NY, 1991.
O. Færgemand and A. Olsen. Introduction to SDL-92. Computer Networks and ISDN Systems, 26:1143–1167, 1994.
C. Sibertin-Blanc. Cooperative Nets. In R. Valette, editor, Application and Theory of Petri Nets 1994, Proceedings of the 15th International Conference, volume 815 of Lecture Notes in Computer Science, pages 206–218, 1994.
I. Sommerville. Software Engineering. Addison-Wesley, fifth edition, 1996.
E. Y. Wang, H. A. Richter, and B. H. C. Cheng. Formalizing and Integrating the Dynamic Model within OMT. In Proceedings of the 19th International Conference on Software Engineering, pages 45–55. ACM Press, May 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Baresi, L., Pezzè, M. (2001). On Formalizing UML with High-Level Petri Nets. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds) Concurrent Object-Oriented Programming and Petri Nets. Lecture Notes in Computer Science, vol 2001. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45397-0_9
Download citation
DOI: https://doi.org/10.1007/3-540-45397-0_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41942-6
Online ISBN: 978-3-540-45397-0
eBook Packages: Springer Book Archive