C ONFERENCE V ENUE M AP

C

V

M

ER 2009 Gramado, November 9-12^th

W

ER 2009

Welcome to ER 2009, the 28^th International Conference on Conceptual Modeling! We are very pleased to present you with an exciting technical program in celebration of the 30^th anniversary of the ER conference. Since its first edition held in Los Angeles in 1979, the ER conference has become the ultimate forum for presenting and discussing current research and applications related to all aspects of conceptual modeling.

The ER 2009 technical program features several activities held in parallel. The core activity is the presentation of research papers on the sessions of the main conference and on its eight workshops. Complementing the technical program are four keynotes, one panel, the PhD Colloquium, the demos and posters sessions, and five tutorials.

In addition to technical program, there will also be several social activities. These start on Monday with the Opening Ceremony followed by a reception cocktail. The Conference Dinner will be on Tuesday at a typical gaucho restaurant with folkloric music and dance. On Wednesday, we will be entertained by a Chamber Orchestra concert with international and Brazilian music followed by an optional dinner. The last day includes a City Tour and the wonderful evening opening ceremony of Natal Luz (Light Christmas) with a Christmas Concert and the arrival of Santa Claus in Gramado downtown.

Attending the ER 2009 Conference in Gramado is an opportunity to discover another friendly Brazilian scenery.

Thus, we hope you enjoy the conference and your stay in Gramado.

The ER 2009 Chairpersons.

C

C

General Chair

José Palazzo Moreira de Oliveira - Universidade Federal do Rio Grande do Sul, Brazil

Program Committee Chairs

Alberto Laender - Universidade Federal de Minas Gerais, Brazil Silvana Castano - Universita' degli Studi di Milano, Italy Umeshwar Dayal - HP Labs, USA

Steering Committee Liaison

Publicity Chair

Mirella M. Moro - Universidade Federal de Minas Gerais, Brazil

Workshop Chairs

Carlos Heuser - Universidade Federal do Rio Grande do Sul, Brazil Günther Pernul - U. Regensburg, Germany

Tutorial Chairs

Daniel Schwabe - PUC-Rio, Brazil Stephen W. Liddle - BYU, Provo, USA

Panel Chair

David W. Embley - BYU, USA

Industrial Chair

Fabio Casati - University of Trento, Italy

Demonstrations Program and Posters Chairs

Altigran S. da Silva (Co-Chair) - Universidade Federal do Amazonas, Brazil Juan-Carlos Trujillo Mondéjar (Co-Chair) - University of Alicante, Spain

PhD Colloquium

Stefano Spaccapietra (Chair) - Ecole Polytechnique Fédérale de Lausanne, Switzerland Giancarlo Guizzardi (Co-Chair) - Universidade Federal do Espírito Santo, Brazil

Financial Chair

Renata Galante - Universidade Federal do Rio Grande do Sul, Brazil

Proceedings Chair

Daniela Musa - Universidade Federal de São Paulo, Brazil

Local Organization

José Valdeni de Lima (Chair) - Universidade Federal do Rio Grande do Sul, Brazil Ana Paula Terra Bacelo - PUCRS, Brazil

Carina Friedrich Dorneles - Universidade de Passo Fundo, Brazil Lourdes Tassinari - Universidade Federal do Rio Grande do Sul, Brazil Luís Otávio Soares - Universidade Federal do Rio Grande do Sul, Brazil Mariano Nicolao - ULBRA, Brazil

Renata Galante - Universidade Federal do Rio Grande do Sul, Brazil Viviane Moreira - Universidade Federal do Rio Grande do Sul, Brazil

Webmaster

Leonardo Crauss Daronco - Universidade Federal do Rio Grande do Sul, Brazil

ER 2009 Gramado, November 9-12^th

P

C

Valeria De Antonellis - University of Brescia, Italy Marcelo Arenas - PUC Chile, Chile

Zohra Bellahsene - University of Montpellier II, France

Boualem Benatallah - University of New South Wales, Australia Sonia Bergamaschi - Università di Modena e Reggio Emilia, Italy Alex Borgida - Rutgers University, USA

Mokrane Bouzeghoub - Université de Versailles, France Marco A. Casanova - PUC-Rio, Brazil

Fabio Casati - University of Trento, Italy Malu Castellanos - HP Labs, USA

Tiziana Catarci - University of Roma "La Sapienza", Italy Sharma Chakravarthy - University of Texas-Arlington, USA Roger Chiang - University of Cincinnati, USA

Isabel Cruz - University of Illinois-Chicago, USA Philippe Cudre-Mauroux - MIT, USA

Alfredo Cuzzocrea - University of Calabria, Italy Johann Eder - Universität Vienna, Austria

Ramez Elmasri - University of Texas-Arlington, USA David W. Embley - Brigham Young University, USA Alfio Ferrara - University of Milano, Italy

Piero Fraternali - Politecnico di Milano, Italy Helena Galhardas - IST, Portugal

Paulo Goes - University of Arizona, USA

Jaap Gordijn - Vrije Universiteit Amsterdam, Netherlands

Giancarlo Guizzardi - Universidade Federal do Espírito Santo, Brazil - website Peter Haase - Universität Karlsruhe, Germany

Jean-Luc Hainaut - University of Namur, Belgium Terry Halpin - LogicBlox, USA

Sven Hartmann - Clausthal University of Technology, Germany Carlos A. Heuser - Universidade Federal do Rio Grande do Sul, Brazil Howard Ho - IBM Almaden Research Center, USA

Manfred Jeusfeld - Tilburg University, Netherlands

Paul Johannesson - Stockholm University & the Royal Institute of Technology, Sweden Gerti Kappel - Vienna University of Technology, Austria

Vipul Kashyap - CIGNA Healthcare, USA

Wolfgang Lehner - Technical University of Dresden, Germany Ee-Peng Lim - Singapore Management University, Singapore Tok-Wang Ling - National University of Singapore, Singapore Peri Loucopoulos - Loughborough University, UK

