Asghar Bokhari, Skip Poehlman



Enterprise information systems are complex software that are frequently required to adapt to rapid changes in business environments. Although there have been some successes, the research literature is full of horror stories due to failure of these systems. Current software engineering practice requires verification/validation of complex systems at the design stage. Unified Modeling Language (UML), which lacks formal semantics, is the defacto standard for designing the majority of information systems and that means dynamic analysis techniques cannot be used for validation of UML models. Consequently there has been a considerable interest among researchers in formalization of UML models. Early proposals translate UML state diagrams into some kind of mathematical language and input this textual description to a model checker. In this paper we present a rule-based technique to convert UML state diagrams to Object Coloured Petri (OCP) nets. A strong mathematical foundation, more amenable to verification and validation procedures, along with a graphical representation, makes Petri nets ideally suitable for dynamic analysis of UML modelled information systems.


  1. Bernardi, S., Merseguer, J., and Donatelli, S. (2002). From UML sequence diagrams and statecharts to analysable Petri net models. In Proc. 3rd Int. W/S on Software and Performance (WOSP'02), pp 35-43, Rome Italy.
  2. Bokhari, A. and Poehlman, S. (2004). Design of an agile performance support system. In Proc. 42nd Int. Performance Improvement (ISPI) Conf., Silver Spring, MD. International Society for Performance Improvement, Springer-Verlag: Berlin, Germany.
  3. Buchsbaum, A., Chen, Y., Huang, H., Koutsofios, E., Wagenhals, L., Haider, S., and Lewis, A. H. (2002). Synthesizing executable models of object oriented architectures. In CRPITS 7812: Proc. Conf. on Application and Theory of Petri Nets, pages 85-93, Darlinghurst, Australia, Australia. Australian Computer Society, Inc.
  4. Wooldridg, M. and Jennings, N. (1995). Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2):pp 115-152.
  5. Wooldridge, M. and Ciancarini, P. (2000). Agent-oriented software engineering:the sate of the art. In Proc. 1st Int. W/S (AOSE-2000). Springer-Verlag: Berlin, Germany.
  6. Wooldridge, M., Jennings, N., and Kinny, D. (1999). A methodology for agent-oriented analysis sand design. In Proc. 3rd Conf. On Autonomous Agents, Eds, O. Etzioni, J. P. Mller, J.M. Bradshaw. ACM Press.
  7. Zhao, Y., Fan, Y., Bai, X., Wang, Y., Cai, H., and Ding, W. (2004). Towards formal verification of UML diagrams based on graph transformation. In Proc. IEEE Int. Conf. on E-Commerce Tech. for Dynamic E-Business (CEC-East'04).
  8. Mocenigo, J., and Rogers, A. (2001). Visualizing and analyzing software infrastructures. IEEE Software, Sept./Oct. 2001:pp 62-70.
  9. Jensen, K. (1997). Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use, volume 1. Springer Verlag, Aarhus University, Denamrk, 2 edition.
  10. Latella, D., Majzik2, I., and Massink1, M. (1999). Automatic verifcation of a behavioural subset of uml statechart diagrams using the spin model-checker1. Formal Aspects of Computing, 11:pp 637-664.
  11. Lilius, J. and Paltor, I. P. (1999). Formalizing UML state machines for model checking. In Robert France and Burnhard Rumpe (Eds.):UML'99, Lecture Notes in Computer Science (LNCS 1723), pp 430-444, Springer Verlag Berlin Heidelberg.
  12. Maier, C. and Moldt, D. (2001). Object coloured Petri nets - a formal technique for object oriented modelling. In Agha et al.(Eds.):Concurrent OOP and PN, LNCS 2001, pp 406-427, Berlin Heidelberg. Springer Verlag 2001.
  13. Merseguer, J., Campos, J., Bernardi, S., and Donatelli, S. (2002). A compositional semantics for UML state machines aimed at performance evaluation. In Proc. 6th Int. W/S on Discrete Event Systems (WODES'02), pp 295-302, Zaragoza, Spain. IEEE Computer Society.
  14. Nawana, H. (1996). Software agents: An overview. The Knowledge Engineering Review, 11(3):pp 1-40.
  15. Philippi, S. (2000). Seamless object-oriented software development on a formal base. In Proceedings of the Workshop on Software Engineering and Petri Nets, 21st International Conference on Application and Theory of Petri Nets.
  16. Rober, G. (1999). An incremental process for software implementation. Sloan Management Review, Winter:pp 39-52.
  17. Rysavy, O. (2003). A survey on approaches to formal representation of UML, retrieved on june 10, 2005 from:. Technical report, Brno University of Technology, Czech Republic, web site.
  18. Saldana, J. A. and Shatz, S. M. (2001). Formalization of object behavior and interactions from UML models. International Journal of Software Engineering and Knowledge Engineering (IJSEKE), 11 No. 6:643- 673.
  19. Singh, M. (2000). Synthesizing coordination requirements for heterogeneous autonomous agents. Autonomous agents and multiagent systems, 3(2):pp 107-132.
  20. Tosic, P. and Agha, G. (2004). Towards a hierarchical taxonomy of autonomous agents. In Proc. IEEE Int'l Conference on Systems, Man and Cybernetics (IEEESNC'04), The Hague, The Netherlands.
  21. Varro, D. (2002). A formal semantics of uml statecharts by model transition systems. In ICGT 7802: Proc. 1st Int. Conf. on Graph Transformation, pages 378-392, London, UK. Springer-Verlag.
  22. Venkatraman, N. (1994). IT-enabled business. Sloan Management Review, Winter:pp 73 - 87.

Paper Citation

in Harvard Style

Bokhari A. and Poehlman S. (2006). VALIDATION OF INFORMATION SYSTEMS USING PETRI NETS . In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-972-8865-43-6, pages 284-289. DOI: 10.5220/0002447802840289

in Bibtex Style

author={Asghar Bokhari and Skip Poehlman},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},

in EndNote Style

JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
SN - 978-972-8865-43-6
AU - Bokhari A.
AU - Poehlman S.
PY - 2006
SP - 284
EP - 289
DO - 10.5220/0002447802840289