Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Software and Systems Modeling
Erschienen in: Software and Systems Modeling 1/2015

01.02.2015 | Special Section Paper

Kompren: modeling and generating model slicers

verfasst von: Arnaud Blouin, Benoît Combemale, Benoit Baudry, Olivier Beaudoux

Erschienen in: Software and Systems Modeling | Ausgabe 1/2015

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Among model comprehension tools, model slicers are tools that extract a subset of model elements, for a specific purpose. Model slicers provide a mechanism to isolate and focus on parts of the model, thereby improving the overall analysis process. However, existing slicers are dedicated to a specific modeling language. This is an issue when we observe that new domain specific modeling languages, for which we want slicing abilities, are created almost on a daily basis. This paper proposes the Kompren language to model and generate model slicers for any DSL (e.g. modeling for software development or for civil engineering) and for different purposes (e.g. monitoring and model comprehension). We detail the semantics of the Kompren language and of the model slicer generator. This provides a set of expected properties about the slices that are extracted by the different forms of the slicer. Then we illustrate these different forms of slicers on case studies from various domains.
Vorheriger Artikel From well-formedness to meaning preservation: model refactoring for almost free
Nächster Artikel Guest editorial to the special issue on “modelling–foundations and applications”

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren
Fußnoten
4
Relational database management system.
 
5
Uniform resource identifier.
 
12
This number can certainly be reduced by optimizing the compiler.
 