Heinrich C. Mayr - University of Klagenfurt, Austria Michele Missikoff - IASI-CNR, Italy

Takao Miura - Hosei University, Japan

Mirella M. Moro - Universidade Federal de Minas Gerais, Brazil John Mylopoulos - University of Trento, Italy

Sham Navathe - Georgia Tech, USA

Moira Norrie - ETH Zurich, Switzerland

Antoni Olivé - Universitat Politècnica de Catalunya, Spain Sylvia Osborn - University of Western Ontario, Canada Christine Parent - Université de Lausanne, Switzerland

Jeffrey Parsons - Memorial University of Newfoundland, Canada Oscar Pastor - Technical University of Valencia, Spain

Zhiyong Peng - Wuhan University, China Barbara Pernici - Politecnico di Milano, Italy

Alain Pirotte - Université Catholique de Louvain, Belgium Dimitris Plexousakis - University of Crete, Greece Rachel Pottinger - University of British Columbia, Canada Sudha Ram - University of Arizona, USA

Colette Rolland - University Paris 1 Panthéon-Sorbonne, France Gustavo Rossi - Universidad de La Plata, Argentina

Motoshi Saeki - Tokyo Institute of Technology, Japan

Klaus-Dieter Schewe - Information Science Research Centre, New Zealand Amit Sheth - Wright State University, USA

Peretz Shoval - Ben-Gurion University, Israel Mário Silva - University of Lisbon, Portugal

Altigran S. da Silva - Universidade Federal do Amazonas, Brazil Il-Yeol Song - Drexel University, USA

Stefano Spaccapietra - Ecole Polytechnique Fédérale de Lausanne, Switzerland Veda Storey - Georgia State University, USA

Rudi Studer - Universität Karlsruhe, Germany

Ernest Teniente - Universitat Politècnica de Catalunya, Spain Bernhard Thalheim - University of Kiel, Germany

Riccardo Torlone - Università Roma Tre, Italy Juan Trujillo - University of Alicante, Spain

Vassilis Tsotras - University of California-Riverside, USA Aparna Varde - Montclair State University, USA Vânia Vidal - Universidade Federal do Ceará, Brazil

Kyu-Young Whang - Korea Advanced Institute of Science and Technology, Korea Kevin Wilkinson - HP Labs, USA

Carson Woo - University of British Columbia, Canada Yanchun Zhang - Victoria University, Austrália

ER 2009 Gramado, November 9-12^th

M

C

P

Monday, November 9

12:00 – 12:30 Distinguished Speaker: “A personal view of the joys and responsibilities of a career in science”

Keynote Speaker: Paul Nielsen Chair: Peter P. Chen

Rooms: Rubi, Safira, and Esmeralda 19:00 – 20:00 Opening Ceremony

Room: Rubi, Safira, and Esmeralda 20:00 Welcome Cocktail

Tuesday, November 10

08:30 – 10:00 Keynote Talk: “A Frame Manipulation Algebra for ER Logical Stage Modelling”

Keynote Speaker: Antonio L. Furtado

Chair: Alberto Laender (Universidade Federal de Minas Gerais, Brazil) Rooms: Rubi, Safira, and Esmeralda

10:00 – 10:30 Coffee break

10:30 – 12:00 Parallel Technical Sessions ERT1 and ERT2 ERT1: Conceptual Modeling

Chair: Jeffrey Parsons (Memorial University of Newfoundland, Canada) Room: Rubi

• A Generic Set Theory-based Pattern Matching Approach for the Analysis of Conceptual Models

Jörg Becker, Patrick Delfmann, Sebastian Herwig and Lukasz Lis (University of Münster, Germany)

• An Empirical Study of Enterprise Conceptual Modeling

Ateret Anaby Tavor, David Amid, Amit Fisher, Harold Ossher, Rachel Bellamy, Matthew Callery, Michael Desmond, Sophia Krasikov, Tova Roth, Ian Simmonds and Jacqueline de Vries (IBM Haifa Research Center, Israel and IBM T.J. Watson Research Center, USA)

• Formalizing Linguistic Conventions for Conceptual Models

Jörg Becker, Patrick Delfmann, Sebastian Herwig, Lukasz Lis and Armin Stein (University of Münster, Germany)

ERT2: Requirements Engineering

Chair: Sudha Ram (University of Arizona, USA) Room: Safira

• Monitoring and Diagnosing Malicious Attacks with Autonomic Software Vítor Estêvão Silva Souza and John Mylopoulos (University of Trento, Italy)

• A Modeling Ontology for Integrating Vulnerabilities into Security Requirements Conceptual Foundations

Golnaz Elahi, Eric Yu and Nicola Zannone (University of Toronto, Canada and Eindhoven University of Technology, Netherlands)

• Modeling Domain Variability in Requirements Engineering with Contexts Alexei Lapouchnian and John Mylopoulos (University of Toronto, Canada)

12:00 – 13:30 Lunch

13:30 – 15:00 Panel: “The ER Conference: Its Status and Its Future”

Panelists:

• Oscar Pastor (Technical University of Valencia, Spain) - moderator

• Peter P. Chen (Lousiana State University, USA)

• Il-Yeol Song (Drexel University, USA)

• Bernhard Thalheim (University of Kiel, Germany)

• Arne Sølvberg (NTNU, Norway) Rooms: Rubi, Safira, and Esmeralda 15:00 – 15:30 Coffee break

15:30 – 17:00 Parallel Technical Sessions ERT3 and ERT4 ERT3: Foundational Aspects

Chair: Sven Hartman (Clausthal University of Technology, Germany) Room: Rubi

• Information Networking Model

Mengchi Liu and Jie Hu (Carleton University, Canada)

• Towards an Ontological Modeling with Dependent Types: Application to part-whole Relations

Richard Dapoigny and Patrick Barlatier (Université de Savoie, France)

• Inducing Metaassociations and Induced Relationships

Xavier Burgués, Xavier Franch and Josep Maria Ribó (Universitat Politècnica de Catalunya and Universitat de Lleida, Spain)

