A General Approach for Scenario Integration

  • Hongzhi Liang
  • Zinovy Diskin
  • Juergen Dingel
  • Ernesto Posse
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5301)


An approach to integrating UML Sequence Diagrams is presented. It rests on a well-established theory, is generalizable to a large class of requirements engineering models, and supports many different kinds of scenario integration operations. An implementation of the approach as an Eclipse extension is described. Lessons learned from the implementation and during first, preliminary experiments to study the practical aspects of the approach, are discussed.


Sequence Diagram Message Type Object Graph Pattern Language Sequence Graph 
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.
    Aleksandraviciene, A., Butleris, R.: A comparative review of approaches for database schema integration. Advances in Information Systems Development (2007)Google Scholar
  2. 2.
    Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N., Sabetzadeh, M.: A manifesto for model merging. In: 1st International Workshop on Global Integrated Model Management (GaMMa 2006), Shanghai, China (May 2006)Google Scholar
  3. 3.
    Cadish, B., Diskin, Z.: Heterogenious view integration via sketches and equations. In: Michalewicz, M., Raś, Z.W. (eds.) ISMIS 1996. LNCS, vol. 1079, Springer, Heidelberg (1996)Google Scholar
  4. 4.
    Desharnais, J., Frappier, M., Khédri, R., Mili, A.: Integration of sequential scenarios. IEEE Trans. Softw. Eng. 24(9), 695–708 (1998)CrossRefGoogle Scholar
  5. 5.
    Dingel, J., Diskin, Z., Zito, A.: Understanding and improving UML package merge. Software and Systems Modeling (2008), doi:10.1007/s10270-007-0073-9Google Scholar
  6. 6.
    Diskin, Z.: Mathematics of generic specifications for model management. In: Encyclopedia of Database Technologies and Applications, Idea Group (2005)Google Scholar
  7. 7.
    Diskin, Z., Dingel, J., Liang, H.: Scenario integration via higher-order graphs. Technical Report 2006-517, Queen’s University (2006),
  8. 8.
    Del Fabro, M.D., Valduriez, P.: Semi-automatic model integration using matching transformations and weaving models. In: Sympos. on Applied Computing (2007)Google Scholar
  9. 9.
    Haugen, Ø., Husa, K., Runde, R., Stølen, K.: STAIRS: towards formal design with sequence diagrams. Software & Systems Modeling 4(4), 355–367 (2005)CrossRefGoogle Scholar
  10. 10.
    ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC) (2000)Google Scholar
  11. 11.
    Jacobson, I., Ng, P.: Aspect-Oriented Software Development with Use Cases. Addison-Wesley Professional, Reading (2004)Google Scholar
  12. 12.
    Klein, J., Caillaud, B., Hélouët, L.: Merging scenarios. In: 9th Int.Workshop on Formal Methods for Industrial Critical Systems. ENTCS, pp. 209–226 (2004)Google Scholar
  13. 13.
    Kolovos, D., Paige, R., Polack, F.: Merging Models with the Epsilon Merging Language (EML). In: Int. Conf. on Model Driven Engineering, Languages and Systems (MoDELS 2006) (2006)Google Scholar
  14. 14.
    Krüger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to statecharts. In: Int. Workshop on Distributed and parallel embedded systems, Norwell, MA, USA (1999)Google Scholar
  15. 15.
    Letkeman, K.: Ad-hoc modeling - Fusing two models with diagrams,
  16. 16.
    Liang, H., Dingel, J., Diskin, Z.: A comparative survey of scenario-based to state-based model synthesis approaches. In: 5th International Workshop on Scenarios and State Machines, SCESM 2006 (2006)Google Scholar
  17. 17.
    Niu, N., Easterbrook, S.M., Sabetzadeh, M.: A category-theoretic approach to syntactic software merging. In: Int. Conf. on Software Maintainance (2005)Google Scholar
  18. 18.
    Object Management Group. Unified Modeling Language: Superstructure. version 2.1.2 Formal/2007-11-04 (2007)Google Scholar
  19. 19.
    Pottinger, R., Bernstein, P.: Merging models based on given correspondences. In: Proc. Very large databases, VLDB 2003 (2003)Google Scholar
  20. 20.
    Rahm, E., Bernstein, P.: A survey of approaches to automatic schema matching. VLDB Journal 10(4), 334–350 (2001)zbMATHCrossRefGoogle Scholar
  21. 21.
    Reenskaug, T.: Working With Objects: The OOram Software Engineering Method. Manning (1995)Google Scholar
  22. 22.
    Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Reading (2004)Google Scholar
  23. 23.
    Sabetzadeh, M., Easterbrook, S.: An algebraic framework for merging incomplete and inconsistent views. In: 13th Int.Conference on Requirement Engineering (2005)Google Scholar
  24. 24.
    Stevens, P.: On the Interpretation of Binary Associations in the Unified Modeling Language. Software and Systems Modeling 1(1) (2002)Google Scholar
  25. 25.
    TXL. About TXL (2007),
  26. 26.
    Uchitel, S., Chechik, M.: Merging partial behavioural models. In: 12th ACM SIGSOFT Int.Symposium on FSE, pp. 43–52. ACM Press, New York (2004)CrossRefGoogle Scholar
  27. 27.
    VanHilst, M.: Role-Oriented Programming for Software Evolution. Ph.D. dissertation, Univ. of Washington, Dept. of Computer Science and Engineering (1997)Google Scholar
  28. 28.
    Whittle, J., Jayaramana, P.: MATA: A Tool for Aspect-Oriented Modeling based on Graph Transformation. In: Aspect-Oriented Modeling Workshop (2007)Google Scholar
  29. 29.
    Whittle, J., Moreira, A., Araújo, J., Rabbi, R., Jayaraman, P., Elkhodary, A.: An Expressive Aspect Composition Language for UML State Diagrams. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735. Springer, Heidelberg (2007)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Hongzhi Liang
    • 1
  • Zinovy Diskin
    • 2
    • 3
  • Juergen Dingel
    • 1
  • Ernesto Posse
    • 1
  1. 1.School of ComputingQueen’s UniversityCanada
  2. 2.Department of Computer ScienceUniversity of Toronto 
  3. 3.Department of Electrical & Computer EngineeringUniversity of Waterloo 

Personalised recommendations