Implementing Advanced RBAC Administration Functionality with USE * (2009)
Tanveer Mustafa, Karsten Sohr, Duc-hanh Dang, Michael Drouineaud, Stefan Kowski, Jordi Cabot, ...
8 th International Workshop on
Towards an Integrated Framework for Model-driven Security Engineering (2009)
Abstract. Security is a major issue in developing software systems. It is widely recognized that security aspects must be considered in all the phases of the development process from the analysis of...
Paraphrasing OCL Expressions with SBVR (2009)
Abstract. A conceptual schema (CS) should be explained to the stakeholders to validate that it is an appropriate representation of all knowledge of the domain. One of the best ways to explain the CS...
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations (2009)
Jordi Cabot, Esther Guerra, Juan De Lara
Abstract. In this paper we propose a method to derive OCL invariants from declarative specifications of model-to-model transformations. In particular we consider two of the most prominent approaches...
Reverse Engineering of OO constructs in Object-Relational Database Schemas (2009)
Jordi Cabot, Cristina Gómez, Elena Planas, M. Elena Rodríguez
Abstract. Reverse engineering applied to databases permits to extract a conceptual schema that represents, at a higher level of abstraction, the database implementation. This resulting conceptual...
A Catalogue of Refactorings for Navigation Models (2009)
The evolution of web applications (from read-only applications for browsing the data to full-fledged content-modification applications) has increased the complexity of navigation models describing...
Verification of UML/OCL Class Diagrams using Constraint Programming (2009)
Jordi Cabot, Robert Clarisó, Daniel Riera
In the MDD and MDA approaches, models become the primary artifacts of the development process. Therefore, assessment of the correctness of such models is a key issue to ensure the quality of the...
From Declarative to Imperative UML/OCL Operation Specifications (2009)
Abstract. An information system maintains a representation of the state of the domain in its Information Base (IB). The state of the IB changes due to the execution of the operations defined in the...
A Research Agenda for Conceptual Schema- Centric Development (2009)
Abstract. Conceptual schema-centric development (CSCD) is a research goal that reformulates the historical aim of automating information systems development. In CSCD, conceptual schemas would be...
Jordi Cabot, Esther Guerra, Juan De Lara
Abstract. In this paper we present an approach to the analysis of graph transformation rules based on an intermediate OCL representation. We translate different semantics of rules into OCL, together...
Automatic Generation of Workflow-Extended Domain Models (2009)
Marco Brambilla, Jordi Cabot, Sara Comai
Abstract. The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical precedence...
Improving Requirements Specifications in Model-Driven Development Processes (2009)
Abstract: Understanding the organizational context and rationales (the “Whys”) that lead up to system requirements (the “Whats”) help us to analyze the stakeholders ’ interests and how they...
Deriving Operation Contracts from UML Class Diagrams (2009)
Abstract. Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e. through...
Towards an Integrated Framework for Model-driven Security Engineering (2009)
Abstract. Security is a major issue in developing software systems. It is widely recognized that security aspects must be considered in all the phases of the development process from the analysis of...
UML/OCL Verification In Practice (2009)
Abstract. In the MDD approaches, models become the primary artifact of the development process and the basis for code generation. Identifying defects early, at the model-level, can help to reduce...
Automatic Generation of Workflow-extended Domain Models (extended version) (2008)
Marco Brambilla, Jordi Cabot, Sara Comai
Abstract. The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical precedence...
A Tool for the Efficient Evaluation of OCL Constraints (2008)
Abstract: Integrity checking is aimed at determining whether the information system state resulting from the execution of an operation is consistent with the integrity constraints specified in the...
Generating Extended Conceptual Schemas from Business Process Models (Extended Abstract) * (2008)
Marco Brambilla, Jordi Cabot, Sara Comai
Abstract. The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical precedence...
Automatic Integrity Constraint Evolution due to Model Subtract Operations (2008)
Abstract. When evolving Conceptual Schemas (CS) one of the most common operations is the removal of some model elements. This removal affects the set of integrity constraints (IC) defined over the...
Entity Types Derived by Symbol-Generating Rules (2008)
Jordi Cabot, Antoni Olivé, Ernest Teniente
Abstract. We review the definition of entity types derived by symbolgenerating rules. These types appear frequently in conceptual schemas. However, up to now they have received very little attention...
Roles as Entity Types: A Conceptual Modelling Pattern (2008)
Roles are meant to capture dynamic and temporal aspects of realworld objects. The role concept has been used with many semantic meanings: dynamic class, aspect, perspective, interface or mode. This...
Marco Brambilla, Jordi Cabot, Nathalie Moreno
Abstract: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools that...
Constraint Support in MDA tools: a Survey (2006)
Abstract: The growing interest in the MDA (Model-Driven Architecture) and MDD (Model-Driven Development) approaches has largely increased the number of tools and methods including code-generation...
Incremental Evaluation of OCL Constraints (2006)
Abstract: Integrity checking is aimed at determining whether an operation execution violates a given integrity constraint. To perform this computation efficiently, several incremental methods have...
Computing the Relevant Instances that May Violate an OCL constraint (2005)
Abstract. Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after the application of a set of structural events. One possible way to...
E.: Determining the Structural Events that May Violate an Integrity Constraint (2004)
Abstract. Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined in its...
A simple yet useful approach to implementing UML Profiles in current CASE tools (2003)
UML Profiles allow designers to customize the UML to their particular domain or purpose. Moreover, they play an important role in MDA.
Representing Temporal Information in UML (2003)
Jordi Cabot, Antoni Olivé, Ernest Teniente
Abstract. The UML is a non-temporal conceptual modeling language. Conceptual schemas in the UML assume that the information base contains the current instances of entity and relationship types. For...
Jordi Cabot, Jordi Ceballos, Cristina Gómez
Abstract. Initially, web development methods focused on the generation of read-only web applications for browsing the data stored in relational database systems. Lately, many have evolved to include...
A Conceptual Modelling Pattern for Roles (1997)
A pattern identifies a problem and provides the specification of a generic solution to that problem. Conceptual modelling patterns are aimed at representing a specific structure of knowledge that...
R.: Conceptual Modelling Patterns for Roles (1997)
Abstract. Roles are meant to capture dynamic and temporal aspects of realworld objects. The role concept has been used with many semantic meanings: dynamic class, aspect, perspective, interface or...