Site Index

Research

Research interests

My main research areas are the conceptual modeling of software systems (specially using the UML and OCL languages but also including intentional languages), their formal verification and their automatic code generation (e.g. the efficient generation of checking code for OCL integrity constraints, including their incremental evaluation and transformation ; check also my survey about OCL support in current code-generation tools).

Other research interests include SBVR and business rules specifications , web engineering , workflows , model transformations and e-learning .

You can contact me for further information/collaborations on any of these topics.

Publications

(see also my list of publications on DBLP Bibliography Server)

DISCLAIMER: This list contains files of articles that may be covered by copyright. You may browse the articles at your convenience (in the same spirit as you may read a journal or a proceeding article in a public library). Retrieving, copying, distributing these files may violate the copyright protection law. Contact me for copies of the papers not included herein.

  • Journals

    1. Jordi Cabot, Greg Wilson: Tools for Teams: A Survey of Web-Based Software Project Portals. Dr. Dobb’s Journal. (2009). [publisher site version ]
    2. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: A UML/OCL Framework for the Analsysis of Graph Transformation Rules. Software and Systems Modeling. To appear. [abstract, pre-print paper version, publisher site version ]
    3. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: Verification and Validation of Declarative Model-to-Model Transformations Through Invariants. Journal of Systems and Software 83(2): 283-302 (2010) [abstract, pre-print paper version, publisher site version ]
    4. Jordi Cabot, Raquel Pau, Ruth Raventós: From UML/OCL to SBVR Specifications: a Challenging Transformation. Information Systems Elsevier Journal 35(4): 417-440 (2010) [abstract, pre-print paper version, tool , publisher site version ]
    5. Jordi Cabot, Ernest Teniente: Incremental Integrity Checking of UML/OCL Conceptual Schemas. Journal of Systems and Software, vol 82, issue 9, pp. 1459-1478. [abstract, pre-print paper version, paper online ]
    6. Manoli Albert, Jordi Cabot, Cristina Gómez, Vicente Pelechano: Automatic Generation of Basic Behavior Schemas from UML Class Diagrams. Software and Systems Modeling 9(1): 47-67 [abstract, pre-print paper version, paper online ]
    7. Jordi Cabot, Cristina Gómez: Evaluating the Consistency between Navigation and Data Models for Web Applications. International Journal of Information System Modeling and Design. To appear [abstract]
    8. Marco Brambilla, Jordi Cabot and Sara Comai: Extending Conceptual Schemas with Business Process Information. Advances in Software Engineering, Volume 2010 (2010), Article ID 525121, 22 pages [abstract, pre-print paper version, (free) paper online ]
    9. Jordi Cabot, Ernest Teniente: Transformation Techniques for OCL Constraints. Science of Computer Programming Journal, vol. 68/3, pp. 152-168( available online ) [abstract]
    10. Jordi Cabot, Ruth Raventós: Conceptual Modelling Patterns for Roles. Journal on Data Semantics V, pp. 158-184 [abstract, paper © Springer-Verlag]

  • Book Chapters

    1. Antoni Olivé, Jordi Cabot: A Research Agenda for Conceptual Schema-Centric Development. In: Conceptual modeling in Information Systems Engineering: From Database Systems to Ubiquitous Environments and Beyond. Springer Verlag, pp. 319-334. ISBN: 978-3-540-72676-0 [abstract, paper © Springer-Verlag]

  • International Conferences

    1. Jordi Cabot, Jose-Norberto Mazón, Jesús Pardillo, Juan Trujillo: Specifying Aggregation Functions in Multidimensional Models with OCL. 29th International Conference on Conceptual Modeling (ER'10). LNCS, to appear [paper © Springer-Verlag]
    2. Massimo Tisi, Jordi Cabot, Frédéric Jouault: Improving Higher-Order Transformations Support in ATL. ICMT2010 - Intl. Conference on Model Transformation. LNCS 6142, pp. 215-229 [paper © Springer-Verlag]
    3. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: Synthesis of OCL Pre-Conditions for Graph Transformation Rules, ICMT2010 - Intl. Conference on Model Transformation, LNCS 6142, pp. 45-60 [paper © Springer-Verlag]
    4. Hesam Chiniforooshan, Eric Yu, Jordi Cabot: Situational Evaluation of Method Fragments: an Evidence-Based Goal-Oriented Approach, 22nd International Conference on Advanced Information Systems Engineering (CAiSE'10), LNCS, Springer, to appear [paper © Springer-Verlag]
    5. Hugo Brunelière, Jordi Cabot, Cauê Clasen, Frédéeric Jouault, Jean Béezivin: Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools. 6th European Conference on Modelling Foundations and Applications, LNCS, to appear. [paper © Springer-Verlag]
    6. Hesam Chiniforooshan, Jordi Cabot, Eric Yu: Adopting Agile Methods. Can Goal-Oriented Social Modeling Help?. 4th Int. Conf. on Research Challenges for Information Systems (RCIS’10), to appear [paper]
    7. Marco Brambilla, Jordi Cabot, Michael Grossniklaus: Modelling Safe Interface Interactions in Web Applications. 28th Int. Conf. on Conceptual Modeling (ER 2009), LNCS 5289, pp. 387-400 [paper © Springer-Verlag])
    8. Jordi Cabot, Robert Clarisó, Daniel Riera: Verifying UML/OCL Operation Contracts. 7th International Conference on Integrated Formal Methods (IFM 2009), LNCS 5423, pp. 40-55 [paper © Springer-Verlag]
    9. Elena Planas, Jordi Cabot, Cristina Gómez: Verifying Action Semantics Specifications in UML Behavioral Models. The 21st International Conference on Advanced Information Systems (CAiSE 2009), LNCS 5565, pp. 125-140 [abstract, paper © Springer-Verlag ]
    10. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: An Invariant-based Method for the Analysis of Declarative Model-to-Model Transformations. 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2008), LNCS 5301, pp. 37-52 [paper © Springer-Verlag]
    11. Jordi Cabot, Cristina Gómez: A Catalogue of Refactorings for Navigation Models. 8th International Conference on Web Engineering (ICWE 2008), IEEE Computer Society [paper © The Institute of Electrical and Electronics Engineers, Inc. (IEEE)]
    12. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: Analysing Graph Transformation Rules Through OCL. 1st International Conference on Model Transformation (ICMT 2008), LNCS 5063, pp. 225-239 [paper © Springer-Verlag]
    13. Raquel Pau, Jordi Cabot: Paraphrasing OCL expressions with SBVR. 13th International Conference on Applications of Natural Language to Information Systems (NLDB'08), LNCS 5039, pp. 311-316 [paper © Springer-Verlag]
    14. Jordi Cabot, Francisco Durán, Nathalie Moreno, Raúl Romero, Antonio Vallecillo: From Programming to Modeling: Our Experience with a Distributed Software Enginering Course. 30th Int. Conf. on Software Engineering (Education Track). [abstract]. DOI: http://doi.acm.org/10.1145/1368088.1368194
    15. Jordi Cabot: From Declarative to Imperative UML/OCL Operation Specifications. 26th International Conference on Conceptual Modeling (ER 2007), LNCS 4801, pp. 198-213 [paper © Springer-Verlag]
    16. Jordi Cabot, Cristina Gómez: Deriving Operation Contracts from UML Class Diagrams. 10th Int. Conf. on Model Driven Engineering Languages and Systems (MODELS’07),LNCS 4735, pp. 196-210 [paper © Springer-Verlag] ]
    17. Marco Brambilla, Jordi Cabot, Sara Comai: Automatic Generation of Workflow-extended Domain Models. 10th Int. Conf. on Model Driven Engineering Languages and Systems (MODELS’07), LNCS 4735, pp. 375-389 [paper © Springer-Verlag]
    18. Jordi Cabot, Jordi Ceballos, Cristina Gómez: On the Quality of Navigation Models with Content-Modification Operations. ICWE 2007, LNCS 4607, pp. 59-73 [paper© Springer-Verlag] ]
    19. Marco Brambilla, Jordi Cabot, Nathalie Moreno: Tool Support for Model Checking of Web application designs. ICWE 2007, LNCS 4607, pp. 533-538 [abstract]
    20. M. Elena Rodríguez, Montse Serra, Jordi Cabot, Isabel Guitart: Evolution of Teacher Roles and Figures in E-learning Environments. ICALT 2006 [abstract]
    21. Jordi Cabot, Ernest Teniente: Constraint Support in MDA tools: a Survey. European Conference on Model-Driven Architecture 2006, LNCS 4066, pp. 256-267 [abstract, paper © Springer-Verlag]
    22. Marco Brambilla, Jordi Cabot: Constraint tuning and management for web applications. ICWE 2006, pp. 345-352 [abstract, paper © Copyright by ACM, Inc.]
    23. Jordi Cabot, Ernest Teniente: Incremental Evaluation of OCL Constraints. CAiSE 2006, LNCS 4001, pp. 81-95 [abstract, paper © Springer-Verlag] (see an updated an extended version in the Incremental OCL page)
    24. Jordi Cabot, Ernest Teniente: Transforming OCL Constraints: a Context Change approach. SAC 2006, Model Transformation Track, pp. 1196 - 1201 [abstract, paper © Copyright by ACM, Inc.]
    25. Jordi Cabot, Ernest Teniente: Computing the Relevant Instances That May Violate an OCL Constraint. CAiSE 2005, LNCS 3520, pp. 48-62 [abstract, paper © Springer-Verlag] (see an updated an extended version in the Incremental OCL page)
    26. Jordi Cabot, Ruth Raventós: Roles as Entity Types: A Conceptual Modelling Pattern. ER 2004, LNCS 3288, pp. 69-82 [abstract, paper © Springer-Verlag]
    27. Jordi Cabot, Ernest Teniente: Determining the Structural Events That May Violate an Integrity Constraint. UML 2004, LNCS 3273, pp. 320-334. [abstract, paper © Springer-Verlag] (see an updated an extended version in the Incremental OCL page)
    28. Jordi Cabot, Antoni Olivé, Ernest Teniente: Representing Temporal Information in UML. UML 2003, LNCS 2863, pp. 44-59 [abstract, paper © Springer-Verlag]
    29. Jordi Cabot, Antoni Olivé, Ernest Teniente: Entity Types Derived by Symbol-Generating Rules. ER 2003, LNCS 2813, pp. 376-389 [abstract, paper © Springer-Verlag]

  • International Workshops, Posters and Tool Demos
    1. Hugo Brunelière, Jordi Cabot, Frédéric Jouault, Massimo Tisi, Jean Béevizin. Industrialization of Research Tools: the ATL Case. 3rd International Workshop on Academic Software Development Tools and Techniques co-located with ASE 2010 [paper]
    2. Hugo Bruneliere, Jordi Cabot, Frédéric Jouault, Frédéric Madiot. MoDisco: A Generic And Extensible Framework For Model Driven Reverse Engineering. ASE'10 tool demonstration. [paper]
    3. Marco Brambilla, Jordi Cabot, Michael Grossniklaus: Tools for Modeling and Generating Safe Interface Interactions in Web Applications. ICWE 2010: 482-485. [paper]
    4. Jordi Cabot, Jose-Norberto Mazón, Jes'us Pardillo, Juan Trujillo> Extending OCL for Modeling Statistical Functions in UML Conceptual Schemas. CAiSE Forum 2009. To appear [abstract]
    5. Jordi Cabot, Steve Easterbrook, Jennifer Horkoff, Jose-Norberto Mazón, Lysanne Lessard and Sotirios Liaskos: Integrating Sustainability in Decision-Making Processes: A Modelling Strategy. New Ideas and Emerging Results - ICSE 2009. [abstract]
    6. Marsha Chechik, Winnie Lai, Shiva Nejati, Jordi Cabot, Zinovy Diskin, Steve Easterbrook, Mehrdad Sabetzadeh and Rick Salay: Relationship-Based Change Propagation: A Case Study. Workshop on Modeling in Software Engineering - MiSE 2009 (ICSE 2009). [abstract]
    7. Hesam Chiniforooshan, Jordi Cabot, and Eric Yu. Introducing Agile Methods: Can Goal-Oriented Process Modelling help?. Consortium for Software Engineering Research (Canada national meeting in SE). Poster presentation.
    8. Jordi Cabot, Eric Yu: Improving Requirements Specifications in Model-Driven Development Processes. 1st Int. Workshop on Challenges in Model-Driven Software Engineering (MoDELS'08). [abstract, paper]
    9. Jordi Cabot,Nicola Zannone: Towards an Integrated Framework for Model-driven Security Engineering. Modeling Security Workshop (MoDELS'08). CEUR Workshop Proceedings: http://ceur-ws.org/Vol-413. [abstract, paper]
    10. Jordi Cabot, Robert Clarisó: UML/OCL Verification in practice. 1st Int. Workshop on Challenges in Model-Driven Software Engineering (MoDELS'08). [abstract, paper tool ]
    11. Jordi Cabot, Robert Clarisó, Daniel Riera: Verification of UML/OCL Class Diagrams Using Constraint Programming. MoDeVVA 2008 (Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE). [abstract, paper tool ]
    12. Jordi Cabot, Robert Clarisó, Daniel Riera: UMLtoCSP: a Tool for the Formal Verification of UML/OCL Models using Constraint Programming. Demonstration at the 22th Int. Conf. on Automated Software Engineering (ASE'07). The tool
    13. Jordi Cabot, Francisco Durán, Nathalie Moreno, Raúl Romero, Antonio Vallecillo: Shifting the Focus from Programming to Modeling in a Distributed Software Engineering Course. Educators Symposium at MODELS'07.
    14. Jordi Cabot, Ernest Teniente: A Tool for the Efficient Evaluation of OCL Constraints. Poster and Demo session at MODELS'06. [abstract, paper]. The tool
    15. Jordi Cabot, Ernest Teniente: A metric for measuring the complexity of OCL expressions. Model Size Metrics Workshop (workshop co-located with the MODELS'06 Conference) [abstract, paper]
    16. Jordi Cabot: Ambiguity issues in OCL postconditions. OCL for (Meta-) Models in Multiple Application Domain (workshop co-located with the MODELS'06 Conference) [abstract, paper]
    17. Jordi Cabot, Jordi Conesa: Automatic Integrity Constraint Evolution due to Model Subtract Operations. ER (Workshops) 2004, LNCS 3289, pp. 350-362 [abstract, paper © Springer-Verlag]
    18. Jordi Cabot, Cristina Gómez: A simple yet useful approach to implementing UML Profiles in CASE tools. 2nd UML Workshop in Software Model Engineering, 2003 [abstract, paper]

  • National Conferences and Journals
    1. Santi Caballé, Jordi Cabot, Robert Clarisó, Elena Planas, Daniel Riera: CUCKOO: Una plataforma web para la verificación de modelos. JENUI 2009, to appear.
    2. Jordi Cabot, Cristina Gómez, Elena Planas, M.Elena Rodríguez: Reverse Engineering of OO constructs in Object-Relational Database Schemas. JISBD 2008. [ paper]
    3. Jordi Cabot, Cristina Gómez: Generating Operation Contracts from UML Class Diagrams: A Template-based Approach. IV Taller sobre Desarrollo de Software Dirigido por Modelos, MDA y Aplicaciones (DSDM'07) [abstract,paper]
    4. Marco Brambilla, Jordi Cabot, Sara Comai: Automatic Generation of Worfklow-extended Conceptual Schemas. SEBD 2007 (15th Italian Symposium on Advanced Database Systems), to appear [abstract]
    5. Isabel Guitart, M. Elena Rodríguez, Jordi Cabot, Montse Serra: Elección del modelo de evaluación: caso práctico para asignaturas de ingeniería del software. JENUI 2006, pp. 191-198 [abstract, paper]
    6. Jordi Cabot, Ernest Teniente: Generación Automática de Restricciones de Integridad: Estado del Arte. II Taller sobre Desarrollo de Software Dirigido por Modelos, MDA y Aplicaciones (DSDM'05). CEUR Workshop Proceedings, ISSN 1613-0073, online http://CEUR-WS.org/Vol-157/ [abstract, paper]
    7. Jordi Cabot: La relación de materialización en UML. JISBD 2003, pp. 177-186. (JISBD is the Spanish Conference in Software Engineering and Databases) [abstract, paper]
    8. Ruth Raventós, Jordi Cabot: A Conceptual Modelling Pattern for Roles. JISBD 2003, pp. 421-430 [abstract, paper]
    9. Jordi Cabot, Rodolfo García, Zipora Almaleh, Paloma Cáceres, Esperanza Marcos, Mª José Vázquez: UML en el diseño de bases de datos relacionales. Novática, 150, pp. 62-66, 2001 [abstract]