ERT4: Query Approaches

Chair: Carlos A. Heuser (Universidade Federal do Rio Grande do Sul, Brazil) Room: Safira

• Tractable Query Answering over Conceptual Schemata

Andrea Cali, Georg Gottlob and Andreas Pieris (University of Oxford, UK)

• Query-By-Keywords (QBK): Query Formulation Using Semantics and Feedback

Aditya Telang, Sharma Chakravarthy and Chengkai Li (Univ. of Texas at Arlington)

• Cluster-based exploration for Effective Keyword Search over Semantic Datasets

Roberto De Virgilio, Paolo Cappellari and Michele Miscione (Università Roma Tre, Italy and University of Alberta, Canada)

20:00 Conference Dinner

ER 2009 Gramado, November 9-12^th

Wednesday, November 11

08:30 – 10:00 Keynote Talk: “Conceptual Modeling in the Time of the Revolution: Part II”

Keynote Speaker: John Mylopoulos

Chair: Silvana Castano (Universitá degli Studi di Milano, Italy) Rooms: Rubi, Safira, and Esmeralda

10:00 – 10:30 Coffee break

10:30 – 12:00 Parallel Technical Sessions ERT5 and ERT6 ERT5: Space and Time Modeling

Chair: Carson Woo (University of British Columbia, Canada) Room: Rubi

• Geometrically Enhanced Conceptual Modelling

Hui Ma, Klaus-Dieter Schewe and Bernhard Thalheim (Victoria University of Wellington and Information Science Research Centre, New Zealand and Christian Albrechts University Kiel, Germany)

• Anchor Modeling - An Agile Modeling Technique using the Sixth Normal Form for Structurally and Temporally Evolving Data

Olle Regardt, Lars Rönnbäck, Maria Bergholtz, Paul Johannesson, Petia Wohed (Affecto and DSV, SU/KTH, Sweden)

• Evaluating Exceptions on Time Slices

Romans Kasperovics, Michael H. Boehlen and Johann Gamper (Free University of Bolzano, Italy)

ERT6: Schema Matching and Integration Chair: Il-Yeol Song (Drexel University, USA) Room: Safira

• A Strategy to Revise the Constraints of the Mediated Schema Marco A. Casanova, Tanara Lauschner, Luiz A. P. Paes Leme, Karin K.

Breitman, Antonio L. Furtado, and Vânia M.P. Vidal (Pontifical Catholic University of Rio de Janeiro and Federal University of Ceará, Brazil)

• Schema Normalization for Improving Schema Matching

Serena Sorrentino, Sonia Bergamaschi, Maciej Gawinecki and Laura Po (University of Modena and Reggio-Emilia, Italy)

• Extensible User-based XML Grammar Matching

Joe Tekli, Richard Chbeir and Kokou Yetongnon (University of Bourgogne, France)

12:00 – 13:30 Lunch

13:30 – 15:00 Industrial Keynote Talk: “Data Auditor: Analyzing Data Quality using Pattern Tableaux”

Keynote Speaker: Divesh Srivastava

Chair: Fabio Casati (University of Trento, Italy) Rooms: Rubi, Safira, and Esmeralda

15:00 – 15:30 Coffee break

15:30 – 17:30 Parallel Technical Sessions ERT7 and ERT8 ERT7: Ontology-based Approaches

Chair: Heinrich C. Mayr (University of Klagenfurt, Austria) Room: Rubi

• Modelling Associations through Intensional Attributes

Andrea Presa, Yannis Velegrakis, Flavio Rizzolo and Siarhei Bykau (University of Trento, Italy)

• Modeling Concept Evolution: A Historical Perspective

Flavio Rizzolo, Yannis Velegrakis, John Mylopoulos and Siarhei Bykau (University of Trento, Italy)

• FOCIH: Form-based Ontology Creation and Information Harvesting Cui Tao, David W. Embley and Stephen W. Liddle (Brigham Young University, USA)

• Specifying Valid Compound Terms in Interrelated Faceted Taxonomies Anastasia Analyti, Yannis Tzitzikas and Nicolas Spyratos (Foundation for Research and Technology and University of Crete, Greece and Université de Paris Sud, France)

ERT8: Application Contexts

Chair: Marco A. Casanova (PUC-Rio, Brazil) Room: Safira

• Conceptual Modeling in Disaster Planning Using Agent Constructs Kafui Monu and Carson Woo (University of British Columbia, Canada)

• Modelling Safe Interface Interactions in Web Applications Marco Brambilla, Jordi Cabot and Michael Grossniklaus (Politecnico di Milano,Italy and University of Toronto, Canada)

• A Conceptual Modeling Approach for OLAP Personalization Irene Garrigós, Jesús Pardillo, Jose-Norberto Mazón and Juan Trujillo (University of Alicante, Spain)

• Creating User Profiles Using Wikipedia

Krishnan Ramanathan and Komal Kapoor (HP Labs, India) ) 19:00 – 19:45 Chamber Orcherstra

20:00 Café Colonial Steering Committee Meeting

ER 2009 Gramado, November 9-12^th

Thursday, November 12

08:30 – 10:00 Keynote Talk: “Schema AND Data: A Holistic Approach to Mapping, Resolution and Fusion in Information Integration”

Keynote Speaker: Laura Haas

Chair: Umeshwar Dayal (HP Labs, USA) Rooms: Rubi, Safira, and Esmeralda 10:00 – 10:30 Coffee break

10:30 – 12:00 Parallel Sessions ERT9 and ERI1 ERT9: Process and Service Modeling

Chair: Guiancarlo Guizzardi (Universidade Federal do Espírito Santo, Brazil) Room: Rubi

• Hosted Universal Composition: Models, Languages and Infrastructure in mashArt

Florian Daniel, Fabio Casati, Boualem Benatallah and Ming-Chien Shan (University of Trento, Italy, University of New South Wales, Australia, and SAP Labs, USA)

