Català | English

 
GMC Group Publications Case Studies Links GMCTool
 
   

Publications

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)