Conceptual Modeling - ER 2011

Name: Conceptual Modeling - ER 2011 | 30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011. Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011. Proceedings

Manfred Jeusfeld Lois Delcambre Tok Wang Ling(Herausgeber*in)

Springer (Verlag)

Erschienen am 26. Oktober 2011

XIX, 530 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-24606-7 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

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

Systemvoraussetzungen

Als PDF speichern Als Link merken