• From Static Methods to Role-Driven Service Invocation - A Metamodel for Active Content in Object Databases

Stefania Leone, Moira C. Norrie, Beat Signer and Alexandre de Spindler (ETH Zurich, Switzerland and Vrije Universiteit Brussel, Belgium)

• Business Process Modeling: Perceived Benefits

Marta Indulska, Peter Green, Jan Recker and Michael Rosemann (The University of Queensland and Queensland University of Technology, Australia)

ERI1: Industrial Session

Chair: Colette Rolland (Université Paris 1 Panthéon-Sorbonne, France) Room: Safira

• Designing Law-Compliant Software Requirements

Alberto Siena, John Mylopoulos, Anna Perini and Angelo Susi (FBK-Irst and University of Trento, Italy)

• A Knowledge-Based and Model-Driven Requirements Engineering Approach to Conceptual Satellite Design

Walter A. Dos Santos, Bruno B. F. Leonor and Stephan Stephany (National Space Research Institute, Brazil)

• Virtual Business Operating Environment in the Cloud: Conceptual Architecture and Challenges

Hamid R. Motahari Nezhad, Bryan Stephenson, Sharad Singhal and Malu Castellanos (HP Labs, USA)

W

P

ETheCoM: Evolving Theories of Conceptual Modelling

• Markus Kirchberg (Institute for Infocomm Research, A*STAR, Singapore)

• Klaus-Dieter Schewe (Information Science Research Centre, New Zealand) Date: Monday, November 9^th

Room: Rubi –

08:30 – 10:00 ETheCoM 2009 Session I: Semantics of Conceptual Models Session Chair: Sven Hartmann

• XML Machines

Qing Wang and Flavio A. Ferrarotti Responder: Hui Ma

• Towards a Theory of Conceptual Modelling (Invited Talk, 60 minutes) Bernhard Thalheim (Christian-Albrechts-University Kiel, Germany)

10:00 – 10:30 Coffee Break

10:30 – 12:00 ETheCoM 2009 Session II: Reasoning about Conceptual Models Session Chair: Flavio A. Ferrarotti

• Assessing Modal Aspects of OntoUML Conceptual Models in Alloy Alessander Botti Benevides, Giancarlo Guizzardi, Bernardo F. B. Braga, and Joao Paulo A. Almeida

Responder: Bernhard Thalheim

• Is It Important to Explain a Theorem? A Case Study on UML and ALCQI (Invited Talk, 60 minutes)

Edward Hermann Haeusler and Alexandre Rademaker (PUC-Rio, Brazil)

12:00 – 13:30 Lunch

13:30 - 15:00 ETheCoM 2009 Session III: Database Theory Session Chair: Hui Ma

• Toward Formal Semantics for Data and Schema Evolution in Data Stream Management Systems

Rafael J. Fernández-Moctezuma, James F. Terwilliger, Lois M. L. Delcambre, and David Maier

Responder: Alessander Botti Benevides / Giancarlo Guizzardi / Bernardo F. B.

Braga / Joao Paulo A. Almeida

• On Matrix Representations of Participation Constraints Sven Hartmann and Uwe Leck

Responder: Flavio A. Ferrarotti

• First-Order Types and Redundant Relations in Relational Databases Flavio A. Ferrarotti, Alejandra L. Paoletti, and José M. Turull Torres Responder: Hui Ma

ER 2009 Gramado, November 9-12^th

FP-UML: Workshop on Foundations and Practices of UML

• Juan Trujillo - University of Alicante, Spain.

• Dae-Kyoo Kim - Oakland University, USA.

Date: Monday, November 9^th Room: Esmeralda

Time: 08:30 – 12:00 Accepted Papers:

• Applying AUML and UML 2 in the Multi-agent Systems Project Gilleanes Thorwald Araujo Guedes and Rosa Maria Vicari

• A Collaborative Support Approach On UML Sequence Diagrams or Aspect-Oriented Software

Rafael de Almeida Naufal, Fábio F. Silveira, and Eduardo M. Guerra

• Applying a UML Extension to build Use Cases diagrams in a secure mobile Grid application

David G. Rosado, Eduardo Fernández-Medina, Javier López

• The MP (Materialization Pattern) model for representing math educational Standards Namyoun Choi, Il-Yeol Song, and Yuan Na

• XMI2USE A Tool for Transforming XMI to USE Specifications Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M. Simmonds

QoIS: Quality of Information Systems

• Isabelle Comyn-Wattiau - CEDRIC-CNAM, France.

• Bernhard Thalheim - Kiel University, Germany.

Date: Monday, November 9^th Room: Esmeralda

13:30 – 15:00 Session 1 - Tools for information system quality assessment Session Chair: Bernhard Thalheim

• Evaluating the Functionality of Conceptual Models Kashif Mehmood, Samira Si-Said Cherfi

• Qbox-Services: Towards a Service-Oriented Quality Platform Laura González, Verónika Peralta, Mokrane Bouzeghoub and Raúl Ruggia 15:30 – 17:00 Session 2 - Assessment of data quality factors

Session Chair: Veronika Peralta

• Completeness in Databases with Maybe-Tuples Fabian Panse and Norbert Ritter

• Modeling, Measuring and Monitoring the Quality of Information Hendrik Decker and Davide Martinenghi

SeCoGIS: Semantic and Conceptual Issues in Geographic Information Systems

• Claudia Bauzer Medeiros - University of Campinas, Brazil.

• Esteban Zimányi - Université Libre de Bruxelles, Belgium.

Date: Wednesday, November 11^th Room: Topázio

10:30 – 12:00 • Keynote Talk – Semantic Trajectories

Stefano Spaccapietra (Ecole Polytechnique Fédérale de Lausanne)

15:30 – 17:00

• A New Point Access Method Based on a Wavelet Trees Nieves R. Brisaboa, Miguel R. Luaces, Gonzalo Navarro, Diego Seco

• A Reference System for Topological Relations between Compound Spatial Objects

Max Egenhofer