Literatur
1.
Acher, M., Collet, P., Lahire, P., France, R.: Slicing feature models. In: 26th IEEE/ACM International Conference On Automated Software Engineering (ASE’11). IEEE/ACM (2011)
2.
Acher, M., Collet, P., Lahire, P., France, R.: Separation of Concerns in Feature Modeling: Support and Applications. In: Aspect-Oriented Software Development (AOSD’12). ACM Press, New York (2012)
3.
Androutsopoulos, K., Binkley, D., Clark, D., Gold, N., Harman, M., Lano, K., Li, Z.: Model projection: Simplifying models in response to restricting the environment. In: International Conference on, Software Engineering (ICSE’11) (2011)
4.
Bae, J.H., Chae, H.S.: UMLSlicer: a tool for modularizing the UML metamodel using slicing. In: 8th IEEE International Conference on Computer and Information Technology (CIT), pp. 772–777 (2008)
5.
Beaudoux, O., Blouin, A., Barais, O., Jézéquel, J.M.: Active operations on collections. In: MoDELS’10: Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 91–105 (2010)
6.
Binkley, D., Raszewski, L.R., Smith, C., Harman, M.: An empirical study of amorphous slicing as a program comprehension support tool. In: Proceedings of the 8th International Workshop on Program Comprehension, pp. 161–170. IEEE Computer Society (2000)
7.
Blouin, A., Combemale, B., Baudry, B., Beaudoux, O.: Modeling model slicers. In: ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS’11), vol. 6981, pp. 62–76. Springer, Berlin/Heidelberg (2011)
8.
Chunyu, M., Jianmin, Z.: Dynamic slicing of statechart specifications for reactive systems. In: Intelligent Computation Technology and Automation (ICICTA), vol. 1, pp. 110–116 (2011)
9.
Clark, T.: A general model-based slicing framework. In: Proceedings of the Workshop on Composition and Evolution of Model Transformations (2011)
10.
Falessi, D., Nejati, S., Sabetzadeh, M., Briand, L., Messina, A.: SafeSlice: a model slicing and design safety inspection tool for SysML. In: SIGSOFT/FSE’11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC’11: 13rd European Software Engineering Conference (ESEC-13). ACM (2011)
11.
Gallagher, K., Binkley, D.: Program slicing. In: Proceedings of Frontiers of Software Maintenance(2008)
12.
Robert, H.: Automatic extraction of executable program subsets by simultaneous dynamic program slicing. Autom. Softw. Eng. 2, 33–53 (1995)CrossRef
13.
Mark, H., Robert, H.: An overview of program slicing. Softw. Focus 2(3), 85–92 (2001)CrossRef
14.
Heimdahl, M.P.E., Thompson, J.M., Whalen, M.W.: On the effectiveness of slicing hierarchical state machines: a case study. In: Proceedings of the 24th Euromicro Conference, vol. 1, pp. 435–444 (1998)
15.
Ivan, H., Guy, M., Scott, M.M.: Graph visualization and navigation in information visualization: a survey. IEEE Trans. Visual. Comput. Graph. 6, 24–43 (2000)CrossRef
16.
Arnaud, H., Heymans, P., Schobbens, P.-Y., Abbasi, E.K., Deridder, D.: Supporting multiple perspectives in feature-based configuration. Softw. Syst, Model (2012)
17.
Jeanneret, C., Glinz, M., Baudry, B.: Estimating footprints of model operations. In: International Conference on, Software Engineering (ICSE’11) (2011)
18.
Kagdi, H., Maletic, J.I., Sutton, A.: Context-free slicing of UML class models. In: Proceedings of the IEEE International Conference on Software, Maintenance, pp. 635–638 (2005)
19.
Kelsen, P., Ma, Q., Glodt, C.: Models within models: taming model complexity using the sub-model lattice. In: Proceedings of International Conference on Fundamental Approaches to Software Engineering, FASE’11, pp. 171–185 (2011)
20.
Taeho, K., Yeong-Tae, S., Lawrence, C., Dung, T.H.: Software architecture analysis: a dynamic slicing approach. ACIS Int. J. Comput. Informat. Sci. 1, 91–103 (2000)
21.
Korel, B., Singh, I., Tahat, L., Vaysburg, B.: Slicing of state-based models. In: Proceedings of the IEEE International Conference on Software, Maintenance (ICSM’03) (2003)
22.
Sébastien, L., Gallois, J.-P.: Slicing communicating automata specifications: polynomial algorithms for model reduction. Formal Aspects Comput. 20, 563–595 (2008)CrossRefMATH
23.
Lallchandani, J.T., Mall, R.: A dynamic slicing technique for UML architectural models. IEEE Trans. Softw. Eng. 2, 21–57 (2011)
24.
Lano, K., Kolahdouz-Rahimi, S.: Slicing of UML models using model transformations. In: International Conference on Model Driven Engineering Languages and Systems (MODELS’10), pp. 228–242 (2010)
25.
Luangsodsai, A., Fox, C.: Concurrent statechart slicing. In: Second Conference on Computer Science and Electronic Engineering Conference (CEEC), pp. 1–7 (2010)
26.
Muller, P.-A., Fleurey, F., Jézéquel, J.-M.: Weaving executability into object-oriented meta-languages. In: Proceedings of MODELS/UML’2005, pp. 264–278 (2005)
27.
Muller, P.-A., Fondement, F., Baudry, B., Combemale, B.: Modeling modeling modeling. In: Software and Systems Modeling, pp. 1–13 (2010)
28.
JimQ, N., Andre, E., Voytek, K.W.: Automated support for legacy code understanding. Commun. ACM 37(5), 50–57 (1994)CrossRef
29.
Rilling, J., Klemola, T.: Identifying comprehension bottlenecks using program slicing and cognitive complexity metrics. In: Proceedings of the 11th IEEE International Workshop on Program Comprehension, pp. 115–124. IEEE Computer Society (2003)
30.
Philip, S., Rajib, M.: Slicing-based test case generation from UML activity diagrams. SIGSOFT Softw. Eng. Notes 34, 1–14 (2009)
31.
Sen, S., Moha, N., Baudry, B., Jézéquel, J.-M.: Meta-model Pruning. In: 12th International Conference on Model Driven Engineering Languages and Systems (MODELS’09) (2009)
32.
Shaikh, A., Clarisó, R., Wiil, U.K., Memon, N.: Verification-driven slicing of UML/OCL models. In: Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, pp. 185–194. ACM (2010)
33.
Shaikh, A., Wiil, U.K., Memon, N.: UOST: UML/OCL aggressive slicing technique for efficient verification of models. In: System Analysis and Modeling: About Models–6th International, Workshop SAM’10, pp. 173–192 (2010)
34.
Shaikh, A., Wiil, U.K., Memon, N. Evaluation of tools and slicing techniques for efficient verification of UML/OCL class diagrams. Adv. Softw. Eng. 70, 18 (2011)
35.
Silva, J.: A vocabulary of program-slicing based techniques. ACM Comput. Surv. 42, 976–991 (2011)
36.
Steel, J., Drogemuller, R., Toth, B.: Model interoperability in building information modelling. Softw. Syst. Model. 11, 1–11 (2010)
37.
Jim, S., Jean-Marc, J.: On model typing. J. Softw. Syst. Model. (SoSyM) 6(4), 401–414 (2007)CrossRef
38.
Margaret-Anne, D.S., David, F.F., HausiA, M.: Cognitive design elements to support the construction of a mental model during software exploration. J. Syst. Softw. 44(3), 171–185 (1999)CrossRef
39.
Frank, T.: A survey of program slicing techniques. J. Programm. Lang. 3, 121–189 (1995)
40.
Ujhelyi, Z., Horváth, Á., Varró, D.: Towards dynamic backward slicing of model transformations. In: 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp. 404–407. IEEE Computer Society (2011)
41.
Van Langenhove, S., Hoogewijs, A.: SVtL: system verification through logic tool support for verifying sliced hierarchical statecharts. In: Proceedings of the 18th International Conference on Recent Trends in Algebraic Development, Techniques, pp. 142–155 (2007)
42.
Venkatesh, G.A.: The semantic approach to program slicing. In: Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation, pp. 107–119. ACM (1991)
43.
Wang, J., Dong, W., Qi, Z.: Slicing hierarchical automata for model checking UML statecharts. In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002, pp. 435–446 (2002)
44.
Weiser, M.: Program slicing. In: Proceedings of the 5th International Conference on Software Engineering, pp. 439–449. IEEE Press (1981)
45.
Baowen, X., Qian, J., Zhang, X., Wu, Z., Chen, L.: A brief survey of program slicing. SIGSOFT Softw. Eng. Notes 30, 1–36 (2005)
46.
Yatapanage, N., Winter, K., Zafar, S.: Slicing behavior tree models for verification. In: IFIP Advances in Information and Communication Technology, pp. 125–139 (2010)
47.
Zhao, J.: Applying slicing technique to software architectures. In: Fourth IEEE International Conference on Engineering of Complex Computer Systems, ICECCS’98, pp. 87–98 (1998)
Metadaten
Titel
Kompren: modeling and generating model slicers
verfasst von
Arnaud Blouin
Benoît Combemale
Benoit Baudry
Olivier Beaudoux
Publikationsdatum
01.02.2015
Verlag
Springer Berlin Heidelberg
Erschienen in
Software and Systems Modeling / Ausgabe 1/2015
Print ISSN: 1619-1366
Elektronische ISSN: 1619-1374
DOI
https://doi.org/10.1007/s10270-012-0300-x

Weitere Artikel der Ausgabe 1/2015

Software and Systems Modeling 1/2015 Zur Ausgabe

Special Section Paper

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

Special Section Paper

Resolving model inconsistencies using automated regression planning

Special Section Paper

Verification of B $$^+$$ trees by integration of shape analysis and interactive theorem proving

Special Section Paper

Model transformations for migrating legacy deployment models in the automotive industry

Special Section Paper

A repository for scalable model management

Special Section Paper

A fine-grained analysis of the support provided by UML class diagrams and ER diagrams during data model maintenance