ER 2008 Program
Reception Desk Schedule
| |
8 |
9 |
10 |
11 |
12 |
13 |
14 |
15 |
16 |
17 |
18 |
19 |
20 |
| Sunday 19th |
|
|
|
|
|
|
|
|
|
|
|
from 6 to 8 |
| Monday 20th |
|
from 8 am to 5 pm |
|
|
|
| Tuesday 21st |
|
|
from 9'15 am to 5 pm |
|
|
|
| Wednesday 22nd |
|
|
from 9'15 am to 5 pm |
|
|
|
Main
Conference
|
Keynote
|
Workshop
|
Tutorial
|
Demos
|
Panel
|
|
Social Events
|
Main Conference
M1: Patterns
A Multi-level Methodology for Developing UML Sequence Diagrams
Il-Yeol Song, Ritu Khare, Yuan An, Margaret Hilsbos
Content Ontology Design Patterns as practical building blocks for web ontologies
Valentina Presutti, Aldo Gangemi
Quality Patterns for Conceptual Modelling
Samira Si-Saïd, Jacky Akoka, Isabelle Comyn-Wattiau
M2: Process models
On Measuring Process Model Similarity based on High-level Change Operations
Chen Li, Manfred Reichert, Andreas Wombacher
Recommendation Based Process Modeling Support: Method and User Experience
Thomas Hornung, Agnes Koschmider, Georg Lausen
On the Formal Semantics of Change Patterns in Process-aware Information Systems
Stefanie Rinderle-Ma, Manfred Reichert, Barbara Weber
M3: Process management and design
Beyond Control-Flow: Extending Business Process Configuration to Roles and Objects
Marcello La Rosa, Marlon Dumas, Arthur H.M. ter Hofstede, Jan Mendling, Florian Gottschalk
Value-driven coordination process design using physical delivery models
Roel Wieringa, Vincent Pijpers, Lianne Bodenstaff, Jaap Gordijn
Relaxed Compliance Notions in Adaptive Process Management Systems
Stefanie Rinderle, Manfred Reichert, Barbara Weber
M4: Ontology
A Formal Model of Fuzzy Ontology with Property Hierarchy and Object Membership
Yi Cai, Ho-fung Leung
What’s in a Relationship: An Ontological Analysis
Giancarlo Guizzardi
An Upper-Level Ontological Model for Engineering Design Performance Domain
Vadim Ermolayev, Natalya Keberle, Wolf-Ekkehard Matzke
M5: Space and Time
An adverbial approach for formal specification of topological constraints involving regions with broad boundaries
Lotfi Bejaoui, François Pinet, Michel Schneider, Yvan Bédard
Modelling Temporal Constraints on Time Extended ER Diagrams
Carlo Combi, Sara Degani, Christian Jensen
Temporal Constraints in Non-Temporal Data Modelling Languages
Peter McBrien
M6: Privacy, compliance, location
Automating the Extraction of Rights and Obligations for Regulatory Compliance
Nadzeya Kiyavitskaya, Nicola Zeni, Travis Breaux, Annie Anton, James Cordy, Luisa Mich, John Mylopoulos
Location-based Software Modeling and Analysis: Tropos-based Approach
Raian Ali, Fabiano Dalpiaz, Paolo Giorgini
Risk Evaluation for Personal Identity Management Based on Privacy Attribute Ontology
Mizuho Iwaihara, Kohei Murakami, Gail-Joon Ahn, Masatoshi Yoshikawa
M7: Novel semantics
Developing Preference Band Model to Manage Collective Preferences
Wilfred Ng
A Conceptual Modeling Framework for Expressing Observational Data Semantics
Shawn Bowers, Joshua Madin, Mark Schildhauer
Towards a Compositional Semantic Account of Data Quality Attributes
Lei Jiang, Alex Borgida, John Mylopoulos
M8: System design
Integrated Development of Data Warehouses and Data Marts by Applying Model-driven and Goal-oriented Requirement Engineering
Jesús Pardillo, Juan Trujillo
Design Metrics for Data Warehouse Evolution
George Papastefanatos, Panos Vassiliadis, Alkis Simitsis, Yannis Vassiliou
A Domain Engineering-based Approach for Situational Method Engineering
Anat Aharoni, Iris Reinhartz-Berger
M9: Translation, transformation, and search
Retrieving and Materializing Tuple Units for Effective Keyword Search over Relational Databases
Guoliang Li
Model Driven Specification of Ontology Translations
Fernando Silva Parreiras, Steffen Staab, Simon Schenk, Andreas Winter
Dealing with Usability in Model Transformation Technologies
Jose Ignacio Panach Navarrete, Sergio España Cubillo, Ana María Moreno Sánchez-Capuchino, Óscar Pastor López
M10: Queries
Modeling and Querying E-Commerce Data in Hybrid Relational-XML DBMSs
Lipyeow Lim, Haixun Wang, Min Wang
Approximate Probabilistic Query Answering over Inconsistent Databases
Sergio Greco, Cristian Molinaro
Conjunctive Query Containment under Access Limitations
Andrea Cali, Davide Martinenghi
M11: Similarity and coherence
Automatic Extraction of Structurally Coherent Mini-Taxonomies
Khalid Saleem, Zohra Bellahsene
Analysis and Reuse of Plots using Similarity and Analogy
Antonio Furtado, Marco Casanova, Simone Barbosa, Karin Breitman
Discovering Semantically Similar Associations (SeSA) for Complex Mapping between Conceptual Models
Yuan An, Il-Yeol Song
Semantic and Conceptual Issues in Geographic Information Systems (SeCoGIS 2008)
Foundational Aspects
Projective Relations on the Sphere
Eliseo Clementini
Life and motion configurations: a basis for spatio-temporal generalized reasoning model
Pierre Hallot, Roland Billen
A semantic and language based model of landscape scenes
Jean-Marie Le Yaouanc, Eric Saux, Christophe Claramunt
Ontologies and Location-based services
An ontology-based approach for the semantic modelling and reasoning on trajectories
Miriam Baglioni, Jose Macedo, Chiara Renso, Monica Wachowicz
Administrative Units, an Ontological Perspective
Francisco Javier López-Pellicer, Aneta Jadwiga Florczyk, Javier Lacasta,Francisco Javier Zarazaga-Soria, Pedro R. Muro-Medrano
A Modular Data Infrastructure of Location-based Services
Shijun Yu, Stefano Spaccapietra
Interoperability and Spatial Infrastructures
A method to derivate SOAP interfaces and WSDL metadata from the OGC Web Processing Service mandatory interfaces
Gonzalo Sancho-Jiménez, Rubén Béjar, Pedro R. Muro-Medrano
Managing sensor data on urban traffic
Claudia Medeiros, Marc Joliveau, Genevieve Jomier, Florian De Vuyst
Retrieving Documents with Geographic References Using a Spatial Index Structure Based on Ontologies
Miguel R. Luaces, Ángeles S. Places, Francisco J. Rodríguez, Diego Seco
PhD Workshop
First Session
Test-Driven Conceptual Modeling: A Method and a Tool
Albert Tort
Assessing the Value of Conceptual Modeling: A cost-benefit study
Changheon Lee
Requirements-driven development in SUPER
Ken Decreus
Second Session
Marrying Ontologies and Model Driven Engineering Technical Spaces: The TwoUse approach
Fernando Silva Parreiras
From Situational to Functional Method Engineering
Shyam Goyal
Supporting the Design of Ontologies for Data Access
Lina Lubyte
Third Session
Evaluation and Analysis of Goal-Oriented Models
Jennifer Horkoff
A goal-oriented authoring approach to design, share and reuse learning scenarios
Valérie Emin
Goal-Oriented Security Trade-Off Modeling and Analysis with Knowledge Support
Golnaz Elahi
Modeling Mobile Applications and Services (M2AS 2008)
Adaptive services and interaction for mobile devices
A Dynamically Extensible, Service-based Infrastructure for Mobile Applications
Stefan Kurz, Marius Podwyszynski, and Andreas Schwab
The Situation Lens: Looking into Personal Service Composition
Augusto Celentano, Stefano Faralli, Fabio Pittarello
A System for Dynamically Generating User Centric Interfaces for Mobile Applications and Services
Abayomi Ipadeola, Oludayo Olugbara, Matthew Adigun and Sibusiso Xulu
Mobile systems and Architecture
Multimodal Mobile Virtual Blackboard
Danco Davcev , Vladimir Trajkovik, Sladjana Gligorovska
Personalized mobile multimodal services: CHAT project experiences
Giovanni Frattini, Federico Ceccarini, Fabio Corvino, Ivano De Furio, Francesco Gaudino, Pierpaolo Petriccione, Roberto Russo, Vladimiro Scotto di Carlo, Gianluca Supino
A General-purpose Context Modeling Architecture for Adaptive Mobile Services
Thomas Pederson, Carmelo Ardito, Paolo Bottoni, Maria Francesca Costabile
Usability, users’ study and application on mobile devices
Barcode scanning from mobile-phone camera photos delivered via MMS: case study
Adam Wojciechowski, Konrad Siek
A Qualitative Study of the Applicability of Technology Acceptance Models to Senior Mobile Phone Users
Judy van Biljon , Karen Renaud
Visualising the dynamics of unfolding interactions on mobile devices
Kristine Deray and Simeon J. Simoff
Requirements, Intentions and Goals in Conceptual Modeling (RIGiM 2008)
Modeling
Reflective Analysis of the Syntax and Semantics of the i*
Framework
Jennifer Horkoff,Golnaz Elahi, Samer Abdulhadi, Eric Yu
Modeling Strategic Alignment Using InStAl
Laure-Helene Jean-Baptiste Thevenet
Requirements Engineering for Distributed Development Using
Software Agents
Miriam Sayo, Aluzio Haendchen Filho, Hércules Antonio do Prado
Elicitation Issues
Integrating Business Domain Ontologies with Early Requirements Modelling
Frederik Gailly, Sergio España, Geert Poels, Oscar Pastor
Goal-oriented authoring approach and design of learning systems
Valerie Emin, Jean-Philippe Pernin, Viviane Guraud
Timing Nonfunctional Requirements
Ivan J. Jureta, Stephane Faulkner
Web Information Systems Modeling 2008 (WISM 2008)
Web Information Systems
Abstract State Services - A Theory of Web Services [invited paper]
Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang
A Meta-Model Approach to the Management of Hypertexts in Web Information Systems
Roberto De Virgilio, Riccardo Torlone
An Approach to Creating Design Methods for the Implementation of Product Software: the Case of Web Information Systems
Lutzen Luinenburg, Slinger Jansen, Jurriaan Souer, Sjaak Brinkkemper, Inge van de Weerd
Semantic Web Information Systems
Semantic Verification of Web System Contents
Maria Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi
Identifying Users Stereotypes with Semantic Web Mining
Sandro Jose Rigo and Jose Palazzo Moreira de Oliveira
On Temporal Cardinality in the Context of the TOWL Language
Viorel Milea, Michael Mrissa, Kees van der Sluijs, Uzay Kaymak
Conceptual Modelling for Life Sciences Applications (CMLSA 2008)
Keynote and Conceptual Modeling of Biomedical and Health Systems
Ontologies in Practice: From Biomedical Informatics to Nanomedicine (Keynote)
Victor Maojo
Models of the Human Metabolism
Dirk Langemann
Designing Privacy-aware Personal Health Record Systems
Reza Samavi, Thodoros Topaloglou.
Knowledge Integration in Life Sciences
Linking Biological Databases Semantically for Knowledge Discovery
Sudha Ram, Kunpeng Zhang and Wei Wei
Integration of Genomic, Proteomic and Biomedical Information on the Semantic Web
Bill Andreopoulos, Aijun An, Jimmy Huang, and Dirk Labudde
Semantical Quality Management in Domain Knowledge Integration - A Biology Case Study
Marie-Noelle Terrasse, Eric Leclercq, Marinette Savonnet, Pierre Naubourg, Arnaud Da Costa, and Magali Roux-Rouquie
Towards a Scientific Model Management System
Fabio Porto, Jose Macedo, Javier Sanchez Tamargo, Yuanjian Wang Zufferey, and Stefano Spaccapietra
Foundations and Practices of UML (FP-UML 2008)
Keynote and UML Model Transformations
Using Object Concepts and UML for Conceptual Modeling (Keynote)
Yair Wand
Towards obtaining Analysis-Level Class and Use Case Diagrams from Business Process Models
Alfonso Rodríguez, Eduardo Fernández-Medina and Mario Piattini
Improving Automatic UML2 Profile Generation for MDA Industrial Development
Giovanni Giachetti, Francisco Valverde and Oscar Pastor
User Requirements and their quality issues
A UML Profile for Modeling Measurable Requirements
Jesús Pardillo, Fernando Molina Molina, Cristina Cachero, Ambrosio Toval Álvarez
A Comprehensive Aspect-oriented Use Case Method for Modeling Complex Business Requirements
Lu Caimei, Song Il-Yeol
Exploiting the complementary relationship between use case models and activity
diagrams for developing quality requirements specifications
Narasimha Bolloju, Sherry Xiaoyun Sun
Evolution and Change in Data Management (ECDM 2008)
Session 1
Time versus Standards (Invited Talk)
Carlo Zaniolo
Modeling Transformations between Versions of a Temporal Data Warehouse
Johann Eder, Karl Wiggisser
Managing the History of Metadata in support for DB Archiving and Schema Evolution
Carlo A. Curino, Hyun J. Moon, Carlo Zaniolo
Session 2
Towards a Dynamic Inconsistency-tolerant Schema Maintenance
Hendrik Decker
Tutorials
1st Tutorial: Quality of Data, Textual Information and Images: a comparative survey
The tutorial provides a comprehensive survey of information quality issues in the general domain of information systems that encompass data of heterogeneous type. It will introduce the general theme and provide a detailed discussion on motivations for addressing the area of Data, Information and Image Quality (in brief DI2Q), both in research and real-life applications. The tutorial will also propose and discuss a general and unified framework that can help researchers and practitioners keep track of the quality factors involved in the management of heterogeneous types of electronic information distributed in multimedia resources. Then, for each relevant type of information, the tutorial will define and characterize the most used specific dimensions: intrinsic soundness, context-dependent usability and time-related dimensions. For each of these DI2Q dimensions, the tutorial will also discuss the main quality assessment methods and the related metrics. Finally, significant examples related to real life cases will be discussed, and open research problems will be addressed.
2nd Tutorial: Problem-driven requirements engineering
This tutorial will provide an overview of techniques for problem-driven requirements engineering. Starting point is the standard model of requirements engineering in which a solution, such as a software system, interacts with an environment in order to achieve stakeholder goals. Solution-oriented requirements consist of a specification of solution properties, usually divided into a specification of functional and nonfunctional properties. Problem-oriented requirements consist of a specification of the environment and stakeholder goals, and of the way in which the solution must interact with the environment in order to achieve these goals. The tutorial will review the role of problem-oriented requirements engineering in systems engineering, show how to define and analyze problem structures, and review ways in which goal analysis and problem diagnosis can be used to justify solution specifications. We illustrate goal analysis by using techniques from well-known methods such as KAOS, i* and Tropos, and we illustrate problem diagnosis by using techniques from causal loop modeling. We also show which role classical conceptual modeling techniques play in modeling problem structures.
3rd Tutorial: Can Domain Modeling become Automated?
Domain models capture the common knowledge gained while developing applications in the domain as well as the possible variability allowed among them. Hence, domain models may assist in the creation of valid applications, improving productivity and software quality and reducing the domain and development expertise needed. However, the creation of such domain models is not a trivial task: it requires expertise in the domain, reaching a very high level of abstraction, and providing flexible, yet formal, artifacts. The field of domain engineering (also known as product line engineering) aims at identifying, modeling, constructing, cataloging, and disseminating the commonalities and differences among applications in a specific domain. Several domain engineering methods have been proposed over the years, but most of them can be criticized as making the domain engineer the only responsible for the development of domain models and artifacts. Since domains may cover broad areas and are usually understood only during the development process, some aids are required to help domain engineers perform their modeling tasks. The purpose of this tutorial is to answer the question "can domain modeling become automatic?" In particular, we will present and discuss domain modeling concepts, methods, problems, and solutions, where the focus will be on automating these issues.
4th Tutorial: The deep structure of business processes
The success of your work in (re) designing and (re) engineering business processes heavily depends on the profundity of your understanding of these processes. Unfortunately, the kind of understanding you need cannot be drawn from the rich sources of the organizational and management sciences because of their predominant functional orientation. Functional knowledge is sufficient (and necessary) if you only need to use or control an organization, like you use the car you are driving in. But your task is to change the business processes or to improve their efficiency by applying information and communication technology. To do so, you need knowledge of the construction and the operation of organizations, like a car mechanic needs to know how a car is constructed and how it operates. But even if you take the constructional perspective, the complexity of the problems you are faced with and the high pressure on timely delivery of high quality solutions makes that you cannot come off any longer with drawing informal and/or too detailed process diagrams as a basis for re-design and re-engineering. Doing your work in a professional way requires a solid scientific methodology. In this tutorial you will learn how the DEMO methodology (Design and Engineering Methodology for Organizations) reveals the deep essential structure of business processes. Business processes need not be mind-boggling railroad yards; they can be crystal structures of ‘atoms’ and ‘molecules’. The question only is how to reveal these structures, how to extract them from the observable surface structures that blur the sight on them.
Demonstrations
ER and Querying languages
SAMSTAR: An Automatic Tool for Generating Star Schema from an Entity-Relationship Diagram
Il-Yeol Song, Ritu Khare, Yuan An, Suan Lee, Sang-Pil Kim, Jinho Kim, and Yang-Sae Moon
Visual SQL: An ER-Based Object-Relational Database Querying
Bernhard Thalheim
An Implementation of a Query Language with Generalized Quantiers
Antonio Badia, Brandon Debes, and Bin Cao
Role and Request Based Conceptual Modeling A Methodology and a CASE Tool
Yair Wand, Carson Woo, and Ohad Wand
HealthSense: An Application for Querying Raw Sensor Data
Fabrice Camous, Donall McCann, and Mark Roantree
MDBE: Automatic Multidimensional Modeling
Oscar Romero and Alberto Abelló
XML, XSL, Web, and Ontology
Ontology Coordination: the iCoord Project Demonstration
Silvana Castano, Alfio Ferrara, Davide Lorusso, and Stefano Montanelli
Designing similarity measures for XML
Ismael Sanz, Maria Pérez, and Rafael Berlanga
CALF: A Constraint-Aware Engine for Evaluating XSLT with Minimized Memory Footprint
Ming Li, Murali Mani, and Elke A. Rundensteiner
A Conceptual-Model-Based Computational Alembic for a Web of Knowledge
David W. Embley, Stephen W. Liddle, Deryle Lonsdale, George Nagy, Yuri Tijerino, Robert Clawson,
Jordan Crabtree, Yihong Ding, Piyushee Jha, Zonghui Lian, Stephen Lynn, Raghav K. Padmanabhan, Jeff
Peters, Cui Tao, Robby Watts, Charla Woodbury, and Andrew Zitzelberger
Oryx: Sharing Conceptual Models on the Web
Gero Decker, Hagen Overdick, and Mathias Weske
Providing Top-K Alternative Schema Matchings with OntoMatcher
Haggai Roitman, Avigdor Gal, and Carmel Domshlak
General Software Development
SESQ: A Model-Driven Method for Building Object Level Vertical Search Engines
Ling Lin, Yukai He, Hang Guo, Ju Fan, Lizhu Zhou, Qi Guo, and Gang Li
A Quality Circle Tool for Software Models
Hendrik Voigt and Thomas Ruhroth
REMM-Studio+: Modeling Variability to Enable Requirements Reuse
Begoña Moros, Cristina Vicente-Chicote, and Ambrosio Toval,
QUINST: A metamodeling tool
Xavier Burgués, Xavier Franch, and Josep M. Ribó
Automed Model Management
Andrew Smith, Nikos Rizopoulos and Peter McBrien
Generating and Optimizing Graphical User Interfaces for Semantic Service Composition
Eran Toch, Iris Reinhartz-Berger, Avigdor Gal, and Dov Dori
