A generic model decomposition technique and its application to the Eclipse modeling framework

Software and Systems Modeling

Volumn 14, Issue 2, 2015, Pages 921-952

  Ma, Qin ^a   Kelsen, Pierre ^a   Glodt, Christian ^a  

^a UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

BPMN; EMF; EssentialOCL; fUML; Linear time algorithm; MDE; Model comprehension; Model decomposition; OCL; Sub model lattice

Indexed keywords

CLUSTERING ALGORITHMS; ELECTRIC POTENTIAL; EMBEDDED SYSTEMS;

BPMN; ESSENTIALOCL; FUML; LINEAR-TIME ALGORITHMS; MDE; MODEL DECOMPOSITION; OCL; SUBMODELS;

SOFTWARE DESIGN;

EID: 84929061618     PISSN: 16191366     EISSN: 16191374     Source Type: Journal    
DOI: 10.1007/s10270-013-0348-2     Document Type: Article

References (34)

1. Democles tool. http://democles.lassy.uni.lu/
2. Alanen, M., Porres, I.: A metamodeling language supporting subset and union properties. Softw. Syst. Model. (SoSyM) 7(1), 103–124 (2008)
3. Amrani, M.: A formal semantics of Kermeta. In: Mernik, M. (eds.) Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, chapter 10. Igi Global (2012)
4. Androutsopoulos, K., Clark, D., Harman, M., Hierons, R.M., Li, Z.: Amorphous slicing of extended finite state machines. IEEE Trans. Softw. Eng. 99, 1 (2012, preprints)
5. Bae, J.H., Lee, K.M., Chae, H.S.: Modularization of the UML metamodel using model slicing. In: Fifth International Conference on Information Technology: New Generations, pp. 1253–1254 (2008)
6. Biermann, E., Ermel, C., Taentzer, G.: Formal foundation of consistent EMF model transformations by algebraic graph transformation. Softw. Syst. Model. (SoSyM) 11(2), 227–250 (2012)
7. Blouin, A., Combemale, B., Baudry, B., Beaudoux, O.: Modeling model slicers. In: The Proceedings of ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2011), pp. 62–76 (2011)
8. Boronat, A., Meseguer, J.: An algebraic semantics for MOF. Formal Aspects Comput. 22(3–4), 269–296 (2010)
9. Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: Consistency checking and visualization of OCL constraints. In: The Proceedings of 3rd International Conference on The Unified Modeling Language: Advancing the Standard (UML 2001), LNCS 1393, pp. 294–308 (2000)
10. Cengarle, M.V., Knapp, A.: A formal semantics for OCL 1.4. In: The Proceedings of 4th International Conference on the Unified Modeling Language: Modeling Languages, Concepts, and Tools (UML 2001), LNCS 2185, pp. 118–133 (2001)
11. Clark, T., Evans, A., Kent, S.: The metamodelling language calculus: foundation semantics for UML. In: The Proceedings of 4th International Conference on 4th International Conference (FASE 2001), LNCS 2029, pp. 17–31 (2001)
12. Diestel, R.: Graph Theory, 4th edn. Springer, Berlin (2010)
13. Distefano, D., Katoen, J.-P., Rensink, A.: On a temporal logic for object-based systems. In: The Proceedings of 4th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), pp. 305–325 (2000)
14. Egyed, A.: Automatically detecting and tracking inconsistencies in software design models. IEEE Trans. Softw. Eng. 37(2), 188–204 (2011)
15. Flake, S.: Towards the completion of the formal semantics of OCL 2.0. In: The Proceedings of 27th Australasian Conference on Computer science (ACSC)’04, pp. 73–82 (2004)
16. Flake, S., Mueller, W.: Formal semantics of static and temporal state-oriented OCL constraints. Soft. Syst. Model. (SoSyM) 2, 164–186 (2003)
17. Flake, S., Müller, W.: Formal semantics of OCL messages. Electron. Notes Theor. Comput. Sci. 102, 77–97 (2004)
18. Frantz, F.K.: A taxonomy of model abstraction techniques. In: Winter Simulation Conference, pp. 1413–1420 (1995)
19. Jouault, F., Bézivin, J.: KM3: A DSL for metamodel specification. In: The Proceedings of 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), LNCS 4037, pp. 171–185 (2006)
20. Kagdi, H., Maletic, J.I., Sutton, A.: Context-free slicing of UML class models. In: ICSM ’05: Proceedings of the 21st IEEE International Conference on Software Maintenance, pp. 635–638. IEEE Computer Society, Washington, DC, USA (2005)
21. Kelsen, P., Ma, Q.: A modular model composition technique. In: The Proceedings of 13th International Conference on Fundamental Approaches to Software Engineering, (FASE 2010), volume LNCS 6013, pp. 173–187 (2010)
22. Kelsen, P., Ma, Q., Glodt, C.: Models within models: Taming model complexity using the sub-model lattice. In: The Proceedings of 14th International Conference on Fundamental Approaches to Software Engineering, (FASE 2011), volume LNCS 6603, pp. 171–185 (2011)
23. Nejati, S., Sabetzadeh, M., Falessi, D., Briand, L.C., Coq, T.: A sysml-based approach to traceability management and design slicing in support of safety certification: framework, tool support, and case studies. Inf. Softw. Technol. 54(6), 569–590 (2012)
24. OMG: Meta Object Facility (MOF) Core Specification Version 2.4.1 (2011)
25. OMG: Semantics of a Foundational Subset for Executable UML Models (fUML) v1.0 (2011)
26. OMG: Business Process Model and Notation (BPMN) Version 2.0 (2012)
27. OMG: Object Constraint Language Version 2.3.1 (2012)
28. Richters, M., Gogolla, M.: On formalizing the UML object constraint language OCL. In: The Proceedings of 17th International Conference on Conceptual Modeling (ER’98), pp. 449–464 (1998)
29. Richters, M., Gogolla, M.: OCL: Syntax, semantics, and tools. In: The Proceedings of Object Modeling with the OCL, The Rationale behind the Object Constraint Language (OCL 2002), LNCS 2263, pp. 42–68 (2002).
30. Sen, S., Moha, N., Baudry, B., Jézéquel, J.-M.: Meta-model pruning. In: The Proceedings of the 12th international conference on Model Driven Engineering Languages and Systems (MoDELS 2009), pp. 32–46 (2009)
31. Shaikh, A., Clarisó, R., Wiil, U.K., Memon, N.: Verification-driven slicing of UML/OCL models. In: The Proceedings of 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), pp. 185–194 (2010)
32. Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley Professional, Boston (2008)
33. Tarjan, R.E.: Depth-first search and linear graph algorithms. SIAM J. Comput. 1(2), 146–160 (1972)
34. Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley Professional, Boston (2003)