Abstract
UML Formalization is often undertaken by projecting the notation in a rigorously defined semantic domain. When the target formalism is of state transition type, the derived models are verified by model checking. The checking is performed on an accessibility graph generated from an initialized dynamic model. We propose, in this paper, an approach to initialize object Petri nets models at a time t different from the initial time. Object Petri nets are derived from sate machines. They are initialized using object diagrams. The approach associates the object state specified on the object diagram to the one specified on the state machine. A case study is given to illustrate the approach.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baresi, L., Pezzé, M.: On Formalizing UML with High-Level Petri Nets. In: Agha, G., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2001, pp. 276–304. Springer, Heidelberg (2001)
Baresi, L.: Some Premilinary Hints on Formalizing UML with Object Petri Nets. In: Proc: 6th World Conference on Integrated Design & Process Technology, Pasadena, USA (2002)
Baresi, L., Pezzè, M.: Formal interpreters for diagram notations. ACM Trans. Softw. Eng. Methodol. 14(1), 42–84 (2005)
Bouabana-Tebibel, T.: Object dynamics formalization using object flows within UML state machines. Entreprise Modelling and Information Systems Architectures 2(1), 26–39 (2007)
Bouabana-Tebibel, T.: Roles at the basis of UML validation. Journal of Computing and Information Technology 15(2), 171–183 (2007)
Bouabana-Tebibel, T., Belmesk, M.: An Object-Oriented approach to formally analyze the UML 2.0 activity partitions. Information and Software Technology 49(9-10), 999–1016 (2007)
Bokhari, A., Poehlman, W.P.S.: Translation of UML Models to Object Coloured Petri Nets with a view to Analysis. In: SEKE 2006, pp. 568–571 (2006)
Delatour, J., De Lamotte, F.: ArgoPN: A CASE Tool Merging UML and Petri Nets. In: Proc: 1st International Workshop on Validation and Verification of software for Enterprise Information Systems, ICEIS, Angers (2003)
Fish, A., Störrle, H.: Visual qualities of the Unified Modeling Language:Deficiencies and Improvements. In: IEEE Symposium on Visual Languages and Human-Centric Computing - VL/HCC 2007, pp. 41–49 (2007)
Harel, D., Maoz, S.: Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. In: Proc. 5th Int. Wsh. Scenarios and State Machines: Models, Algorithms, and Tools - SCESM 2006, pp. 13–20. ACM Press, New York (2006)
Holscher, K., Ziemann, P., Gogolla, M.: On translating UML models into graph transformation systems. Journal of Visual Languages and Computing 17, 78–105 (2006)
Hsiung, P.-A., Lin, S.-W., Tseng, C.-H., Lee, T.-Y., Fu, J.-M., See, W.-B.: VERTAF: an Application Framework for the Design and Verification of Embedded Real-Time Software. IEEE Transactions on Software Engineering 30(10), 656–674 (2004)
Jensen, K.: An Introduction to the Practical Use of Coloured Petri Nets. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1492, pp. 237–292. Springer, Heidelberg (1998)
Knapp, A., Wuttke, J.: Model Checking of UML 2.0 Interactions. In: Auletta, V. (ed.) MoDELS 2006. LNCS, vol. 4364, pp. 42–51. Springer, Heidelberg (2007)
Kong, J., Zhan, K., Dong, J., Xu, D.: Specifying behavioral semantics of UML diagrams through graph transformations. The J. of Syst. and Soft. 82, 292–306 (2009)
Object Management Group, The UML Action Semantics (2001)
Object Management Group, UML 2.0 OCL Specification (2003)
Object Management Group, UML 2.0 Superstructure Specification (2004)
Saldhana, J.A., Shatz, S.M., Hu, Z.: Formalization of Object Behavior and Interactions From UML Models. International Journal of Software Engineering and Knowledge Engineering – IJSEKE 11(6), 643–673 (2001)
Staines, T.S.: Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets. In: 15thIEEE Int. Conf. and Workshop on the Engineering of Computer Based Systems, pp. 191–200. IEEE Xplore, Belfast (2008)
Störrle, H., Hausmann, J.H.: semantics of uml 2.0 activities. Software Engineering, 117–128 (2005)
PROD 3.4, An advanced tool for efficient reachability analysis. Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Meziani, L., Bouabana-Tebibel, T. (2011). Dynamic Model Initialization Using UML. In: Zamojski, W., Kacprzyk, J., Mazurkiewicz, J., Sugier, J., Walkowiak, T. (eds) Dependable Computer Systems. Advances in Intelligent and Soft Computing, vol 97. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21393-9_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-21393-9_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21392-2
Online ISBN: 978-3-642-21393-9
eBook Packages: EngineeringEngineering (R0)