• A Model for Geographic Knowledge Extraction on Web Documents Cláudio Elizio Calazans Campelo, Cláudio de Souza Baptista

17:00 - 18:30

• A Semantic Approach to describe geospatial resources Sidney Roberto de Sousa

• A Semantic Approach for the Modeling of Trajectories in Space and Time Donia Zheni, Ali Frihida, Henda Ben Ghezala, Christophe Claramunt

• An Ontology-Based Framework for Geographic Data Integration

Vânia M.P. Vidal, Eveline Sacramento, José A. F. de Mâcedo, Marco A. Casanova

MOST-ONISW: Joint International workshop on Metamodels, Ontologies, Semantic Technologies, and Information Systems for the Semantic Web

Workshop Chairs:

• Martin Doerr - Institute of Computer Science, Foundation for Research and Technology - Hellas (FORTH), Greece.

• Fred Freitas - Federal University of Pernambuco, Brazil.

• Giancarlo Guizzardi - Federal University of Espírito Santo, Brazil.

• Hyoil Han - LeMoyne-Owen College, USA.

Date: Tuesday, November 10^th Room: Esmeralda

Time: 15:30 – 18:30 Accepted papers:

• Analysis Procedure for Validation of Domain Class Diagrams Based on Ontological Analysis

Deisymar Botega Tavares, Alcione de Paiva Oliveira, José Luís Braga, and Jugurta Lisboa Filho

• Ontology for Imagistic Domains: Combining Textual and Pictorial Primitives Alexandre Lorenzatti, Mara Abel, Bruno Romeu Nunes, and Claiton M. S. Scherer

• Using a Foundational Ontology for Reengineering a Software Enterprise Ontology Monalessa Perini Barcellos, Ricardo de Almeida Falbo

• Multi-Level Conceptual Modeling and OWL Bernd Neumayr and Michael Schrefl

ER 2009 Gramado, November 9-12^th

RIGiM: Requirements, Intentions and Goals in Conceptual Modeling

• Colette Rolland - Université Paris 1 Panthéon - Sorbonne, France.

• Jaelson Castro - Universidade Federal de Pernambuco, Brazil.

• Camille Salinesi - Université Paris 1 Panthéon - Sorbonne, France.

• Eric Yu - University of Toronto, Canada.

Date: Monday, November 9^th Room: Safira

15:30 – 15:45 Welcome Address -Jaelson Castro (Universidade Federal de Pernambuco, Brazil) 15:45 – 16:45 Session 1 - Modelling

Session Chair: Colette Rolland

• A comparison of goal-oriented approaches to model software product lines variability

Clarissa Borba, Carla Silva

• A Lightweight GRL Profile for i* Modeling.

Daniel Amyot, Jennifer Horkoff, Daniel Gross, Gunter Mussbacher 16:45 – 18:15 Session 2 – Elicitation Issues

Session Chair: Camille Salinesi

• From User Goals to Service Discovery and Composition

Luiz Olavo Bonino da Silva Santos, Giancarlo Guizzardi, Luis Ferreira Pires, and Marten van Sindere

• ITGIM: An intention-driven approach for analyzing the IT governance requirement

Bruno Claudepierre and Selmin Nurcan

• Adapting the i* Framework for Software Product Lines Sandra António, João Araújo, Carla Silva

CoMoL: Conceptual Modeling in the Large

• Stefan Jablonski - University Bayreuth, Germany.

• Roland Kaschek - Kazakhstan Institute of Management, Economics and Strategic Research, Kazakhstan.

• Bernhard Thalheim - Christian-Albrechts-University Kiel, Germany.

Date: Monday, November 9^th Room: Rubi –

15:30 – 17:00 • Semantic Service Design for Collaborative Business Process in Internetworked Enterprises

Devis Bianchini, Cinzia Cappiello, Valeria De Antonellis and Barbara Pernici

• On Computing the Importance of Entity Types in Large Conceptual Schemas Antonio Villegas and Antoni Olivé

• Algebraic Meta-Structure Handling of Huge Database Schemata Hui Ma, René Noack and Klaus-Dieter Schewe

K

S

"A Frame Manipulation Algebra for ER Logical Stage Modelling"

• Keynote Speaker: Antonio L. Furtado – PUC-RJ ( Brazil)

• Date: Tuesday, November 10^th

• Time: 08:30 - 10:00

• Rooms: Rubi & Safira & Esmeralda

Abstract:

The ER model is arguably today's most widely accepted basis for the conceptual specification of information systems. A further common practice is to use the Relational Model at an intermediate logical stage, in order to adequately prepare for physical implementation.

Although the Relational Model still works well in contexts relying on standard databases, it imposes certain restrictions, not inherent in ER specifications, that make it less suitable in Web environments. The paper proposes frames as an alternative to extend the ER approach to logical stage modelling, and treats frames as an abstract data type equipped with a Frame Manipulation Algebra (FMA). It is argued that frames, with a long tradition in AI applications, are able to accommodate the irregularities of semi-structured data, and that frame-sets generalize relational tables, allowing to drop the strict homogeneity requirement. A prototype logic-programming tool has been developed to experiment with FMA. Examples are included to help describe the use of the operators.

Short Bio:

Antonio L. Furtado is Professor Emeritus at the Departamento de Informática at PUC-Rio. He obtained his Ph.D. in Computer Science from the University of Toronto in 1974. His areas of interest are Conceptual Modelling of Information Systems, Logic Programming, and Digital Storytelling. Together with Clesio S. dos Santos (UFRGS) and Erich J. Neuhold (Darmstadt University of Technology), he participated in the very first ER conference (1979) in Los Angeles.

Since then, he has been publishing his work in journals and technical events, including eight additional participations in ER conferences. In co-authorship with Erich J. Neuhold and with the collaboration of Marco A. Casanova and Paulo A. S. Veloso, he wrote the book Formal Techniques for Data Base Design, Berlin: Springer-Verlag, 1986. He also does research on Medieval Literature, having recently contributed the chapter "The Crusaders' Grail" to the book The Grail, the Quest and the World of Arthur, organized by Norris J. Lacy (Pennsylvania State University), Cambridge: D. S. Brewer, 2008.

