Process Definition and Project Tracking in Model Driven Engineering

  • Ivan Porres
  • María C. Valiente
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4034)


This paper presents a software process definition language that is targeted towards the development of software and systems using Model Driven Engineering methods. The dynamics of a process model are based on Petri Nets. This allows us to use a process definition model to plan and track the execution of actual projects. This new language can be integrated with existing approaches for software process modeling such as Software Process Engineering Metamodel.


Business Process Modeling Language Model Transformation Object Constraint Language Software Development Process 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Back, R., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer, Heidelberg (1998)MATHGoogle Scholar
  2. 2.
    Banach, R., Poppleton, M.: Retrenchment. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol. 1709, p. 1864. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  3. 3.
    Genova, G., Valiente, M.C., Nubiola, J.: A Semiotic Approach to UML Models. In: Marcos, E., Wieringa, R. (eds.) Proceedings of the 1st International Workshop on Philosophical Foundations of Information Systems Engineering (PHISE 2005), Porto, Portugal, June 13, pp. 547–557 (2005)Google Scholar
  4. 4.
    Humphrey, W.S.: Managing the Software Process. Addison Wesley, Reading (1989)Google Scholar
  5. 5.
    I-Logix Statemate,
  6. 6.
    Jensen, K.: Coloured Petri Nets, 2nd edn. Basic Concepts, Analysis Methods and Practical Use, vol. 1. Springer, Heidelberg (1996)Google Scholar
  7. 7.
    Kellner, M.I., Hansen, G.A.: Software Process Modeling. Software Engineering Institute, Carnegie Mellon University. Technical report (1988), Available at:
  8. 8.
    Kent, S.: Model Driven Engineering. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335, p. 286. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  9. 9.
    Kruchten, P.: Rational Unified Process. Addison-Wesley, Reading (1998)Google Scholar
  10. 10.
    Lilius, J., Lillqvist, T., Lundkvist, T., Oliver, I., Porres, I., Sandström, K., Sveholm, G., Zaka, A.P.: The MICAS Tool. In: Proceedings of the NWUML 2005: The 3rd Nordic Workshop on UML and Software Modeling, Tampere, Finland, pp. 180–192 (August 2005)Google Scholar
  11. 11.
    OMG. Meta Object Facility (MOF) 2.0 Core Specification, version 2.0. Document ptc/04-10-15 (October 2004), Available at:
  12. 12.
    OMG. Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification. Document ptc/05-11-1 (November 2005), Available at:
  13. 13.
    OMG. Model Driven Architecture. Document ormsc/2001-07-01 (July 2001), Available at:
  14. 14.
    OMG. Model Driven Architecture, MDA Guide, version 1.0.1. Document omg/2003-06-01 (June 2003), Available at:
  15. 15.
    OMG. Software Process Engineering Metamodel (SPEM) Specification, version 1.1. Document formal/05-01-06 (January 2005), Available at:
  16. 16.
    OMG. UML 2.0 Infrastructure Specification. Document ptc/04-10-14 (November 2004), Available at:
  17. 17.
    OMG. UML 2.0 Superstructure Specification. Document ptc/04-10-02 (October 2004), Available at:
  18. 18.
  19. 19.
    Radice, R.A., et al.: A programming process architecture. IBM Systems Journal 24(2), 79–90 (1985)CrossRefGoogle Scholar
  20. 20.
    Sharp, A., McDermott, P.: Workflow Modeling. Tools for Process Improvement and Application Development. Artech House (2001)Google Scholar
  21. 21.
    van der Aalst, W., van Hee, K.: Workflow Management. Models. Methods, and Systems. MIT Press, Cambridge (2002)Google Scholar
  22. 22.
    van Deursen, A., Klint, P., Visser, J.: Domain Specific Languages: An Annotated Bibliography. ACM SIGPLAN Notice 35(6), 26–36 (2000)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Ivan Porres
    • 1
  • María C. Valiente
    • 2
  1. 1.Department of Computer ScienceÅbo Akademi UniversityTurkuFinland
  2. 2.Department of Computer ScienceCarlos III University of MadridLeganés (Madrid)Spain

Personalised recommendations