Advanced Information Systems Engineering
24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings
Published on 16. July 2012
XVII, 704 pages
978-3-642-31095-9 (ISBN)
Description
This book constitutes the refereed proceedings of the 24th International Conference on Advanced Information Systems Engineering, CAiSE 2012, held in Gdansk, Poland, in June 2012.
The 42 revised full papers, 2 full-length invited papers and 4 short tutorial papers, were carefully reviewed and selected from 297 submissions. The contributions have been grouped into the following topical sections: business process model analysis; service and component composition; language and models; system variants and configuration; process mining; ontologies; requirements and goal models; compliance; monitoring and prediction; services; case studies; business process design; feature models and product lines; and human factors.
More details
Other editions
Additional editions
Jolita Ralyté | Xavier Franch | Sjaak Brinkkemper
Advanced Information Systems Engineering
24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings
Book
06/2012
Springer
€53.49
Shipment within 7-9 days
Content
- Title
- Preface
- Organization
- Table of Contents
- Keynotes
- The Future of Enterprise Systems in a Fully Networked Society
- Introduction
- The Reference Framework
- A Vision on the Socio-economic Space
- The Need for a Socio-economic Discontinuity
- Different Growth Rates for Wealth and Well-Being
- Towards a Totally Connected Society
- Innovation in a Knowledge-Based Society
- The Future of Internet-Based Enterprises
- The Qualities of Being of the Future Internet-Based Enterprises
- The Operational Dimension
- Supporting the Advent of the Future Internet-Based Enterprises
- The Future Internet-Based Enterprise Systems
- The Knowledge Dimension
- The Functional Dimension of a FInES
- The Engineering Dimension of a FInES
- Future Technologies for FInES
- Future Networking Technologies
- Future Knowledge Technologies
- Future Application Technologies and Complex Systems Engineering
- Future Computation and Storage Technologies
- Future Natural Interaction
- Conclusions
- References
- Challenges for Future Platforms, Services and Networked Applications
- Introduction
- The IntelliGrid Project: e-Infrastructure for the Architecture, Engineering and Construction Industry
- The ACGT Project: e-Infrastructure for the Medical Research and e-Health Platforms
- The CaKernel Project: A Tool for Emerging Complex Computing Architectures
- The Platon Project: e-Infrastructure for the e-Science
- Conclusions
- References
- Business Process Model Analysis
- Understanding Business Process Models: The Costs and Benefits of Structuredness
- Introduction
- Background
- The Notion of Structuredness
- Structuring Process Models
- Complexity Metrics and Understandability
- Complexity Comparison
- Controlled Experiment
- Results
- Data Cleansing and Demographics
- Hypothesis Testing
- Qualitative Analysis
- Threats to Validity
- Conclusion
- References
- Aggregating Individual Models of Decision-Making Processes
- Introduction
- The Formal Approach
- The Framework of Decision-Making Process Mining
- Case Study and Evaluation
- Running Example and Comparison with Process Mining Algorithms
- Case Study
- Experiment
- Related Work
- Conclusions
- References
- Generating Natural Language Texts from Business Process Models
- Introduction
- Background
- Business Process Model and Notation
- Architectures of Natural Language Generation Systems
- Challenges in Generating Text from Process Models
- Text Generation Approach
- Linguistic Information Extraction
- Annotated RPST Generation
- Text Structuring
- DSynt-Message Generation
- Message Refinement
- Surface Realization
- Evaluation
- Prototypical Implementation
- Evaluation Setup
- Results
- Related Work
- Conclusion
- References
- Service and Component Composition
- Towards Conflict-Free Composition of Non-functional Concerns
- Introduction
- Formalizing the Interdependency Model
- Tasks and Actions
- Interdependencies
- Data Dependencies
- Towards Conflict-Free Action Compositions
- The Composition Model
- Identifying Constraint Violations
- Using Prolog to Find Violations and Counter Examples
- Conflict Resolution
- Conflict-Free Composition Procedure
- Running Example and Implementation
- Related Work
- General Approaches
- AOP Approaches
- Conclusions
- References
- Fuzzy Verification of Service Value Networks
- Introduction
- Background
- Service Value Networks
- Problem Definition
- Related Work
- The e3service Framework
- Propose
- Verify
- Critique
- Modify.
- On e3service Computational Evaluation
- Conclusions and Future Work
- References
- Cooperative Service Composition
- Introduction
- Motivating Example
- Preliminaries
- Semantically Annotating Services, Links and Compositions
- Quality of Semantic Gaps
- Quality of Service Compositions
- Our Approach to Emergent Service Composition
- Outline of the Overall Approach
- State Description
- Concept Similarity Metric
- Heuristics for Joining a Partial Solution
- Semantic Quality of Partial Solutions
- Reducing the Number of Partial Solutions Considered
- Service Providers Appraise Their Bids
- Consortia behind Partial Solutions Evaluate Competitive Bids
- Example of Applying the Approach to Financial Services
- Related Research
- Discussion and Conclusion
- References
- Language and Models
- Abstracting Modelling Languages: A Reutilization Approach
- Introduction
- Classifying Abstractions for Modelling Languages
- Making Abstractions Generic
- Configuration and Adaptation to the Modelling Language
- Extending the Modelling Language
- A Catalogue of Generic Abstractions
- Horizontal Abstractions
- Domain-Specific Abstractions
- Tool Support
- Related Work
- Conclusions and Future Work
- References
- Logical Invalidations of Semantic Annotations
- Introduction
- Annotation Method
- Logical Invalidation of Annotation Paths
- Invalidation of Simple Concept Annotations
- Invalidation of Simple Datatype Annotations:
- Invalidation of 3-Step Concept Annotations
- Invalidation of General Annotations
- Invalidation of General Annotation Due to Local Invalidations
- Direct-Triple-Disjointness
- Non-local Invalidations
- An Algorithm for the Detection of a Minimal Invalid Sub-Path
- Implementation Considerations
- Related Work
- Conclusion
- References
- Uniform Access to Non-relational Database Systems: The SOS Platform
- Introduction
- The Common Interface
- The Meta-layer
- MongoDB
- HBase
- Redis
- The Platform
- Application Example
- Related Work
- Conclusions
- References
- System Variants and Configuration
- Variability as a Service: Outsourcing Variability Management in Multi-tenant SaaS Applications
- Introduction
- Needs of Variability Modeling
- Orthogonal Variability Models
- Enabling the Software Customisation by Tenants
- Variability as a Service: Architecture, Process and Meta-model
- Architecture and Variability Outsourcing Process
- Variability Meta-model
- Case Study: A Food Industry Application
- Modeling FIA Variations Following the VaaS Approach
- Resolving FIA Variations
- Discussion and Future Work
- Related Work
- SOA Variability Management
- SaaS and Multi-tenancy
- Conclusion
- References
- Configurable Process Models for the Swedish Public Sector
- Introduction
- Method
- Background
- The C-YAWL Notation
- Steering Configurations through Questionnaires
- The Configurable Process Model
- Process Model
- Domain Questionnaire Model
- Evaluation
- Quality
- Generality
- Perceived Usefulness
- Challenges
- Where Next?
- Conclusion
- References
- Aligning Software Configuration with Business and IT Context
- Introduction
- Contextual Feature Models (CFMs)
- Reasoning about B/I Alignment with CFMs
- Formal Framework
- Reasoning Techniques
- FM-Context: A Support Tool for CFMs
- Related Work
- Conclusion and Future Directions
- References
- Process Mining
- Mining Inter-organizational Business Process Models from EDI Messages: A Case Study from the Automotive Sector
- Introduction
- Related Work
- Correlation of EDI Messages to Process Instances
- Key/Value-Correlation
- Synonymous Keys
- Concatenation of Traces
- Correlation Algorithm
- Case Study
- Methodology
- Correlation
- Mining the Inter-organizational Business Process Model
- Conclusion and Reflection
- References
- Data Transformation and Semantic Log Purging for Process Mining
- Introduction
- Applied Methodology and the HEP Data Set
- Methodology
- Raw Data from a Blended Learning Environment
- The Reference Process Model
- Transformation of Temporal Application Data to Process Logs
- Semantic Log Purging
- Evaluation Based on HEP
- Observations and Findings
- Lessons Learned
- Related Work
- Summary and Outlook
- References
- Improved Artificial Negative Event Generation to Enhance Process Event Logs
- Introduction
- Related Work
- Preliminaries
- Artificial Negative Event Generation Algorithm
- Step 1: Mining Frequent Temporal Constraints
- Step 2: Deriving Structural Information: Parallelism, Locality and Recurrence
- Step 3: Generating Artificial Negative Events
- Experimental Results and Discussion
- Conclusions and Future Work
- References
- Efficient Discovery of Understandable Declarative Process Models from Event Logs
- Introduction
- Declare
- Running Example
- Discovering Relevant Declare Constraints Using Vacuity Detection
- Apriori Algorithm for Declare Discovery
- Post-processing
- Experiments and Discussion
- Case Study
- Conclusion
- References
- Ontologies
- OtO Matching System: A Multi-strategy Approach to Instance Matching
- Introduction
- Instance Matching
- Related Work
- The OtO Matching System
- The Instance Matching Process
- Property Weights
- The Key Weight Flag
- Instance Matching Algorithm
- Experiments and Results
- Overall Conclusions of the Test Cases
- Conclusions and Future Work
- References
- SCIMS: A Social Context Information Management System for Socially-Aware Applications
- Introduction
- Related Work
- Overview of the SCI Management System
- Modeling and Inferring Social Context Information
- Core Upper Ontology
- Domain-Specific Ontologies
- Preserving Privacy
- A Socially-Aware Access Control Policy Model
- Policy Specification and Enforcement
- Prototype Implementation
- Experimental Evaluation and Case Study
- Conclusions and Future Work
- References
- Ontological Meta-properties of Derived Object Types
- Introduction
- Background: Derived Types, Ontological Modal Meta-properties and Object Type Distinctions in OntoUML
- Derived Types and Derivation Patterns
- The Ontological Meta-properties among the Categories of Object Types and Associations
- Deriving Modal Meta-properties of Derived Object Types
- Derivation by Union
- Derivation by Exclusion
- Deriving Ontological Categories of Object Types in OntoUML
- Derivation by Union
- Derivation by Exclusion
- Final Considerations and Future Work
- References
- An Automatic Approach for Mapping Product Taxonomies in E-Commerce Systems
- Introduction
- Related Work
- CMAP
- Word Sense Disambiguation
- Candidate Path Selection
- Co-occurrence
- Order-Consistency
- Overall Similarity
- Evaluation
- Evaluation Design
- Results
- Conclusions and Future Work
- References
- Requirements and Goal Models
- Requirements-Driven Root Cause Analysis Using Markov Logic Networks
- Introduction
- Research Baseline
- Goal Models
- Markov Logic Networks
- Motivating Scenario
- Root Cause Analysis Framework
- Building a Knowledge Base
- Observation Generation
- Diagnosis
- Case Study
- Related Work
- Conclusions
- References
- Validation of User Intentions in Process Models
- Introduction
- Foundations
- Goal Models
- Business Process Models and Workflow Patterns
- Realization Inconsistencies
- Knowledge Base for Realization Validation
- Foundations of Description Logics
- Representation of Models and Realizations
- Validation of Realization Equivalence
- Proof-of Concept and Discussion
- Related Work
- Conclusion
- References
- Agile Requirements Evolution via Paraconsistent Reasoning
- Introduction
- Background
- The Requirements Problem
- Inconsistency and Conflict
- RE-KOMBINE
- Paraconsistent Reasoning on Requirements Problems
- Operators for Paraconsistent Requirements Problems
- Tool-Supported RE-KOMBINE
- Evaluating RE-KOMBINE
- Case Study: Payment Card Standards and Requirements Variability
- Demonstrating Scalability
- Related Work
- Conclusion
- References
- Compliance
- On Analyzing Process Compliance in Skin Cancer Treatment: An Experience Report from the Evidence-Based Medical Compliance Cluster (EBMC2)
- Introduction
- The Treatment Compliance Analysis Framework
- The Basic Analytic Setting and Related Work
- Comparing Guidelines with Empirical Data
- Available Data Sources: Problems and Challenges
- The Stage IV Melanoma Database
- Austrian Social Security Institution Data
- Data Source Integration and Assessment
- Empowering the Data Sources
- Meta Data Enrichment of the Stage IV Melanoma Database
- Restating the Data Model
- GAP-DRG Data Transformation
- Evaluation Based on Selected S4MDB Cases
- Summary and Outlook
- References
- Compliance Evaluation Featuring Heat Maps (CE-HM): A Meta-Modeling-Based Approach
- Introduction
- Related Work
- The Compliance Evaluation Method 'CE-HM'
- Static Component
- Dynamic Component
- A CE-HM Prototype Based on ADOxx
- Conclusion
- References
- A Compliance Management Ontology: Developing Shared Understanding through Models
- Introduction
- Related Work
- Research Methodology
- Ontology Development Approach
- Ontology Evaluation Approach
- Developing the Ontology
- Identify Purpose and Scope
- Ontology Building
- Ontology Evaluation and Refinement
- Document
- Compliance Management Ontology (Refined)
- Concluding Discussion
- References
- Monitoring and Prediction
- Patterns to Enable Mass-Customized Business Process Monitoring
- Introduction
- Monitoring Dimensions and Options
- Monitoring Patterns for Monitoring Dimensions
- Combining Patterns to Design Monitoring Infrastructures
- Related Work
- Conclusions
- References
- Predicting QoS in Scheduled Crowdsourcing
- Introduction
- Scheduled Crowdsourcing
- Prediction and Estimation
- Experiments
- Setup
- Experiment Types and Results
- Related Work
- Discussion
- Conclusion
- References
- Services
- Towards Proactive Web Service Adaptation
- Introduction
- Methodology
- Phase 1: Modeling the Service Composition Process
- Phase 2: Web Service Log Analysis
- Phase 3: Proactive Adaptation
- Experiment and Analysis
- Experiment Set Up
- Result Analysis
- Related Work and Discussions
- Conclusion
- References
- Clouding Services for Linked Data Exploration
- Introduction
- Linked Data Clouds
- The inCloud Structure
- The inCloud Life-Cycle
- Target-Configuration Service
- The Filtering Function
- The Prominence Function
- Example
- Cluster-Configuration Service
- The Clustering Function
- The Proximity Function
- Similarity-Configuration Service
- The Dimensioning Function
- The Similarity Function
- Example
- Related Work
- Concluding Remarks
- References
- Case Studies
- Business Intelligence Modeling in Action: A Hospital Case Study
- Introduction
- Case Study
- Background
- Business Problem: Emergency Department Patient Flow
- From Business Requirements to Data Warehouse Design
- BI Data Requirements for ED Activity Reporting
- Sub-phase: Actor Goal Indictor Object Sheet Definition
- Sub-phase: Actor Goal Indicator Object Graph Definition
- Sub-phases: Goal/Strategy and Indicator Maps Design
- Sub-phases: Process, Resource, and Actor Maps Design
- Sub-phase: Process Workflow Design
- Outcome: An ED Fact Schema for the ED Data Mart
- Lessons Learned and Reflections
- Conclusions
- References
- RadioMarch´e: Distributed Voice- and Web-Interfaced Market Information Systems under Rural Conditions
- Introduction
- Related Work
- Conceptual Design
- Regional Instance of RadioMarché
- Information Re-use Within a Region
- Information Aggregation across Regions
- Deploying RadioMarché in the Tominian Area, Mali
- Living Labs-Based Approach
- Local Situation
- Current Status
- Technical Setup
- Discussion and Next Steps
- References
- Publication of Geodetic Documentation Center Resources on Internet
- Introduction
- Sources of Data
- Files
- Databases
- Web Services
- iGeoMap
- Use Cases
- Comparison with Other Approaches
- Reception
- Conclusions
- References
- Business Process Design
- Business Process Design from Virtual Organization Intentional Models
- Introduction
- Overview of the 360 VisiOn
- The Intentional Level
- Obtaining Basic Business Processes Models
- Transformation Process: From Intentional to Organizational Models
- From the Alliance Identification to BPMN Collaboration Diagram
- Organizational Level Enrichment
- An Overview on Workflow Activity Patterns
- From the Collaboration Willingness to the BPMN Diagram
- Prototypical Implementation for the Stockbreeder Union
- Related Work
- Conclusions
- References
- A Novel Approach to Modeling Context-Aware and Social Collaboration Processes
- Introduction
- Motivation
- Related Work
- Modeling Paradigm
- Modeling Framework
- Use Cases
- Use Case - Design Game
- Use Case - Social Selection
- Use Case - Dependent Components
- Discussion
- Conclusion
- References
- Process Redesign for Liquidity Planning in Practice: An Empirical Assessment
- Introduction
- Related Work and Choice of Redesign Framework
- Use Case
- Financial Planning Process Prior to Redesign
- Key Performance Indicators
- Redesign Realization
- Evaluation
- Data Sample and Preparation
- Methodology
- Results
- Interpretation and Implications
- Conclusion and Outlook
- References
- Feature Models and Product Lines
- Building Information System Variants with Tailored Database Schemas Using Features
- Introduction
- Software Product Lines Case Study
- The ViT-Manager
- Feature Model of the Case Study
- Problem Statement and State of the Art
- Requirements for Tailored DB Schemas in SPLs
- Limitations of Currently Used Approaches
- Solution - Holistic Approach for Client and DB Schema
- Relationship between Features and DB Schema Elements
- From a Global DB Schema to a Variable Schema
- Composing a Tailored Information-System Variant
- Evaluation
- Feasibility of the Approach
- Improving Maintenance, Data Integrity, and Future Development
- Comparison to Existing Approaches
- Related Work
- Conclusion and Future Perspectives
- References
- Evolutionary Search-Based Test Generation for Software Product Line Feature Models
- Introduction
- Background
- Feature Models
- Metaheuristic Search
- Test Suite Generation
- Approach Overview
- Approach Realization
- Evaluation
- Objects of Analysis
- Experiment Design
- Results and Analysis
- Related Work
- Concluding Remarks
- References
- Feature Model Differences
- Introduction
- The Problem of Feature Model Differences
- Background
- Diff: A Running Example
- Set of Operators for Differencing of Feature Models
- Syntactic Diff
- Semantic Diff
- Composition and Decomposition of FMs
- Tool Support: Language and Environment
- Evaluation
- Complexity
- Applying Differencing Techniques: Co-evolution of FMs
- Related Work
- Conclusion
- References
- Human Factor
- Wiki Refactoring as Mind Map Reshaping
- Introduction
- Wiki Refactoring versus Database Refactoring
- A Refactoring Session
- WikiWhirl's Abstract Syntax
- Article Split (sourceArticle, newArticle)
- Article Merge (articleToMerge1, articleToMerge2)
- WikiWhirl's Concrete Syntax
- Mapping Wiki Models to Mind Maps
- Mapping Refactoring Operations to Manipulations on Mind Maps
- Importing and Exporting WikiWhirl Expressions
- Related Work
- Conclusions
- References
- Purpose Driven Competency Planning for Enterprise Modeling Projects
- Introduction
- Competency - A Critical Resource to Achieve the Goals of EM
- Research Approach
- Purpose of EM Projects
- Core Competencies in Enterprise Modeling Projects
- Purpose Driven Refinement of Competencies in EM Projects
- Develop Visions and Strategy
- Design/Redesign the Business
- Develop Information Systems
- Ensure Acceptance of Business Decisions
- Maintain and Share Knowledge about the Business
- Use EM to Analyze and Solve a Specific Business Problem
- Discussion
- Related Work
- Concluding Remarks and Future Work
- References
- Work Experience in PAIS - Concepts, Measurements and Potentials
- Introduction
- Classification and Literature Study
- `Work Experience' in PAIS Literature - A Review
- `Work Experience' in Daily Life
- `Work Experience' in Psychology - An Initial Touch
- `Work Experience' as Critical Factor in PAIS
- Discussion
- Conclusion
- References
- Tutorials
- Ontological Foundations for Conceptual Modeling with Applications
- Introduction
- References
- Designing Technical Action Research and Generalizing from Real-World Cases
- Introduction
- References
- Improvisational Theater for Information Systems: An Agile, Experience-Based, Prototyping Technique
- Introduction
- Outline
- References
- Full Model-Driven Practice: From Requirements to Code Generation
- Introduction
- Overview of the Tutorial
- References
- Author Index
