Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution

  • Reda Bendraou
  • Jean-Marc Jezéquél
  • Franck Fleurey
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5543)


One major advantage of executable software process models is that once defined, they can be simulated, checked and validated in short incremental and iterative cycles. This also makes them a powerful asset for important process improvement decisions such as resource allocation, deadlock identification and process management. In this paper, we propose a framework that combines Aspect and Model-Driven Engineering approaches in order to ensure process modeling, simulation and execution. This framework is based upon UML4SPM, a UML2.0-based language for Software Process Modeling and Kermeta, an executable metaprogramming language.


Executable models process modeling and execution UML 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bendraou, R., Gervais, M.-P., Blanc, X.: UML4SPM: A UML2.0-based metamodel for software process modelling. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 17–38. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  2. 2.
    Chou, S.C., Chen, J.Y.J.: Process Program Development Based on UML and Action Cases, Part 1: the Model. Journal of Object-Oriented Programming 13(2), 21–27 (2000)Google Scholar
  3. 3.
    Di Nitto, E., et al.: Deriving executable process descriptions from UML. In: Proc. of the 24th International Conference on Software Engineering (ICSE), Orlando, Fl. ACM Press, New York (2002)Google Scholar
  4. 4.
    Fuggetta, A.: Software Process: A Roadmap. In: 22nd International Conference on Software Engineering (ICSE), Limerick (Ireland), June 4–11. ACM, New York (2000)Google Scholar
  5. 5.
    Kellner, M.I., Feiler, P.H., Finklestein, A., Katayama, T., Osterweil, L.J., Penedo, M.H., Rombach, H.D.: ISPW-6 software process example. In: Proc. of the first Intern. Conf. on the Software Process, pp. 176–186. IEEE Computer Society, Washington (1991)CrossRefGoogle Scholar
  6. 6.
    Lonchamp, J.: A structured conceptual and terminological framework for software process engineering. In: Proceedings of the 2nd International Conference on the Software Process (ICSP 2), Berlin, Germany. IEEE Computer Society Press, Los Alamitos (1993)Google Scholar
  7. 7.
    Muller, P.A., Fleurey, F., Jézéquel, J.M.: Weaving executability into object-oriented meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 264–278. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  8. 8.
    OMG, Semantics of a Foundational Subset for Executable UML Models RFP, OMG document ad/05-04-02 (April 2005),
  9. 9.
    OMG, Workflow Management Facility Specification v1.2, OMG document formal/00-05-02 (April 2000),
  10. 10.
    OMG SPEM1.0, Software Process Engineering Metamodel, OMG document formal/02-11/14 (November 2002),
  11. 11.
    OMG MOF, Meta Object Facility version 2.0, adopted specification, OMG document formal/06-01-01 (January 2006),
  12. 12.
    Osterweil, L.: Software Processes Are Software Too. In: Proceedings of the 9th International Conference on Software Engineering (ICSE 9). ACM Press, New York (1987)Google Scholar
  13. 13.
    Van der Aalst, W.M.P., et al.: Workflow Patterns. Journal of Distributed and Parallel Databases 14(3), 5–51 (2003)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Wohed, P., et al.: Pattern-based Analysis of the Control-Flow Perspective of UML Activity Diagrams. In: Delcambre, L.M.L., Kop, C., Mayr, H.C., Mylopoulos, J., Pastor, Ó. (eds.) ER 2005. LNCS, vol. 3716, pp. 63–78. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  15. 15.
    Franch, X., Rib, J.: A Structured Approach to Software Process Modelling. In: Proceedings of the 24th Conference on EUROMICRO, vol. 2 (1998)Google Scholar
  16. 16.
    Zameli, K.Z., Lee, P.A.: Taxonomy of Process Modelling Languages. In: Proc. of the ACS/IEEE Inter. Conf. on Computer Systems and Applications (AICCSA 2001), Beirut, Lebanon (June 2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Reda Bendraou
    • 1
  • Jean-Marc Jezéquél
    • 2
    • 3
  • Franck Fleurey
    • 4
  1. 1.University Pierre & Marie CurieParisFrance
  2. 2.INRIA-Rennes Bretagne AtlantiqueRennes CedexFrance
  3. 3.IRISA, Université Rennes 1Rennes CedexFrance
  4. 4.SINTEF, Oslo FranckNorway

Personalised recommendations