Isidro Ramos

Learn More
The development of software systems must be done using platforms that allow the description of quality, complex, distributed, dynamic and reusable architectural models. We present in this paper PRISMA, an architectural modelling approach based on aspects and components, that uses a component definition language (components, connectors and systems) to define(More)
Aspect-Oriented Software Development (AOSD) has emerged as a new approach to develop software systems by improving their structure, reuse, maintenance and evolution properties. It is being applied to all stages of the software life cycle. In this paper, we present the PRISMA approach, which introduces AOSD in software architectures. PRISMA is characterized(More)
In a MDA process, software artifacts are refined from the problem space (requirements) to the solution space (application). A model refinement involves the application of operators that perform tasks over models such as integrations and transformations, among others. We are working on a model management framework, called MOMENT (MOdel manageMENT), where(More)
Feature Modeling is a technique which uses a specific visual notation to characterize the variability of product lines by means of diagrams. In this sense, the arrival of metamodeling frameworks in the Model-Driven Engineering field has provided the necessary background to exploit these diagrams (called feature models) in complex software development(More)
Software Requirements Specification (SRS) organization for complex and/or large systems have to do with several not faced challenges until the moment. This organization is a key factor to facilitate the quality assurance of the SRS, regarding features as: correctness, completeness, consistency and modifiability. Organization is also crucial for an effective(More)
In this paper, we briefly introduce a controlled experiment to investigate the selection of alternative transformation rules through which to obtain UML class diagrams from a Requirements Model. The main goal of this experiment was to determine which of the transformation rules for structural relationships between classes (association (Al), aggregation (A2)(More)
OASIS is a Language for the Specification of Object Oriented Conceptual Models. Object Petri Nets (OPNs) support a full integration of object-oriented concepts into Petri Nets. We propose a way to represent objectoriented concepts used in the OASIS language with OPNs as a suitable semantic model for validating software specifications. We have developed a(More)