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

Content Provider	Springer Nature Link
Author	Ma, Qin Kelsen, Pierre Glodt, Christian
Copyright Year	2013
Abstract	Model-driven software development aims at easing the process of software development by using models as primary artifacts. Although less complex than the real systems, they are based on models tend to be complex nevertheless, thus making the task of handling them non-trivial in many cases. In this paper, we propose a generic model decomposition technique to facilitate model management by decomposing complex models into smaller sub-models that conform to the same metamodel as the original model. The technique is based upon a formal foundation that consists of a formal capturing of the concepts of models, metamodels, and model conformance; a formal constraint language based on EssentialOCL; and a set of formally proved properties of the technique. We organize the decomposed sub-models in a mathematical structure as a lattice, and design a linear-time algorithm for constructing this decomposition. The generic model decomposition technique is applied to the Eclipse modeling framework, and the result is used to build a solution to a specific model comprehension problem of Ecore models based upon model pruning. We report two case studies of the model comprehension method: one in BPMN and the other in fUML.
Starting Page	921
Ending Page	952
Page Count	32
File Format	PDF
ISSN	16191366
Journal	Software and Systems Modeling
Volume Number	14
Issue Number	2
e-ISSN	16191374
Language	English
Publisher	Springer Berlin Heidelberg
Publisher Date	2013-06-27
Publisher Place	Berlin, Heidelberg
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	MDE EMF Model decomposition Model comprehension Linear-time algorithm Sub-model lattice OCL EssentialOCL BPMN fUML Software Engineering/Programming and Operating Systems Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Information Systems Applications (incl. Internet) IT in Business
Content Type	Text
Resource Type	Article
Subject	Modeling and Simulation Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Translating between Alloy specifications and UML class diagrams annotated with OCL

A benchmark for OCL engine accuracy, determinateness, and efficiency

Constraint-driven modeling through transformation

AuRUS: explaining the validation of UML/OCL conceptual schemas

Deontic BPMN: a powerful extension of BPMN with a trusted model transformation

On the unification power of models

Model aesthetics

Emerging OCL tools

VPML: an approach to detect design patterns of MOF-based modeling languages

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

Similar Documents

Translating between Alloy specifications and UML class diagrams annotated with OCL

A benchmark for OCL engine accuracy, determinateness, and efficiency

Constraint-driven modeling through transformation

AuRUS: explaining the validation of UML/OCL conceptual schemas

Deontic BPMN: a powerful extension of BPMN with a trusted model transformation

On the unification power of models

Model aesthetics

Emerging OCL tools

VPML: an approach to detect design patterns of MOF-based modeling languages

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