With respect to Conceptual Modelling, he is investigating,a multi-disciplinary approach that encompasses static, dynamic and behavioural aspects of Information Systems. This approach borrows plan-generation and plan-recognition methods from Artificial Intelligence, as well as several notions from Literary Theory, Linguistics and Semiotics, such as narrative plots, rhetorical tropes and analogy. Besides its application to business domains, it has been used to characterize literary genres, as part of a Digital Storytelling project.

ER 2009 Gramado, November 9-12^th

"Conceptual Modeling in the Time of the Revolution: Part II"

• Keynote Speaker: John Mylopoulos - University of Trento (Italy)

• Date: Wednesday, November 11^th

• Time: 08:30 - 10:00

• Rooms: Rubi & Safira & Esmeralda

Abstract:

Conceptual Modeling was a marginal research topic at the very fringes of Computer Science in the 60s and 70s, when the discipline was dominated by topics focusing on programs, systems and hardware architectures. Over the years, however, the field has moved to centre stage and has come to claim a central role both in Computer Science research and practice in diverse areas, such as Software Engineering, Databases, Information Systems, the Semantic Web, Business Process Management, Service-Oriented Computing, Multi-Agent Systems, Knowledge Management, and more. The transformation was greatly aided by the adoption of standards in modeling languages (e.g., UML), and model- based methodologies (e.g., Model-Driven Architectures) by the Object Management Group (OMG) and other standards organizations. We briefly review the history of the field over the past 40 years, focusing on the evolution of key ideas. We then note some open challenges and report on-going research, covering topics such as the representation of variability in conceptual models, capturing model intentions, and models of laws.

Notes: A keynote with a similar title was given 12 years ago at CAiSE'97, hence the "part II". The research presented in the talk was conducted jointly with colleagues at the Universities of Toronto (Canada) and Trento (Italy).

Short bio:

John Mylopoulos earned a PhD degree from Princeton University in 1970 and has been professor of Computer Science at the University of Toronto since that year. His research interests include conceptual modeling, requirements engineering, data semantics and knowledge management. Mylopoulos is a fellow of the Association for the Advancement of Artificial Intelligence (AAAI, aka American Association for Artificial Intelligence) and the Royal Society of Canada (Academy of Sciences). He has served as programme/general chair of international conferences in Artificial Intelligence, Databases and Software Engineering, including IJCAI (1991), Requirements Engineering (1997), and VLDB (2004). He is currently serving as series co-editor of the Lecture Notes in Business Information Processing (LNBIP) series published by Springer-Verlag.

Since September 2005 Mylopoulos is distinguished professor (chiara fama) of Science at the University of Trento.

"Data Auditor: Analyzing Data Quality using Pattern Tableaux"

• Keynote Speaker: Divesh Srivastava- AT&T Labs-Research (USA)

• Date: Wednesday, November 11^th

• Time: 13:30 - 15:00

• Rooms: Rubi & Safira & Esmeralda

Abstract:

Monitoring databases maintain configuration and measurement tables about computer systems, such as networks and computing clusters, and serve important business functions, such as troubleshooting customer problems, analyzing equipment failures, planning system upgrades, etc. These databases are prone to many data quality issues: configuration tables may be incorrect due to data entry errors, while measurement tables may be affected by incorrect, missing, duplicate and delayed polls.

We describe Data Auditor, a tool for analyzing data quality and exploring data semantics of monitoring databases. Given a user-supplied constraint, such as a boolean predicate expected to be satisfied by every tuple, a functional dependency, or an inclusion dependency, Data Auditor computes "pattern tableaux", which are concise summaries of subsets of the data that satisfy or fail the constraint. We discuss the architecture of Data Auditor, including the supported types of constraints and the tableau generation mechanism. We also show the utility of our approach on an operational network monitoring database.

This is joint work with Lukasz Golab, Howard Karloff and Flip Korn.

Short bio:

Divesh Srivastava is the head of Database Research at AT&T Labs Research. He received his Ph.D. from the University of Wisconsin, Madison, and his Bachelor of Technology from the Indian Institute of Technology, Bombay, India. His current research interests include data quality, data streams and data privacy.

ER 2009 Gramado, November 9-12^th

"Schema AND Data: A Holistic Approach to Mapping, Resolution and Fusion in Information Integration"

• Keynote Speaker: Laura Haas – IBM Almaden Research Center (USA)

• Date: Thursday, November 12^th

• Time: 08:30 - 10:00

• Rooms: Rubi & Safira & Esmeralda

Abstract:

To integrate information, data in different formats, from different, potentially overlapping sources, must be related and transformed to meet the users' needs. Ten years ago, Clio introduced nonprocedural schema mappings to describe the relationship between data in heterogeneous schemas. This enabled powerful tools for mapping discovery and integration code generation, greatly simplifying the integration process. However, further progress is needed. We see an opportunity to raise the level of abstraction further, to encompass both data- and schema-centric integration tasks and to isolate applications from the details of how the integration is accomplished. Holistic information integration supports iteration across the various integration tasks, leveraging information about both schema and data to improve the integrated result. Integration independence allows applications to be independent of how, when, and where information integration takes place, making materialization and the timing of transformations an optimization decision that is transparent to applications. In this talk, we define these two important goals, and propose leveraging data mappings to create a framework that supports both data- and schema-level integration tasks.

Short bio:

Dr. Laura Haas is an IBM Fellow and director of computer science at Almaden Research Center.

Most recently, she was responsible for Information Integration Solutions (IIS) architecture in IBM's Software Group, after leading the IIS development team through its first two years. Laura Haas joined the development team in 2001 as manager of DB2 UDB Query Compiler development. Previously, Laura was a research staff member and manager at IBM's Almaden Research Center for nearly twenty years. In Research, she worked on and managed a number of exploratory projects in distributed database systems. She is best known for her work on the Starburst query processor (from which DB2 UDB was developed), on Garlic, a system which allowed federation of heterogeneous data sources, and on Clio, the first semi-automatic tool for heterogeneous schema mapping. Garlic technology married with DB2 UDB query processing is the basis for WebSphere Information Integrator's federation capabilities, while Clio capabilities are a core differentiator for the new Rational Data Architect.

