Abstract
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.
This work was supported by NSERC, the Ontario Centres of Excellence, IBM CAS Ottawa, Bell Canada through the Bell University Labs and partially by the Ontario Research Fund.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aleksandraviciene, A., Butleris, R.: A comparative review of approaches for database schema integration. Advances in Information Systems Development (2007)
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)
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)
Desharnais, J., Frappier, M., Khédri, R., Mili, A.: Integration of sequential scenarios. IEEE Trans. Softw. Eng. 24(9), 695–708 (1998)
Dingel, J., Diskin, Z., Zito, A.: Understanding and improving UML package merge. Software and Systems Modeling (2008), doi:10.1007/s10270-007-0073-9
Diskin, Z.: Mathematics of generic specifications for model management. In: Encyclopedia of Database Technologies and Applications, Idea Group (2005)
Diskin, Z., Dingel, J., Liang, H.: Scenario integration via higher-order graphs. Technical Report 2006-517, Queen’s University (2006), http://www.cs.queensu.ca/TechReports/Reports/2006-517.pdf
Del Fabro, M.D., Valduriez, P.: Semi-automatic model integration using matching transformations and weaving models. In: Sympos. on Applied Computing (2007)
Haugen, Ø., Husa, K., Runde, R., Stølen, K.: STAIRS: towards formal design with sequence diagrams. Software & Systems Modeling 4(4), 355–367 (2005)
ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC) (2000)
Jacobson, I., Ng, P.: Aspect-Oriented Software Development with Use Cases. Addison-Wesley Professional, Reading (2004)
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)
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)
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)
Letkeman, K.: Ad-hoc modeling - Fusing two models with diagrams, http://www.ibm.com/developerworks/rational/library/07/0410_letkeman
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)
Niu, N., Easterbrook, S.M., Sabetzadeh, M.: A category-theoretic approach to syntactic software merging. In: Int. Conf. on Software Maintainance (2005)
Object Management Group. Unified Modeling Language: Superstructure. version 2.1.2 Formal/2007-11-04 (2007)
Pottinger, R., Bernstein, P.: Merging models based on given correspondences. In: Proc. Very large databases, VLDB 2003 (2003)
Rahm, E., Bernstein, P.: A survey of approaches to automatic schema matching. VLDB Journal 10(4), 334–350 (2001)
Reenskaug, T.: Working With Objects: The OOram Software Engineering Method. Manning (1995)
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Reading (2004)
Sabetzadeh, M., Easterbrook, S.: An algebraic framework for merging incomplete and inconsistent views. In: 13th Int.Conference on Requirement Engineering (2005)
Stevens, P.: On the Interpretation of Binary Associations in the Unified Modeling Language. Software and Systems Modeling 1(1) (2002)
TXL. About TXL (2007), http://www.txl.ca/nabouttxl.html
Uchitel, S., Chechik, M.: Merging partial behavioural models. In: 12th ACM SIGSOFT Int.Symposium on FSE, pp. 43–52. ACM Press, New York (2004)
VanHilst, M.: Role-Oriented Programming for Software Evolution. Ph.D. dissertation, Univ. of Washington, Dept. of Computer Science and Engineering (1997)
Whittle, J., Jayaramana, P.: MATA: A Tool for Aspect-Oriented Modeling based on Graph Transformation. In: Aspect-Oriented Modeling Workshop (2007)
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)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liang, H., Diskin, Z., Dingel, J., Posse, E. (2008). A General Approach for Scenario Integration. In: Czarnecki, K., Ober, I., Bruel, JM., Uhl, A., Völter, M. (eds) Model Driven Engineering Languages and Systems. MODELS 2008. Lecture Notes in Computer Science, vol 5301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87875-9_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-87875-9_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87874-2
Online ISBN: 978-3-540-87875-9
eBook Packages: Computer ScienceComputer Science (R0)