Conceptual Modeling - ER 2011
30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011. Proceedings
Published on 26. October 2011
XIX, 530 pages
978-3-642-24606-7 (ISBN)
Description
This book constitutes the refereed proceedings of the 30th International Conference on Conceptual Modeling, ER 2011, held in Brussels, Belgium, in October/November 2011. The 25 revised full papers presented together with 14 short papers and three keynotes were carefully reviewed and selected from 157 submissions. The papers are organized in topical sections on modeling goals and compliance; human and socio-technical factors; ontologies; data model theory; model development and maintainability; user interfaces and software classification; evolution, propagation and refinement; UML and requirements modeling; views, queries and search; requirements and business intelligence; MDA and ontology-based modeling; process modeling; panels.
More details
Other editions
Additional editions
Manfred Jeusfeld | Lois Delcambre | Tok Wang Ling
Conceptual Modeling - ER 2011
30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011. Proceedings
Book
10/2011
1st Edition
Springer
€53.49
Shipment within 7-9 days
Content
- Title
- Foreword
- Preface
- Organization
- Table of Contents
- Keynotes
- The Role of Conceptual Modeling in Managing and Changing the Business
- Introduction
- Limitations of Existing Work and Possible Extensions
- The Strategic Dependency Model in the i* Framework
- The Different Facets of Goals in Business and IT
- Providing Values for Organizational Workers
- Conceptual Models for Business-IT Alignment
- Conceptual Models for Thought Process
- Conclusion
- References
- Adding Meaning to Your Steps
- Introduction
- Raw Movement Tracks
- From Raw Trajectories to Semantic Trajectories
- Basic Concepts for Describing Trajectory Behaviors
- Introducing Trajectory Behaviors and Their Identification
- Individual Trajectory Behavior versus Collective Behavior
- More on Collective Behaviors
- Spatial / Temporal / Spatio-Temporal / Semantic Behaviors
- Global versus Local Behaviors
- Simple versus Complex Behaviors
- Checking If Trajectories Comply with a Behavior
- Looking for Behaviors a Posteriori versus Using Predefined Behaviors
- Conclusion
- References
- Best-Effort Modeling of Structured Data on the Web
- References
- Modeling Goals and Compliance
- CSRML: A Goal-Oriented Approach to Model Requirements for Collaborative Systems
- Introduction
- Goal-Oriented Techniques and the i* Approach
- Goal-Oriented Requirements Engineering
- i* Framework
- CSRML: A Requirement Language for Collaborative Systems
- Case Study: Jigsaw Activity
- The Jigsaw Activity with CSRML
- Conclusions and Further Works
- References
- Establishing Regulatory Compliance for Software Requirements
- Introduction
- Research Baseline
- Proposed Framework
- Compliance Process
- Step 1. Embodiment
- Step 2. Find Irregularities
- Step 3. Compliance Check
- Step 4. Solve Irregularities
- Step 5. Find Realizations
- Preliminary Evaluation: A Case Study
- Related Work
- Conclusions
- References
- Making Explicit Some Implicit i* Language Decisions
- Introduction
- Background: Analysis of the i* Framework
- Sources of Our Work
- Observations
- Systematic Management of Ambiguities and Silences
- Actors and Actor Links
- Internal Elements and Internal Element Links
- Dependencies
- Some Addition of Information into i* Models
- The i* Language Core: Final Representation
- Conclusions
- References
- Human and Socio-Technical Factors
- The Impact of Perceived Cognitive Effectiveness on Perceived Usefulness of Visual Conceptual Modeling Languages
- Introduction
- Theoretical Background
- Visual Modeling Languages
- Quality of Conceptual Models and Modeling Languages
- Research Questions
- Method
- Design
- Materials
- Instrument
- Sample
- Results
- Discussion
- Limitations
- Implications
- Conclusion
- References
- Effects of External Conceptual Models and Verbal Explanations on Shared Understanding in Small Groups
- Introduction
- Theoretical Background
- Conceptual Models
- Design and Mental Models
- Shared Understanding
- Research Model and Hypotheses
- Research Method
- Study Design
- Results and Discussion
- Summary
- References
- Sociotechnical Trust: An Architectural Approach
- Introduction
- A Conceptual Model of Sociotechnical Trust
- Computational Grounding
- Trust Supporting Mechanisms
- Kinds of Trust in Sociotechnical Systems
- Technical Trust
- Cognitive Trust
- Orthogonality
- The Food Law Case Study
- Discussion
- References
- Ontologies
- Generating SPARQL Executable Mappings to Integrate Ontologies
- Introduction
- Related Work
- Mapping Generation
- Restrictions and Correspondences
- Kernel Generation
- SPARQL Transformation
- Implementation and Evaluation
- Conclusions
- References
- Enterprise Monitoring Ontology
- Introduction
- Theoretical Background
- Enterprise Monitoring Ontology (EMO)
- Monitoring Goal Ontology
- Monitoring Policy Ontology
- Monitoring Metric Ontology
- Case Study Evaluation
- Business Case Description
- Reasoning on EMO: Strategic Value Monitoring Method
- Discussion
- References
- Multilingual Ontologies for Cross-Language Information Extraction and Semantic Search
- Introduction
- Architecture
- Extraction Ontologies
- Multilingual Ontologies
- Multilingual Mappings
- Evaluation
- Results from an Early Prototype
- Cross-Language Query Translation and Extraction Accuracy
- Conclusions
- References
- Data Model Theory
- Querying Conceptual Schemata with Expressive Equality Constraints
- Introduction
- Preliminaries
- Separability
- Non-triggerable EGDs
- Non-conflicting Sets of Linear TGDs and EGDs
- Applications
- Discussion
- References
- A Precious Class of Cardinality Constraints for Flexible XML Data Processing
- Introduction
- Preliminaries
- From Expressive towards Precious Classes
- Axiomatic and Graph-Theoretical Characterization
- Algorithmic Characterization
- Conclusion
- References
- Formal Semantics and Ontological Analysis for Understanding Subsetting, Specialization and Redefinition of Associations in UML
- Introduction
- Background
- Formal Semantics
- UML Association Subsetting Semantics
- UML Association Specialization Semantics
- Comparing Subsetting, Specialization and Redefinition of Associations
- An Ontological Analysis of Relations
- An Ontological Analysis of Subsetting
- An Ontological Analysis of Specialization
- An Ontological Analysis of Redefinition
- Related Work
- Final Considerations
- References
- Model Development and Maintainability
- Developing RFID Database Models for Analysing Moving Tags in Supply Chain Management
- Introduction
- Preprocessing Multi-stream Raw RFID Data
- RFID Database Model
- RFID Database Modeling
- RFID Data Coding Schemes
- RFID Manipulation Languages
- Tag Movement Graph (TMG) Model
- Capture Frequent Tag Movement Trails in a TMG
- Logistic Correlated Patterns on TMG
- Related Work
- Concluding Remarks
- References
- Semi-automatic Conceptual Data Modeling Using Entity and Relationship Instance Repositories
- Introduction
- Related Techniques for Conceptual Modeling
- Rule-Based
- Pattern-Based
- Case-Based
- Ontology-Based
- Multi-techniques-Based
- A Methodology for Creating EIR and RIR
- The Six Domain Independent Modeling Rules
- Overview of HBT Architecture
- Overview of EIPW Architecture
- Empirical Evaluation
- Experimental Design
- Conclusions and Future Research
- References
- Impact of MDE Approaches on the Maintainability of Web Applications: An Experimental Evaluation
- Introduction
- Background
- The Maintainability Concept
- Maintainability Assessment
- Description of the Experiment
- Variables and Operational Hypotheses
- Subjects
- Design and Instrumentation
- Operation and Data Collection Procedures
- Data Analysis and Interpretation of Results
- RQ1: Actual Efficacy of Treatments
- RQ2: Perceived Efficacy and Satisfaction of Treatments
- Threats to Validity
- Conclusions
- References
- User Interfaces and Software Classification
- From Pattern-Based User Interfaces to Conceptual Schemas and Back
- Introduction
- Research Context and State of the Art: Electronic Forms to Convey Conceptual Requirements
- Formalising the Problem
- Overview
- Identifying Missing Constructs
- From Form-Based Interfaces to GER Schemas
- A New Pattern-Based Form Model
- A Heuristic-Driven Drawing Process
- From GER Schemas to Form-Based Interfaces
- Discussion
- Conclusion
- References
- Automatically Mapping and Integrating Multiple Data Entry Forms into a Database
- Introduction
- Related Work
- Formal Preliminaries and Problem Definition
- Extracting Form Trees
- Mapping and Integrating Form Trees
- Birthing Algorithm
- Merging Algorithm
- Experiments
- Testing the Tree Extraction Component
- Evaluating the Merging Process
- Conclusions
- References
- External Variability of Software: Classification and Ontological Foundations
- Introduction
- Bunge's Systems Ontology
- Comparing Application Behaviors - The Similarity Anchor
- Classifying External Variability
- Framework Usage: Conducting Feasibility Studies
- Summary and Future Work
- References
- Evolution, Propagation and Refinement
- Context Schema Evolution in Context-Aware Data Management
- Introduction
- Related Work
- Context Model
- Framework for Context Evolution
- Evolution Operators
- Basic Atomic Evolution Operators
- Methodological Considerations and Further Atomic Operators
- Conclusions and Future Work
- References
- Modeling the Propagation of User Preferences
- Introduction
- Contexts in Databases
- A General Notion of Context
- The CT Model
- Preferences in Contexts
- Qualitative Preferences
- Contextual Preferences and Their Propagation
- PC-Expressions
- Computing the Propagation of Preferences
- The Complete-Cover Propagation
- The Active-Cover Propagation
- The Tuple-Specific Cover Propagation
- Related Works
- Conclusions
- References
- Towards a Theory of Refinement for Data Migration
- Introduction
- Schemata, Models and Level of Abstraction
- Legacy Kernel
- Migration Transformations
- Property-Preserving Transformations
- Property-Enhancing Transformations
- Migration Strategies
- Refinement
- Refinement of PPTs
- Refinement of PETs
- Discussion
- Conclusion
- References
- UML and Requirements Modeling
- Design by Selection: A Reuse-Based Approach for Business Process Modeling
- Introduction
- Preliminaries
- Business Process Modeling
- Business Process Model Querying
- Partial Process Models
- Ranking of Model Compositions
- Implementation
- Experimental Evaluation
- Related Work
- Conclusion and Outlook
- References
- System Identification for Adaptive Software Systems: A Requirements Engineering Perspective
- Introduction
- Research Baseline
- Goal-Oriented Requirements Engineering (GORE)
- Qualitative Reasoning
- Parameters and Qualitative Differential Relations
- System Parameters and Indicators
- Numeric Parameters
- Enumerated Parameters
- Extrapolations
- System Identification Process
- Validation
- Related Work
- Discussion and Future Work
- Conclusion
- References
- Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information
- Introduction
- Background
- IEC61508-Based Certification
- Conceptual Modeling of Compliance Evidence Information
- UML Profiles
- UML Profile of the IEC61508 Standard
- Specializing IEC61508 for the Petroleum Industry
- Related Work
- Conclusion and Future Work
- References
- Views, Queries and Search
- Merging Relational Views: A Minimization Approach
- Introduction
- The View Integration Problem
- Modeling View Integration
- Minimality of Mediated Schema
- Schema Minimization under Data Dependencies
- Collapse-Minimization Using Maximal BINDs
- Project-Minimization over Collapsed Schemas
- Generating Minimal Merge
- Constructing Mediated Schema
- Constructing Output Mappings
- Rewriting Input Constraints to the Mediated Schema
- Evaluation
- Expressiveness over Real World Mapping Scenarios
- Scalability of Schema Minimization
- Effectiveness of Minimization
- Related Work
- Conclusion and Outlook
- References
- Ontology Evolution in Data Integration: Query Rewriting to the Rescue
- Introduction
- Evolving Data Integration
- Query Processing
- Conclusion
- References
- Object-Oriented XML Keyword Search
- Introduction
- Background and Motivation
- Background
- Motivation
- Object-Oriented Indexes
- OO-Dewey ID and Object Tables
- Other Object-Based Indexes
- OO Keyword Query Processing
- Step 1: Keyword Partitioning
- Step 2: Inverted List Filtering
- Step 3: SLCOA Processing
- Step 4: Result Return
- Advanced Search
- Experiments
- Experimental Settings
- Efficiency
- Search Quality
- Conclusion
- References
- A Hidden Markov Model Approach to Keyword-Based Search over Relational Databases
- Introduction
- KEYRY at a Glance
- Problem Statement
- Computing Configurations Using a HMM
- Setting HMM Parameters
- Decoding the HMM
- Related Work
- Conclusion and Future Work
- References
- Requirements and Business Intelligence
- A Modularization Proposal for Goal-Oriented Analysis of Data Warehouses Using I-Star
- Introduction
- Related Work and Background
- Definition of Modules and Guidelines
- Definition of Modules
- Guidelines
- Example of Application and Experimental Results
- Example of Application
- Experimental Results
- Conclusions and Future Work
- References
- Strategic Models for Business Intelligence
- Introduction
- Strategic Business Models
- Situation
- Influence
- Indicator
- Instantiation of Business Schemas
- Reasoning with Business Schemas
- Running Example
- Exploration of Possible Strategies
- Evaluation of Specific Strategies
- Probabilistic Evaluation of Strategies
- Related Work
- Conclusion
- References
- Evolving Requirements in Socio-Technical Systems: Concepts and Practice
- Introduction
- Context
- Towards a Conceptual and Analysis Framework for Evolving Requirements (CAFfE)
- Instantiating the Framework
- Related Work
- Conclusion and Future Work
- References
- Composite Indicators for Business Intelligence
- Introduction
- Strategic Business Models
- Indicators
- Reasoning with Indicators
- Quantitative Reasoning
- Qualitative Reasoning
- Related Work
- Conclusions
- References
- MDA and Ontology-Based Modeling
- Incorporating Traceability in Conceptual Models for Data Warehouses by Using MDA
- Introduction
- Related Work
- Traceability from PIM to PIM DW Models
- Automatic Derivation of Traceability Models in Data Warehouses
- Case Study
- Conclusions and Future Work
- References
- Lightweight Verification of Executable Models
- Introduction
- State of the Art
- Preliminary Concepts
- Structural Model
- Behavioural Model
- Our Method
- Step 1: Computing the Execution Paths of the Operation
- Step 2: Analyzing the Existence of Potentially Violating Actions
- Step 3: Discarding Potentially Violating Actions
- Conclusions and Further Work
- References
- Towards a Model of Services Based on Co-creation, Abstraction and Restriction
- Introduction
- The REA Ontology and Hohfeld's Classification of Rights
- Resources
- Conversion Processes
- Exchange Processes
- Hohfeld's Classification of Rights
- Offerings, Commitments, and Contracts
- Service Perspectives
- Service as a Means for Co-creation
- Service as a Means for Abstraction
- Service as a Means for Providing Restricted Resource Access
- Concluding Remarks
- References
- A Semantic Oriented Method for Conceptual Data Modeling in OntoUML Based on Linguistic Concepts
- Introduction
- Languages
- The Method
- Example
- Method Evaluation
- Conclusion
- References
- Process Modeling
- Content-Based Validation of Business Process Modifications
- Introduction
- Related Work
- The Descriptor Model
- The Process Descriptor Repository
- Descriptor-Based Taxonomies
- The Content-Based Validation Method
- Conclusions
- References
- Visual Change Tracking for Business Process Models
- Introduction
- Main Issues of Visual Change Tracking
- Aesthetic Criteria
- Mental Map
- Visual Properties
- Visual Framework for Change Tracking in Graphs
- Survey
- Methodology
- Results
- Related Work
- Conclusion
- References
- An Empirical Analysis of Human Performance and Error in Process Model Development
- Introduction
- Background
- Human Performance in Process Model Development
- Human Error in Process Model Development
- Laboratory Study
- Methods
- Results
- Discussion
- Conclusion and Outlook
- References
- Panel: New Directions for Conceptual Modeling
- Panel Objective
- Position Statements
- Antoni Olivé
- Sudha Ram
- Gerd Wagner
- Yair Wand
- Eric Yu
- Panel: Modeling for the Future Internet
- Author Index
