Flexible verification of user-defined semantic constraints in modelling tools

ABSTRACT

Many modelling tools embed verification rules that are checked against user-defined models to ensure they satisfy the static semantic constraints of the modelling language. However, there are many other contexts where required constraints vary with the intended purpose of the model, and not just the modelling language used. In this paper, we propose a flexible and practical approach for users to define, select, store, group, exchange, enable, and verify custom semantic constraints on metamodels with the Object Constraint Language. We illustrate the benefits of this approach with extensions to an Eclipse-based modelling tool, called jUCMNav, and applications to various contexts such as style compliance, analysis, and transformations that involve chains of tools. We believe this approach to be easily adaptable to other Eclipse-based modelling tools, which could then enjoy similar benefits.

REFERENCES

• 1: S. Abdulhadi, G. Grau, J. Horkoff, and E. Yu. i* Guide. V. 3.0, August 2007. http://istar.rwth-aachen.de/tiki-ndex.php?page_ref_id=67
• 2: Daniel Amyot, Introduction to the user requirements notation: learning by example, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.42 n.3, p.285-301, 21 June 2003 [doi>10.1016/S1389-1286(03)00244-5]
• 3: L. C. Briand , Y. Labiche , H.-D. Yan , M. Di Pent, A Controlled Experiment on the Impact of the Object Constraint Language in UML-Based Development, Proceedings of the 20th IEEE International Conference on Software Maintenance, p.380-389, September 11-14, 2004
• 4: Eclipse.org. Eclipse Modeling Framework Project (EMF). 2008. http://www.eclipse.org/modeling/emf/
• 5: Eclipse.org. EMF Validation Framework Developer Guide. 2007. http://help.eclipse.org/help33/nav/25
• 6: Eclipse.org. Generic Eclipse Modeling System (GEMS) 2008. http://www.eclipse.org/gmt/gems/
• 7: Eclipse.org. MDT OCL SDK 1.1.2, 28 November 2007.
• 8: G. Franks, P. Maly, M. Woodside, D. C. Petriu, and A. Hubbard. Layered Queueing Network Solver and Simulator User Manual. Carleton University, Dec. 2005. http://www.sce.carleton.ca/rads/lqns/LQNSUserMan.pdf
• 9: S. Ghanavati, D. Amyot, L. Peyton, and G. Mussbacher. A Compliance Framework for Business Processes Based on URN and DOORS. 2007 Telelogic User Group Conference, Atlanta, USA, October 2007.
• 10: IBM Corporation and others, OCL Developer Guide, 2007. http://help.eclipse.org/help33/nav/35
• 11: ITU-T -- International Telecommunications Union. Recommendation Z.120 (04/04), Message Sequence Chart (MSC). Geneva, Switzerland, 2004.
• 12: ITU-T -- International Telecommunications Union. Recommendation Z.150 (02/03), User Requirements Notation (URN) - Language Requirements and Framework. Geneva, Switzerland, February 2003.
• 13: ITU-T -- International Telecommunications Union. Draft Recommendation Z.151, User Requirements Notation (URN). Geneva, Switzerland, April 2008.
• 14: jUCMNav 3.1, April 2008. http://jucmnav.softwareengineering.ca/jucmnav/
• 15: F. A. Kraemer. Arctis and Ramses: Tool Suites for Rapid Service Engineering. Proceedings of NIK 2007 (Norsk informatikkonferanse), Tapir Akademisk Forlag, Oslo, Norway, November 2007.
• 16: A. Ledeczi. A Generic Modeling Environment, GME 5 User's Manual, Version 5.0. Institute for Software Integrated Systems, Vanderbilt University, 2005.
• 17: S. Maqbool. Transformation of a Core Scenario Model and Activity Diagrams into Petri Nets. M.Sc. thesis, SITE, University of Ottawa, September 2005.
• 18: The MOMENT Project, MOMENT OCL, June 2007, http://moment.dsic.upv.es/
• 19: G. Mussbacher, D. Amyot, and M. Weiss. Visualizing Early Aspects with Use Case Maps. Transactions on Aspect-Oriented Software Development III, Springer, pages 105--143, 2007.
• 20: OMG -- Object Management Group. Object Constraint Language Specification, version 2.0, May 2006.
• 21: OMG -- Object Management Group. Unified Modeling Language (OMG UML): superstructure version 2.1.2, November 2007.
• 22: D. B. Petriu and C. M. Woodside. An intermediate metamodel with scenarios and resources for generating performance models from UML designs. Software and Systems Modeling, 6(2), Springer, pages 163--184, June 2007.
• 23: Dorin Bogdan Petriu , Murray Woodside, Software performance models from system scenarios, Performance Evaluation, v.61 n.1, p.65-89, June 2005 [doi>10.1016/j.peva.2004.09.005]
• 24: Alireza Pourshahid , Daniel Amyot , Liam Peyton , Sepideh Ghanavati , Pengfei Chen , Michael Weiss , Alan J. Forster, Toward an Integrated User Requirements Notation Framework and Tool forBusiness Process Management, Proceedings of the 2008 International MCETECH Conference on e-Technologies (mcetech 2008), p.3-15, January 23-25, 2008 [doi>10.1109/MCETECH.2008.30]
• 25: Roclet Website, RoclET, March 2008, http://www.roclet.org/
• 26: J.-F. Roy, J. Kealey, and D. Amyot. Towards Integrated Tool Support for the User Requirements Notation (2006). In SAM 2006: Language Profiles - Fifth Workshop on System Analysis and Modelling, LNCS 4320, Springer, pages 198--215, Kaiserslautern, Germany, 2006.
• 27: J. B. Yan. Static Semantics Checking Tool for jUCMNav. Master's project, SITE, University of Ottawa, April 2008.
• 28: Y. X. Zeng. Transforming Use Case Maps to the Core Scenario Model Representation. M.Sc. thesis, SITE, University of Ottawa, June 2005.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
          Subjects: Languages

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.6 Programming Environments

General Terms:
Languages