Laura is an active member of the database community, serving as vice chair of ACM SIGMOD from 1989-1997, and, currently, as vice president of the VLDB Board of Trustees, as well as on many program committees for technical conferences. She has received several IBM awards for Outstanding Technical Achievement, and an IBM Corporate Award for her work on federated database technology. She is a member of the IBM Academy of Technology.

"A personal view of the joys and responsibilities of a career in science"

• Distinguished Speaker: Paul Nielsen – Director of the Software Engineering Institute (SEI) of Carnegie-Mellon University

• Date:Monday, November 9^th

• Time:12:00 - 12:30

• Rooms:Rubi & Safira

Abstract:

Abstract: Research is often a tough business and world economic conditions have made it tougher. In the midst of a sometimes discouraging environment, we should remember how fortunate we are to work as scientists and engineers. We explore new realms, work with an international community of talented men and women, and work at jobs that we love. With these benefits come responsibilities. As individuals and as a group, we need to mentor the next generation, increase the role and impact of scientists on important global issues, and do more to enhance the understanding and excitement about science and technology.

Short bio:

Dr. Paul D. Nielsen is Director and Chief Executive Officer of the Software Engineering Institute (SEI), a Federally Funded Research and Development Center operated by Carnegie Mellon University. The SEI advances software engineering principles and practices through focused research and development, which is transitioned to the broad software engineering community.

Prior to his arrival as SEI Director, Nielsen served in the U.S. Air Force, retiring as a Major General after 32 years of distinguished service. As commander of the Air Force Research Laboratory at Wright-Patterson Air Force Base in Ohio for more than four years, he managed the Air Force’s science and technology budget of more than $3 billion annually. He also served as the Air Force’s technology executive officer, determining the investment strategy for the full spectrum of Air Force science and technology activities.

In 2004, Nielsen became a Fellow of the American Institute of Aeronautics and Astronautics (AIAA). He served as the AIAA President from 2007-2008 and is a member of the AIAA Board of Directors. In 2006, he was elected as a Fellow of the Institute of Electrical and Electronic Engineers (IEEE). Nielsen serves on the Air Force Scientific Advisory Board and is a member of the Board of Directors for the Hertz Foundation, a non-profit that awards graduate school fellowships in the applied sciences.

ER 2009 Gramado, November 9-12^th

P

D C

• Lois Delcambre - Portland State University, USA

• Heinrich C. Mayr - University of Klagenfurt, Austria

• Oscar Pastor - Technical University of Valencia, Spain PhD Colloquium Chairs

• Stefano Spaccapietra - Ecole Polytechnique Fédérale de Lausanne, Switzerland

• Giancarlo Guizzardi - Universidade Federal do Espírito Santo, Brazil - website Date: Monday, November 9^th

Room: Topázio

08:30 – 09:00 Welcome and Opening Talk

09:00 – 10:00 Heterogeneous Data Integration/Handling and Mobile Web Usability

• A Model for Data Curation and Transformation, with Provenance David W. Archer (Portland State University, USA)

• Mobile Web Usability Standards Compliance Service Caroline Collier (Georgia College & State University, USA)

10:00 – 10:30 Coffee Break 10:30 – 12:00 Quality of Models

• Screenography - Systematic and Adaptive Layout Development René Noack (Christian Albrechts University Kiel, Germany)

• A Complete Definition of the Inheritance Construct in i*

Lidia López (Universitat Politècnica de Catalunya, Spain)

• A Methodology for the Design, Verification, and Validation of Business Processes in B2B Collaborations

Jorge M. Roa (Universidad Tecnológica Nacional, Argentina)

12:00 – 13:30 Lunch

13:30 - 15:00 Quality of Models

• How Tacit Is Tacit Knowledge?

Ilkka Virtanen (University of Tampere, Finland)

• An Ontology-based Approach for Software Measurement and Suitability Measurement Repository Evaluation to Apply Statistical Software Process Control in High Maturity Organizations

Monalessa Perini Barcellos (Federal University of Rio de Janeiro, Brazil)

• A Quality Based Approach for the Analysis and Design of Information Systems

Kashif Mehmood (CEDRIC-CNAM/ESSEC Business School, France)

P

"The ER Conference: Its Status and Its Future”

• Date: Tuesday, November 10^th

• Time: 13:30 - 15:00

• Rooms: Rubi & Safira & Esmeralda Panelists:

• Oscar Pastor (Technical University of Valencia, Spain) - moderator

• Peter P. Chen (Lousiana State University, USA)

• Il-Yeol Song (Drexel University, USA)

• Bernhard Thalheim (University of Kiel, Germany)

• Arne Sølvberg (NTNU, Norway)

In the 30 years since its inception, the ER Conference has become well respected as the leading conference for conceptual modeling. Although entirely independent of sponsoring professional societies such as ACM and IEEE, a large group of enthusiastic researchers have worked to make the conference successful and to make high-quality research contributions. Technical contributors of the ER conference have shown that conceptual modeling provides a solid theoretical foundation for all kinds of information systems, which in turn serve users in the broader computing community. But what about the future of the conference? Has the community already ploughed all the fruitful research ground? If not, what's left? What are the new technical directions, and what are the new domains in which conceptual modeling can significantly have an impact? What about individual, conceptual-modeling researchers-what can they do to have an impact, not only on the ER community, but in the larger world of computing? The panel should provide an opportunity to take a good hard look at the conference, at the research being done by the ER community, and at the future of conceptual- modeling research. The goal is to inspire researchers, individually and collectively, with the confidence necessary to reach greater heights.

ER 2009 Gramado, November 9-12^th

T

