Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
Artificial Intelligence
Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Refactoring: improving the design of existing code
Refactoring: improving the design of existing code
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets
IEEE Transactions on Software Engineering
Rearchitecting the UML infrastructure
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Structure, Abstraction, and Direct Manipulation in Diagram Editors
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A Methodology for Clustering Entity Relationship Models - A Human Information Processing Approach
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Semantic Abstraction Rules for Class Diagrams
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Model-Driven Software Development: Technology, Engineering, Management
Model-Driven Software Development: Technology, Engineering, Management
Domain-Specific Modeling
Relational concept discovery in structured datasets
Annals of Mathematics and Artificial Intelligence
Can programming be liberated from the two-level style: multi-level programming with deepjava
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Visual specification of measurements and redesigns for domain specific visual languages
Journal of Visual Languages and Computing
Towards seamless semantic zooming techniques for UML diagrams
Proceedings of the 4th ACM symposium on Software visualization
Enhancing Comprehension of Ontologies and Conceptual Models Through Abstractions
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
The Epsilon Transformation Language
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
A Meta Modeling Framework for Domain Specific Process Management
COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Supporting user-oriented analysis for multi-view domain-specific visual languages
Information and Software Technology
Reduction rules for YAWL workflows with cancellation regions and OR-joins
Information and Software Technology
The Triconnected Abstraction of Process Models
BPM '09 Proceedings of the 7th International Conference on Business Process Management
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Change patterns and change support features in process-aware information systems
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Deep meta-modelling with METADEPTH
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
transML: a family of languages to model model transformations
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Granularity in conceptual modelling: application to metamodels
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Random thoughts on multi-level conceptual modelling
The evolution of conceptual modeling
A semantic approach for business process model abstraction
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Proceedings of the 14th international conference on Model driven engineering languages and systems
Building abstractions in class models: formal concept analysis in a model-driven approach
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Business process model abstraction: a definition, catalog, and survey
Distributed and Parallel Databases
The epsilon object language (EOL)
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Computer Science Review
Domain-specific textual meta-modelling languages for model driven engineering
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Abstracting modelling languages: a reutilization approach
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Aspects of abstraction in software development
Software and Systems Modeling (SoSyM)
From types to type requirements: genericity for model-driven engineering
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Model-driven engineering proposes the use of models to describe the relevant aspects of the system to be built and synthesize the final application from them. Models are normally described using Domain-Specific Modeling Languages (DSMLs), which provide primitives and constructs of the domain. Still, the increasing complexity of systems has raised the need for abstraction techniques able to produce simpler versions of the models while retaining some properties of interest. The problem is that developing such abstractions for each DSML from scratch is time and resource consuming. In this paper, our goal is reducing the effort to provide modeling languages with abstraction mechanisms. For this purpose, we have devised some techniques, based on generic programming and domain-specific meta-modeling, to define generic abstraction operations that can be reused over families of modeling languages sharing certain characteristics. Abstractions can make use of clustering algorithms as similarity criteria for model elements. These algorithms can be made generic as well, and customized for particular languages by means of annotation models. As a result, we have developed a catalog of reusable abstractions using the proposed techniques, together with a working implementation in the MetaDepth multi-level meta-modeling tool. Our techniques and prototypes demonstrate that it is feasible to build reusable and adaptable abstractions, so that similar abstractions need not be developed from scratch, and their integration in new or existing modeling languages is less costly.