Model-driven software development relies on metamodels to formally capture modeling spaces. Metam... more Model-driven software development relies on metamodels to formally capture modeling spaces. Metamodels specify concepts and relationships between them in order to represent either a specific business domain model or the input and output domains for operations on models (e.g., model refinement). In all cases, a metamodel is a finite description of a possibly infinite set of models, i.e. the set of all models which structure conforms to the description specified in the metamodel. However, there is currently no systematic method to test that a metamodel captures all the correct models of the domain and no more. In this paper, we focus on the automatic selection of a set of models in the modeling space captured by a metamodel. The selected set should both cover as many representative situations as possible and be kept small as possible for further manual analysis. We use simulated annealing to select a set of models that satisfies those two objectives and report on results using two metamodels from two different domains.
MOF and OCL are commonly used for metamodeling: MOF to model the domain structure, and OCL for th... more MOF and OCL are commonly used for metamodeling: MOF to model the domain structure, and OCL for the well-formedness rules. Thus, metamodelers have to master both formalisms and understand how to articulate them in order to build metamodels that accurately capture domain knowledge. A systematic empirical analysis of the conjunct use of MOF and OCL in existing metamodels could help metamodelers understand how to use these formalisms. However, existing metamodels usually present anomalies that prevent automatic analysis without prior fixing. In particular, it often happens that both parts of the metamodel (MOF and OCL) are inconsistent. In this paper, we propose a process for analyzing metamodels and we report on the pre-processing phase we went through on 52 metamodels in order to get them ready for automatic empirical analysis.
The rise and potential of the World Wide Web as a way to ease life have made the development of w... more The rise and potential of the World Wide Web as a way to ease life have made the development of web applications one of the most widely known topics on software engineering, which is the reason why we find a large number of tools and platforms to support web development. However, building a web application is still a complex process that requires a big effort to get several tasks done. This article presents a generative framework aimed to simplify web application development, based on the construction and transformation of high level models from a domain structure viewpoint, using a UML profile plus a Domain Specific Language built for that purpose.
The constant evolution of software systems has led the software engineering to continually develo... more The constant evolution of software systems has led the software engineering to continually develop new methods and concepts to overcome their development and maintenance. Two main streams have emerged in recent years and become important in current industrial processes: Model Driven Engineering (MDE) and agile methods. MDE promotes the use of models as higher-level artifacts, the separation of concerns and generative approaches. On the other hand, Agility focuses on best practices for programming of software systems and their integration within a development process. Nevertheless, these two trends have evolved independently and must now be unied to make the best of both. We investigate in this position paper the benets and scope of such unication and we expose our preliminary thought on the challenges ahead for this. The main contribution of this paper is to propose a canvas for the study of this unication, thereby exposing the dierent challenges. We also hope that this paper will arise interesting discussions within the community about the combination of agile processes and model based paradigms and tools.
Nowadays building a web application is still a complex process that requires a big effort to get ... more Nowadays building a web application is still a complex process that requires a big effort to get several tasks done. This article presents a domain specific language aimed to simplify web application development by using it within a MDSD generation process, based on the construction and transformation of high level models from a domain structure viewpoint. this leads software development to focus on understanding the problem and doing a better business analysis, leaving the construction of the solution to a code generation process, thus reducing time and cost.
Model-driven software development relies on metamodels to formally capture modeling spaces. Metam... more Model-driven software development relies on metamodels to formally capture modeling spaces. Metamodels specify concepts and relationships between them in order to represent either a specific business domain model or the input and output domains for operations on models (e.g., model refinement). In all cases, a metamodel is a finite description of a possibly infinite set of models, i.e. the set of all models which structure conforms to the description specified in the metamodel. However, there is currently no systematic method to test that a metamodel captures all the correct models of the domain and no more. In this paper, we focus on the automatic selection of a set of models in the modeling space captured by a metamodel. The selected set should both cover as many representative situations as possible and be kept small as possible for further manual analysis. We use simulated annealing to select a set of models that satisfies those two objectives and report on results using two metamodels from two different domains.
MOF and OCL are commonly used for metamodeling: MOF to model the domain structure, and OCL for th... more MOF and OCL are commonly used for metamodeling: MOF to model the domain structure, and OCL for the well-formedness rules. Thus, metamodelers have to master both formalisms and understand how to articulate them in order to build metamodels that accurately capture domain knowledge. A systematic empirical analysis of the conjunct use of MOF and OCL in existing metamodels could help metamodelers understand how to use these formalisms. However, existing metamodels usually present anomalies that prevent automatic analysis without prior fixing. In particular, it often happens that both parts of the metamodel (MOF and OCL) are inconsistent. In this paper, we propose a process for analyzing metamodels and we report on the pre-processing phase we went through on 52 metamodels in order to get them ready for automatic empirical analysis.
The rise and potential of the World Wide Web as a way to ease life have made the development of w... more The rise and potential of the World Wide Web as a way to ease life have made the development of web applications one of the most widely known topics on software engineering, which is the reason why we find a large number of tools and platforms to support web development. However, building a web application is still a complex process that requires a big effort to get several tasks done. This article presents a generative framework aimed to simplify web application development, based on the construction and transformation of high level models from a domain structure viewpoint, using a UML profile plus a Domain Specific Language built for that purpose.
The constant evolution of software systems has led the software engineering to continually develo... more The constant evolution of software systems has led the software engineering to continually develop new methods and concepts to overcome their development and maintenance. Two main streams have emerged in recent years and become important in current industrial processes: Model Driven Engineering (MDE) and agile methods. MDE promotes the use of models as higher-level artifacts, the separation of concerns and generative approaches. On the other hand, Agility focuses on best practices for programming of software systems and their integration within a development process. Nevertheless, these two trends have evolved independently and must now be unied to make the best of both. We investigate in this position paper the benets and scope of such unication and we expose our preliminary thought on the challenges ahead for this. The main contribution of this paper is to propose a canvas for the study of this unication, thereby exposing the dierent challenges. We also hope that this paper will arise interesting discussions within the community about the combination of agile processes and model based paradigms and tools.
Nowadays building a web application is still a complex process that requires a big effort to get ... more Nowadays building a web application is still a complex process that requires a big effort to get several tasks done. This article presents a domain specific language aimed to simplify web application development by using it within a MDSD generation process, based on the construction and transformation of high level models from a domain structure viewpoint. this leads software development to focus on understanding the problem and doing a better business analysis, leaving the construction of the solution to a code generation process, thus reducing time and cost.
Uploads
Papers by Juan Cadavid