Ontological Foundations for Conceptual Modeling with Applications

• Presenter: Giancarlo Guizzardi (Federal University of Espírito Santo, Brazil)

• Date: Monday, November 9^th

• Time: 15:30 - 18:30

• Room: Turmalina

The main objective of this tutorial is to introduce researchers to the theory and practice of advanced conceptual modeling through the application of a new emerging discipline named Ontology Driven Conceptual Modeling. Its main objective is concerned with identifying, analyzing and describing the essential concepts and constraints of a universe of discourse, with the help of a (diagrammatic) modeling language that is based on a set of basic modeling concepts (forming a metamodel). In this tutorial, we show how conceptual modeling and requirements engineering languages (e.g., UML, ORM, EER, TROPOS) can be evaluated and (re)designed with the purpose of improving their ontological adequacy. In simple terms, ontological adequacy is a measure of how truthful the models produced using a modeling language are to the situations in the reality they are supposed to represent, and how easy it is for users to use these models for communicating, domain learning and problem-solving.

The Physics of Notations: Evidence-based principles for designing cognitively effective visual notations

• Presenter: Daniel Moody (University of Twente, Netherlands)

• Date: Wednesday, November 11^th

• Time: 15:30 - 18:30

• Room: Esmeralda

Almost all conceptual modelling notations use diagrams as the primary basis for communicating and documenting requirements. Visual notations play a particularly important role in communicating with end users and customers, as diagrams are believed to convey information more effectively to nontechnical people than text. However, we lack scientific principles for designing them, and the design of visual notations remains largely ad hoc. While conceptual modelling now has mature methods for designing semantics of notations (e.g.

ontological analysis, formal semantics), equivalent methods for visual syntax are notably absent.

The aim of this tutorial is to establish the foundation for a science of visual notation design, to help it progress from a craft (as it is currently practised) to a design discipline It defines a set of principles (summarised in the diagram below) for designing cognitively effective visual notations: ones that are optimised for human understanding and problem solving.

Conceptual Cloud Modeling

• Presenters: Hui Ma (Victoria University of Wellington, School of Engineering and Computer Science, Wellington, New Zealand), (Klaus-Dieter Schewe (Information Science Research Centre, New Zealand) and Qing Wang (University of Otago, PBRF Department, New Zealand)

• Date: Wednesday, November 11^th

• Time: 13:30 – 16:00

• Room: Rubi

The tutorial starts with a brief introduction showing the progression from Information Systems to Web Information Systems and further to Web Services and Clouds, and the lack of Conceptual Modelling in the newer development. Then, the tutorial outlines the general idea of cloud computing through the provision of services on the web that can be searched for, composed and optimised, for which functional and non-functional criteria have to be combined -- the latter ones usually refereed to as Quality of Service properties. A cloud is a federation of software services that are made available via the web, and that can be used by any application. Clouds can be integrated, i.e. an integrated, extended ontology with adaptor functions can be defined thereby making services in a set of clouds available in a uniform way.

This leads to the model of trusted service brokers (TSBs) on top of clouds. Clouds and TSBs can be used to define applications and build new services. Key to the model is searching within the ontologies of clouds and TSBs to identify services that match a given query.

Web Information Systems Co-Design & Web 2.0

• Presenters: Hui Ma (Victoria University of Wellington, New Zealand) and Bernhard Thalheim (Christian Albrechts, University Kiel, Germany)

• Date: Thursday, November 12^th

• Time: 13:30 – 16:00

• Room: Esmeralda

The tutorial is organized into three parts, devoted to From Web 1.0 to Web 2.0 and Beyond, Service Orientation / WIS Co-Design, and Service Composition and Collaboration.

Part 1 describes the three stages that websites go through: author-driven Web 1.0, user-driven and content-centred Web 2.0, and Web 3.0, which is characterised by (4C + P + V S), where 4C means Content, Commerce, Community and Context, P means Personalization, and V S denotes Vertical Search. Enterprise 2.0, cloud computing, mashups and Web-Oriented architecture are discussed in detail in order to show the problems in WIS development and the need for WIS development methods. Part 2 presents the major blocks of a WIS development methodology dealing with strategic modelling of WISs, usage modelling of WISs by means of storyboarding, conceptual modelling of WISs by means of media types, and semantics and pragmatics of storyboarding. Part 3 introduces media types as a core design construct in the co- design approach for WISs

ER 2009 Gramado, November 9-12^th

The Database Design Module of an Animated Database Courseware (ADbC)

• Presenters: Mario A.M. Guimaraes (Kennesaw State University ,USA) and Meg C. Murray (Kennesaw State University ,USA)

• Date: Thursday, November 12^th

• Time: 13:30 – 16:00

• Room: Safira

The Animated Database Courseware (ADbC) is funded by NSF Grant# 0717707. It is a collection of software animations designed to support the teaching of database concepts.

Currently, it includes four modules: database design, sql, transactions and security. The software is located at http://adbc.kennesaw.edu, has a very low learning curve and is freely available. The animations are not tailored to any specific product or textbook nor are they intended to substitute for them. Instead, they provide a means to facilitate student learning resulting in an opportunity to include more depth or breadth to the concepts covered in a database course.

The tutorial will explore different ways the software may be incorporated into the classroom environment. It will focus on the database design module of ADbC. This module consists of seven sub-modules.

S

E

Welcome Cocktail

• Date: Monday, November 9^th

• Time: 20:00

• Place: Hotel Serra Azul

Chamber Orchestra

• Date: Wednesday, November 11^th

• Time: 19:00

• Place: Rooms Rubi and Safira

Colonial Meal

• Date: Wednesday, November 11^th

• Time: 20:00

• Depart from Hotel Serra Azul

Conference Dinner

A Gaucho-style barbecue dinner.

• Date: Tuesday, November 10^th

• Time: 20:00

• Place: Churrascaria Garfo e Bombacha (depart from Hotel Serra Azul)

1 Not included in the registration

ER 2009 Gramado, November 9-12^th