Main publications sorted by year |
| 2009 |
| 121 |
EE |
Jordi Cabot, Ernest Teniente: Incremental integrity checking of UML/OCL conceptual schemas. Journal of Systems and Software 82(9): 1459-1478 (2009) |
| 120 |
EE |
Jordi Cabot, Raquel Pau, Ruth Raventós: From UML/OCL to SBVR Specifications.Information Systems Elsevier Journal (available online 29 January 2009) |
| 119 |
EE |
Jordi Cabot, Jose-Norberto Mazón, Jesús Pardillo, Juan Trujillo: Extending OCL for Modeling Statistical Functions in UML Conceptual Schemas. CAiSE Forum 2009 |
| 118 |
EE |
Jordi Cabot, Robert Clarisó, Daniel Riera: Verifying UML/OCL Operation Contracts. IFM 2009: 40-55 |
| 117 |
EE |
Elena Planas: A Framework For Verifying UML Behavioral Models.CAiSE 2009 Doctoral Consortium |
| 116 |
EE |
Elena Planas, Jordi Cabot, Cristina Gómez: Verifying Action Semantics Specifications in UML Behavioral Models. CAiSE 2009: 125-140 |
| 115 |
|
Anna Queralt, Ernest Teniente: Decidable Reasoning in UML Schemas with Constraints. JISBD 2009: 354-254 |
| 114 |
EE |
Anna Queralt, Ernest Teniente: Reasoning on UML Conceptual Schemas with Operations. CAiSE 2009: 47-62 |
| 113 |
EE |
Albert Tort, Antoni Olivé: First Steps Towards Conceptual Schema Testing. CAiSE Forum 2009 |
| 112 |
EE |
Antonio Villegas, Antoni Olivé: On Computing the Importance of Entity Types in Large Conceptual Schemas. ER Workshops 2009: 22-32 |
| 111 |
|
L. Bibiano, Joan Antoni Pastor, Enric Mayol: Locating Semantic Integration Issues in an Enterprise Information Systems Integration Method. IADIS 2009. 253-260. |
| 110 |
|
R.W. Silveira, Joan Antoni Pastor, Enric Mayol:Organizational Issues in CRM System Implementation Projects. IADIS 2009. 41-48. |
| 109 |
|
L. Bibiano, Joan Antoni Pastor, Enric Mayol: Modelling CRM Implementation Services with SysML. PNIS'09-JISBD'09. Vo. 3, Núm.3, 12-21. |
| 108 |
|
A.. Caldelas, Joan Antoni Pastor, Enric Mayol: Formalización de Servicios de Implantación de Sistemas SCM mediante el Estándar SEMDM. PNIS'09-JISBD'09. Vo. 3, Núm.3, 12-21. |
| 107 |
EE |
Marco Brambilla, Jordi Cabot, Michael Grossniklaus: Modelling Safe Interface Interactions in Web Applications. ER 2009: 387-400 |
| 106 |
|
Raquel Pau, Jordi Cabot, Ruth Raventós: UMLtoSBVR: Una herramienta para la validación de modelos UML mediante SBVR. JISBD 2009: 359-362 |
| 105 |
|
Raquel Pau, Jordi Cabot, Ruth Raventós: An SBVR-based tool to validate UML conceptual schemas. ER Posters and Demos 2009 |
| 104 |
EE |
M. Elena Rodríguez, Jordi Conesa, Miguel Ángel Sicilia: Clarifying the Semantics of Relationships between Learning Objects. MTSR 2009: 35-47 |
| 2008 |
| 103 |
EE |
Dolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, Ernest Teniente: Improving the definition of general constraints in UML. Software and System Modeling 7(4): 469-486 (2008) |
| 102 |
EE |
Dolors Costal, Cristina Gómez, Anna Queralt, Ernest Teniente: Drawing Preconditions of Operation Contracts from Conceptual Schemas. CAiSE 2008: 266-280 |
| 101 |
EE |
Anna Queralt, Ernest Teniente: Decidable Reasoning in UML Schemas with Constraints. CAiSE 2008: 281-295 |
| 100 |
EE |
Anna Queralt, Ernest Teniente: Validation of UML Conceptual Schemas with Operations. CAiSE Forum 2008: 101-104 |
| 99 |
EE |
Anna Queralt, Ernest Teniente: A platform independent model for the electronic marketplace domain. Software and System Modeling 7(2): 219-235 (2008) |
| 98 |
EE |
Ruth Raventós, Antoni Olivé: An object-oriented operation-based approach to translation between MOF metaschemas. Data Knowl. Eng. 67(3): 444-462 (2008) |
| 97 |
EE |
Jordi Cabot, Cristina Gómez, Elena Planas, M.Elena Rodríguez: Reverse Egineering of OO constructs in Object-Relational Database Schemas. XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD): 241-252 (2008) |
| 96 |
EE |
Jordi Conesa, Veda C. Storey, Vijayan Sugumaran: Improving web-query processing through semantic knowledge. Data Knowl. Eng. 66(1): 18-34 (2008) |
| 95 |
EE |
Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: Analysing Graph Transformation Rules through OCL. ICMT 2008: 229-244 |
| 94 |
EE |
Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations. MoDELS 2008: 37-52 |
| 93 |
EE |
Jordi Cabot, Cristina Gómez: A Catalogue of Refactorings for Navigation Models. ICWE 2008: 75-85 |
| 92 |
EE |
Raquel Pau, Jordi Cabot: Paraphrasing OCL Expressions with SBVR. NLDB 2008: 311-316 |
| 2007 |
| 91 |
|
Antoni Olive: Conceptual Modeling of Information Systems. Publ. Springer. ISBN: 3540393897. 455 pages. October 2007. |
| 90 |
EE |
Carles Farré , Werner Nutt , Ernest Teniente, Toni Urpí : Containment of Conjunctive Queries over Databases with Null Values. ICDT 2007 : 389-403 |
| 89 |
EE |
Jordi Conesa, Veda C. Storey , Vijayan Sugumaran : Experiences Using the ResearchCyc Upper Level Ontology. NLDB 2007 : 143-155 |
| 88 |
EE |
Jong Woo Kim , Jordi Conesa Caralt, Julia K. Hilliard : Pruning Bio-Ontologies. HICSS 2007 : 196 |
| 87 |
EE |
Jordi Conesa Caralt, Jong Woo Kim : Ontology Driven Requirements Query. HICSS 2007 : 197 |
| 86 |
EE |
Jordi Cabot: From Declarative to Imperative UML/OCL Operation Specifications. ER 2007: 198-213 |
| 85 |
EE |
Marco Brambilla, Jordi Cabot, Nathalie Moreno: Tool Support for Model Checking of Web Application Designs. ICWE 2007: 533-538 |
| 84 |
EE |
Jordi Cabot, Jordi Ceballos, Cristina Gómez: On the Quality of Navigation Models with Content-Modification Operations. ICWE 2007: 59-73 |
| 83 |
EE |
Jordi Cabot, Cristina Gómez: Deriving Operation Contracts from UML Class Diagrams. MoDELS 2007: 196-210 |
| 82 |
EE |
Marco Brambilla, Jordi Cabot, Sara Comai: Automatic Generation of Workflow-Extended Domain Models. MoDELS 2007: 375-389 |
| 81 |
|
Marco Brambilla, Jordi Cabot, Sara Comai: Generating Extended Conceptual Schemas from Business Process Models. SEBD 2007: 282-289 |
| 80 |
EE |
Jordi Cabot, Ernest Teniente: Transformation techniques for OCL constraints. Sci. Comput. Program. 68(3): 179-195 (2007) |
| 2006 |
| 79 |
EE |
Dolors Costal, Cristina Gómez : On the Use of Association Redefinition in UML Class Diagrams. ER 2006 : 513-527 |
| 78 |
|
Pilar Nieto , Antonio Santiago , Dolors Costal, Cristina Gómez : Especificación declarativa del reforzamiento de restricciones de asociaciones en esquemas conceptuales. JISBD 2006 : 151-160 |
| 77 |
EE |
Marco Brambilla , Jordi Cabot: Constraint tuning and management for web applications. ICWE 2006 : 345-352 |
| 76 |
EE |
Jordi Cabot , Ernest Teniente : Incremental Evaluation of OCL Constraints. CAiSE 2006:81-95 |
| 75 |
EE |
Dolors Costal , Cristina Gómez , Ernest Teniente : Declarative Specification of Taxonomic Constraint Enforcement in Conceptual Schemas. CAiSE Forum 2006 |
| 74 |
EE |
Jordi Cabot , Ernest Teniente : Constraint Support in MDA Tools: A Survey. ECMDA-FA 2006:256-267 |
| 73 |
EE |
Anna Queralt , Ernest Teniente : Reasoning on UML Class Diagrams with OCL Constraints. ER 2006:497-512 |
| 72 |
EE |
Anna Queralt , Ernest Teniente : Specifying the Semantics of Operation Contracts in Conceptual Modeling. NO_JOURNAL (JODS):33-56 (2006) |
| 71 |
EE |
Dolors Costal , Cristina Gómez , Anna Queralt , Ruth Raventós , Ernest Teniente : Facilitating the Definition of General Constraints in UML. MoDELS 2006:260-274 |
| 70 |
EE |
Jordi Cabot , Ernest Teniente : Transforming OCL constraints: a context change approach. SAC 2006:1196-1201 |
| 69 |
|
David W. Embley,Antoni Olivé,Sudha Ram: Conceptual Modeling - ER 2006, 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings Springer 2006 |
| 68 |
EE |
Antoni Olivé,Ruth Raventós: Modeling events as entities in object-oriented conceptual modeling languages. Data Knowl. Eng. 58(3): 243-262 (2006) |
| 67 |
EE |
Antoni Olivé:A method for the definition of integrity constraints in object-oriented conceptual modeling languages. Data Knowl. Eng. 59(3): 559-575 (2006) |
| 66 |
EE |
Jordi Conesa, Veda C. Storey , Vijayan Sugumaran : Using Semantic Knowledge to Improve Web Query Processing. NLDB 2006 : 106-117 |
| 65 |
EE |
Jordi Conesa, Antoni Olivé: A Method for Pruning Ontologies in the Development of Conceptual Schemas of Information Systems. J. Data Semantics V 2006: 64-90 |
| 64 |
EE |
Jordi Cabot, Ruth Raventós: Conceptual Modelling Patterns for Roles. J. Data Semantics V 2006: 158-184 |
| 2005 |
| 63 |
|
Jaelson Castro, Ernest Teniente: Advanced Information Systems Engineering, 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings of the CAiSE'05 Workshops, Vol. 2 FEUP Ediçoes, Porto 2005 |
| 62 |
EE |
Jordi Cabot, Ernest Teniente: Computing the Relevant Instances That May Violate an OCL Constraint. CAiSE 2005: 48-62 |
| 61 |
EE |
Anna Queralt, Ernest Teniente: On the Semantics of Operation Contracts in Conceptual Modeling. CAiSE Short Paper Proceedings 2005 |
| 60 |
EE |
Carles Farré, Ernest Teniente, Toni Urpí: Checking query containment with the CQC method. Data Knowl. Eng. 53(2): 163-223 (2005) |
| 59 |
EE |
Alberto Abelló, Xavier de Palol, Mohand-Said Hacid: On the Midpoint of a Set of XML Documents. DEXA 2005: 441-450 |
| 58 |
EE |
Antoni Olivé: Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research. CAiSE 2005: 1-15 |
| 2004 |
| 57 |
EE |
Antoni Olivé: On the Role of Conceptual Schemas in Information Systems Development. Ada-Europe 2004: 16-34 |
| 56 |
EE |
Jordi Conesa, Antoni Olivé: A General Method for Pruning OWL Ontologies. CoopIS/DOA/ODBASE (2) 2004: 981-998 |
| 55 |
EE |
Jordi Conesa, Antoni Olivé: Pruning Ontologies in the Development of Conceptual Schemas of Information Systems. ER 2004: 122-135 |
| 54 |
EE |
Antoni Olivé: Definition of Events and Their Effects in Object-Oriented Conceptual Modeling Languages. ER 2004: 136-149 |
| 53 |
EE |
Jordi Cabot, Jordi Conesa: Automatic Integrity Constraint Evolution due to Model Subtract Operations. ER (Workshops) 2004: 350-362 |
| 52 |
EE |
Jordi Cabot, Ruth Raventós: Roles as Entity Types: A Conceptual Modelling Pattern. ER 2004: 69-82 |
| 51 |
EE |
Jordi Cabot, Ernest Teniente: Determining the Structural Events That May Violate an Integrity Constraint. UML 2004: 320-334 |
| 50 |
EE |
Antoni Olivé: On the Role of Conceptual Schemas in Information Systems Development. Ada-Europe 2004: 16-34 |
| 2003 |
| 49 |
EE |
Jordi Cabot, Antoni Olivé, Ernest Teniente: Entity Types Derived by Symbol-Generating Rules. ER 2003: 376-389 |
| 48 |
|
Jordi Cabot: La relación de materialización en UML. JISBD 2003: 177-186 |
| 47 |
|
Ruth Raventós, Jordi Cabot: A Conceptual Modelling Pattern for Roles. JISBD 2003: 421-430 |
| 46 |
EE |
Jordi Cabot, Antoni Olivé, Ernest Teniente: Representing Temporal Information in UML. UML 2003: 44-59 |
| 45 |
EE |
Jordi Conesa, Xavier de Palol, Antoni Olivé: Building Conceptual Schemas by Refining General Ontologies. DEXA 2003: 693-702 |
| 44 |
EE |
Cristina Gómez, Antoni Olivé: Evolving Derived Entity Types in Conceptual Schemas in the UML. OOIS 2003: 33-45 |
| 43 |
|
Marcela Genero, Fabio Grandi, Willem-Jan van den Heuvel, John Krogstie, Kalle Lyytinen, Heinrich C. Mayr, Jim Nelson, Antoni Olivé, Mario Piattini, Geert Poels, John F. Roddick, Keng Siau, Masatoshi Yoshikawa, Eric S. K. Yu: Advanced Conceptual Modeling Techniques, ER 2002 Workshops: ECDM, MobIMod, IWCMQ, and eCOMO, Tampere, Finland, October 7-11, 2002, Revised Papers Springer 2003 |
| 42 |
EE |
Antoni Olivé: Derivation Rules in Object-Oriented Conceptual Modeling Languages. CAiSE 2003: 404-420 |
| 41 |
EE |
Antoni Olivé: Integrity Constraints Definition in Object-Oriented Conceptual Modeling Languages. ER 2003: 349-362 |
| 40 |
EE |
Jordi Cabot, Antoni Olivé, Ernest Teniente: Entity Types Derived by Symbol-Generating Rules. ER 2003: 376-389 |
| 2002 |
| 39 |
EE |
Cristina Gómez, Antoni Olivé: Evolving Partitions in Conceptual Schemas in the UML. CAiSE 2002: 467-483 |
| 38 |
EE |
Antoni Olivé: Representation of Generic Relationship Types in Conceptual Modeling. CAiSE 2002: 675-691 |
| 37 |
EE |
Dolors Costal, Maria-Ribera Sancho, Ernest Teniente: Understanding Redundancy in UML Models for Object-Oriented Analysis. CAiSE 2002: 659-674 |
| 36 |
|
Antoni Olivé: Specific Relationship Types in Conceptual Modeling: The Cases of Generic and with Common Participants. ICEIS 2002: 9 |
| 35 |
EE |
Antoni Olivé, Ernest Teniente: Derived types and taxonomic constraints in conceptual modeling. Inf. Syst. 27(6): 391-409 (2002) |
| 2001 |
| 34 |
EE |
Antoni Olivé: Taxonomies and Derivation Rules in Conceptual Modeling. CAiSE 2001: 417-432 |
| 33 |
EE |
Dolors Costal, Antoni Olivé, Ernest Teniente: Relationship Type Refinement in Conceptual Models with Multiple Classification. ER 2001: 397-411 |
| 2000 |
| 32 |
EE |
Juan-Ramón López, Antoni Olivé: A Framework for the Evolution of Temporal Conceptual Schemas of Information Systems. CAiSE 2000: 369-386 |
| 1999 |
| 31 |
EE |
Antoni Olivé: Relationship Reification: A Temporal View. CAiSE 1999: 396-410 |
| 30 |
EE |
Antoni Olivé, Dolors Costal, Maria-Ribera Sancho: Entity Evolution in ISA Hierarchies. ER 1999: 62-80 |
| Abans del 1999 |
| 29 |
|
Antoni Olivé, Maria-Ribera Sancho: Porting ROSES to UML - An Experience Report. UML 1998: 64-77 |
| 28 |
EE |
Antoni Olivé, Maria-Ribera Sancho: Special Issue on Advanced Information Systems Engineering. Inf. Syst. 23(3-4): 157-158 (1998) |
| 27 |
|
Antoni Olivé, Joan Antoni Pastor: Advanced Information Systems Engineering, 9th International Conference CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings Springer 1997 |
| 26 |
EE |
Dolors Costal, Maria-Ribera Sancho, Antoni Olivé, Miguel Barceló, Pablo Costa, Carme Quer, Anna Roselló: The Cause-Effect Rules of ROSES. ADBIS 1997: 399-405 |
| 25 |
|
Dolors Costal, Maria-Ribera Sancho, Antoni Olivé, Anna Roselló: The Role of Structural Events in Behaviour Specification. DEXA 1997: 673-686 |
| 24 |
EE |
Dolors Costal, Antoni Olivé, Maria-Ribera Sancho: Temporal Features of Class Populations and Attributes in Conceptual Models. ER 1997: 57-70 |
| 23 |
|
Dolors Costal, Antoni Olivé: Planning Based on View Updating in Deductive Databases. ISMIS 1997: 348-359 |
| 22 |
|
Dolors Costal, Ernest Teniente, Toni Urpí, Carles Farré: Handling Conceptual Model Validation by Planning. CAiSE 1996: 255-271 |
| 21 |
|
Pablo Costa, Miguel Barceló, Dolors Costal, Antoni Olivé, Carme Quer, Anna Roselló, Maria-Ribera Sancho: Las Clases de Objetos en ROSES. JIDBD 1996: 98-108 |
| 20 |
EE |
Antoni Olivé, Maria-Ribera Sancho: Validating Conceptual Specifications Through Model Execution. Inf. Syst. 21(2): 167-186 (1996) |
| 19 |
|
Antoni Olivé, Maria-Ribera Sancho: A Method for Explaining the Behaviour of Conceptual Models CAiSE 1995: 12-25 |
| 18 |
|
Joan Antoni Pastor, Antoni Olivé: Supporting Transaction Design in Conceptual Modelling of Information Systems CAiSE 1995: 40-53 |
| 16 |
|
Maria-Ribera Sancho, Antoni Olivé: Deriving Transaction Specifications from Deductive Conceptual Models of Information Systems CAiSE 1994: 311-324 |
| 15 |
|
Toni Urpí, Antoni Olivé: Semantic Change Computation Optimization in Active Databases. RIDE-ADS 1994: 19-27 |
| 14 |
|
Carme Quer, Antoni Olivé: Deteriming Object Interaction in Object-Oriented Deductive Conceptual Models. Inf. Syst. 19(3): 211-227 (1994) |
| 13 |
|
Carme Quer, Antoni Olivé: Object Interaction in Object-Oriented Deductive Conceptual Models CAiSE 1993: 374-396 |
| 12 |
|
Dolors Costal, Antoni Olivé: A Method for Reasoning About Deductive Conceptual Models of Information Systems. CAiSE 1992: 612-631 |
| 10 |
EE |
Toni Urpí, Antoni Olivé: A Method for Change Computation in Deductive Databases. VLDB 1992: 225-237 |
| 9 |
|
Toni Urpí, Antoni Olivé: Evants and Events rules in Active Databases. IEEE Data Eng. Bull. 15(1-4): 56-59 (1992) |
| 8 |
EE |
Antoni Olivé: Integrity Constraints Checking In Deductive Databases. VLDB 1991: 513-523 |
| 7 |
|
Antoni Olivé, Joan Antoni Pastor: Integrity Constraints Checking in Deductive Databases with the Internal Events Method. FMLDO 1990: 139-168 |
| 6 |
EE |
Antoni Olivé: On the design and implementation of information systems from deductive conceptual models. VLDB 1989: 3-11 |
| 5 |
|
Antoni Olivé: A formal approach to timing analysis and design of information systems. Inf. Syst. 12(1): 1-10 (1987) |
| 4 |
|
Antoni Olivé: A Comparison of the Operational and Deductive Approaches to Conceptual Information Systems Modelling. IFIP Congress 1986: 91-96 |
| 3 |
|
Antoni Olivé: Information Derivability Analysis In Logical Information Systems. Commun. ACM 26(11): 933-938 (1983) |
| 2 |
|
Antoni Olivé: Input output timing in information systems. Inf. Syst. 8(4): 263-272 (1983) |
| 1 |
|
Antoni Olivé, Felix Saltor: Formal verification of information derivability in databases using precedence analyses. Inf. Syst. 7(3): 209-215 (1982) |
