Advanced Information Systems Engineering
23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings
Published on 29. June 2011
XVIII, 684 pages
978-3-642-21640-4 (ISBN)
Description
This book constitutes the refereed proceedings of the 23rd International Conference on Advanced Information Systems Engineering, CAiSE 2011, held in London, UK, in June 2011.
The 42 revised full papers and 5 revised short papers presented were carefully reviewed and selected from 320 submissions. In addition the book contains the abstracts of 2 keynote speeches. The contributions are organized in topical sections on requirements; adaptation and evolution; model transformation; conceptual design; domain specific languages; case studies and experiences; mining and matching; business process modelling; validation and quality; and service and management.
More details
Other editions
Additional editions
Haris Mouratidis | Colette Rolland
Advanced Information Systems Engineering
23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings
Book
06/2011
1st Edition
Springer
€106.99
Shipment within 7-9 days
Persons
Content
- Title
- Preface
- Organization
- Table of Contents
- Keynotes
- Ten Open Challenges at the Boundaries of Software Engineering and Information Systems
- Total Integration: The Case of Information Systems for Olympic Games
- Session 1: Requirements
- Requirements Management with Semantic Technology: An Empirical Study on Automated Requirements Categorization and Conflict Analysis
- Introduction
- Related Work
- Requirement Conflicts Detection and Requirements Tracing
- Natural Language Processing
- Ontology-Based Reporting
- Semantic Requirements Categorization
- Semantic Conflict Analysis
- Research Issues
- Case Study Description
- Results
- Requirements Categorization
- Requirements Conflict Analysis
- Threats to Validity
- Discussion and Conclusion
- References
- S^{3}C: Using Service Discovery to Support Requirements Elicitation in the ERP Domain
- Introduction
- Requirements Elicitation Based on Sure Step and Its Limitations
- Semantic Service Search and Composition (S^{3}C)
- Identifying the Needs of Business Consultants
- Identifying Research Informing S^{3}C
- The S^{3}C Approach
- The S^{3}C Tool Environment
- Initial Evaluation of the S^{3}C Solution Explorer
- S^{3}C Solution Explorer Initial Utility and Usability Evaluation at Terna
- S^{3}C Solution Explorer Utility Evaluation at InsideAx
- Threats to Validity
- Lessons Learned
- Conclusions and Further Work
- References
- Requirements Engineering for Self-Adaptive Systems: Core Ontology and Problem Statement
- Introduction
- Preliminaries
- General Requirements Problem
- Adaptive Requirements and Continuous Adaptive RE (CARE) Framework
- Runtime Requirements Adaptation Problem
- RE for SAS and Its Core Ontology
- Runtime Requirements Adaptation Problem Illustration
- Related Work
- Discussion
- Conclusions and Future Work
- References
- Session 2: Adaptation and Evolution
- A Fuzzy Service Adaptation Based on QoS Satisfaction
- Introduction
- Related Work
- Fuzzy Parameters for QoS Property Description
- Specifying Satisfaction Function
- Decision Making for Adaptation and Evolution
- Experiments and Implementation
- Conclusions and Future Work
- References
- Dealing with Known Unknowns: Towards a Game-Theoretic Foundation for Software Requirement Evolution
- Introduction
- The Contributions of This Paper
- Case Study
- Modeling Requirement Evolution
- Evolution on Requirement Model: Controllable and Observable
- Game-Theoretic Account for Probability
- Making Decision: What Are the Best Things to Implement
- Handling Complex Evolution
- Limitation
- Related Works
- Conclusion
- References
- Goal-Based Behavioral Customization of Information Systems
- Introduction
- Goal Models
- Enabling Goal-Driven Customization
- Connecting Goal Models with Code
- Adding Customization Constraints
- Identifying Admissible Plans
- Constructing and Using the Policy Tree
- Conditioning and Instrumenting the Source Code
- In Action
- Applying Goal-Based Customization
- Related Work
- Conclusions
- References
- Session 3: Model Transformation 1
- From Requirements to Models: Feedback Generation as a Result of Formalization
- Requirements Documents Suffer from Missing Information
- From Text to Models: Our Existing Approaches
- From Scenarios to Message Sequence Charts
- From Automata Descriptions to Automata
- Feedback Generation Instead of Inference Assumptions
- Feedback Generation for MSCs
- Feedback Generation for Automata
- Evaluation
- Experiment Setting
- Experiment Results
- Lessons Learned
- Related Work
- Text-Based Modeling
- Natural Language Processing in Requirements Engineering
- Summary
- References
- A Web Usability Evaluation Process for Model-Driven Web Development
- Introduction
- Related Work
- Web Usability Evaluation Process
- Establishment of Evaluation Requirements
- Specification of the Evaluation
- Design of the Evaluation
- Execution of the Evaluation
- Analysis of Changes
- Case Study
- Design of the Case Study
- Preparation of the Case Study
- Collection of the Data
- Analysis of Data
- Conclusions and Further Work
- References
- A Trace Metamodel Proposal Based on the Model Driven Architecture Framework for the Traceability of User Requirements in Data Warehouses
- Introduction
- Related Work
- A Traceability Approach and a Trace Metamodel for Data Warehouses
- Model Driven Architecture Metamodels for Traceability
- Proposed Metamodel
- Automatic Derivation of Traceability Models in Data Warehouses
- Example of Application
- Conclusions and Future Work
- References
- Session 4: Conceptual Design 1
- Ontological Foundations for Conceptual Part-Whole Relations: The Case of Collectives and Their Parts
- Introduction
- A Review of Formal Part-Whole Theories
- What are Collectives?
- Parthood Relations Involving Collectives
- The Member-Collection Relation
- The Subcollective-Collective Relation
- Towards a UML Profile for Modeling Collectives and Their Parts
- Final Considerations
- References
- Product-Based Workflow Design for Monitoring of Collaborative Business Processes
- Introduction
- Related Work
- Using PBWD for Collaborative Process Monitoring
- The Product Data Model
- Optimal Path in the PDM
- Derivation of Process Models
- Implementing the Methodology
- Conclusions
- References
- Modeling Design Patterns with Description Logics: A Case Study
- Introduction
- Baseline
- Case Study
- Formalizing Patterns
- Formalizing SI* Primitives
- Understanding and Formalizing a Pattern as a Query
- Enriching DL T-Box with Implicit Knowledge
- Representing the Problem in the ABox
- System Architecture
- Experimental Results
- Related Work
- Final Remarks
- References
- Session 5: Conceptual Design 2
- Interactively Eliciting Database Constraints and Dependencies
- Introduction
- Research Context
- The RAINBOW Approach
- Constraints and Dependencies in Conceptual Schemas
- State of the Art in Constraints and Functional Dependencies Mining
- An Interactive Process to Elicit Constraints and Functional Dependencies
- Overview
- Initialisation
- Analysing New Data Samples to Suggest Constraints and Dependencies
- Acquiring Constraints and Dependencies
- Evaluation
- Conclusion
- References
- A Conceptual Model for Integrated Governance, Risk and Compliance
- Introduction
- Methodology
- Conceptual Model
- Governance
- Risk Management
- Compliance
- Integrated GRC Conceptual Model
- Evaluation
- OCEG Capability Model
- Conceptual Model Quality
- Conclusion
- References
- Using Synchronised Tag Clouds for Browsing Data Collections
- Introduction
- Background
- Approach
- Model and Specification
- Framework
- Implementation
- Discussion
- Conclusions
- References
- Revisiting Naur's Programming as Theory Building for Enterprise Architecture Modelling
- Introduction
- Programming as Theory Building
- Programs as Models
- On Methods and Theory Building
- Theory Building and Testing as a Conversation Process
- Conversation Theory
- Argumentation Theory
- Implications for Enterprise Architecture
- References
- Session 6: Domain Specific Languages
- A DSL for Corporate Wiki Initialization
- Introduction
- WSLAnalysis
- WSLDesign
- WSL Realization
- WSL Example
- WSL Concrete Syntax
- Verification of WSL Maps
- EnactmentofWSLMaps
- Discussion through Related Work
- Conclusions
- References
- The REA-DSL: A Domain Specific Modeling Language for Business Models
- Introduction
- Resource - Event - Agent (REA)
- The REA Ontology
- REA Ontology Example
- Limitations of the REA Ontology
- The REA Domain Specific Language
- The Duality Model
- The Value Chain
- REA DSL Example
- REA DSL Tool Support
- Summary and Future Work
- References
- A Foundational Approach for Managing Process Variability
- Introduction
- Background
- Challenges for Managing Decoupled Process Variants
- Formal Model
- Behavioural Profiles
- A Set Algebra for Behavioural Profiles
- Strictness of Behavioural Relations
- Set-Theoretic Relations
- Set-Theoretic Operations
- Managing Process Variability
- Case Study
- Related Work
- Conclusion
- References
- Session 7: Case Studies and Experiences
- Tangible Media in Process Modeling - A Controlled Experiment
- Introduction
- Related Work
- Experiment Planning
- Goal and Hypotheses
- Experiment Setup and Sampling Strategy
- Experimental Material
- Participant Selection
- Operationalized Hypotheses
- Variables
- Analysis Procedures
- Experiment Execution and Data Collection
- Data Analysis
- Descriptive Statistics
- Data Set Preparation
- Measurement Reliability and Validity
- Hypothesis Testing
- Testing Potentially Influential Factors
- Interpretation of Results
- Validity Threats
- Generalizability of Findings
- Lessons Learned
- Conclusion
- References
- Experiences of Using Different Communication Styles in Business Process Support Systems with the Shared Spaces Architecture
- Introduction
- A Role of Shared Spaces in BPS Systems
- A System with Collaborative Planning
- Description
- Experience of Use
- A System with Specialized Structure of Shared Spaces
- Description
- Experience of Use
- A System with Communication Based on Status Changes
- Description
- Experience of Use
- Identifying Communication Styles
- Related Works
- Discussion and Future Plans
- References
- What Methodology Attributes Are Critical for Potential Users? Understanding the Effect of Human Needs
- Introduction
- Theoretical Foundations
- Conceptual Model and Research Hypotheses
- Attributes of a Methodology
- Personal Characteristics
- Discussion and Implications
- Future Research
- References
- Exploratory Case Study Research on SOA Investment Decision Processes in Austria
- Introduction
- Research Design
- Case Analysis
- Research Results Analysis
- Conclusions and Further Research
- References
- Session 8: Model Transformation 2
- A Metamodelling Approach for $i$* Model Translations
- Introduction
- The $i$* Framework: Evolution and Existent Variations
- A Metamodel View of $i$* Model Translation
- Wachsmuth's Proposal on Metamodel Adaptation
- Wachsmuth's Proposal: Relationships and Semantic Preservation
- Wachsmuth's Proposal: A Framework for $i$* Interoperability
- A Supermetamodel for $i$*
- Implementing $i$* Variants Translation
- Conclusions and Future Work
- References
- Automatic Generation of a Data-Centered View of Business Processes
- Introduction
- Use Case
- BP2OLC Procedure
- Step 1. From BPMN Model to Petri Net
- Step 2. Reachability Graph from Petri Net
- Step 3. Object Life Cycle from Reachability Graph
- Detecting and Showing Data Anomalies
- Related Work
- Conclusions and Future Work
- References
- Connecting Security Requirements Analysis and Secure Design Using Patterns and UMLsec
- Introduction
- Pattern-Oriented Security Requirements Analysis
- Pattern-Oriented Transition to Secure Architectural Design
- UMLsec4UML2
- Generic Security Components
- Generic Security Architectures
- Instantiation of GSAs
- Composition of Different GSA Instances
- Verification of Global Secure Software Architectures
- Validation
- Related Work
- Conclusions and Future Work
- References
- Transforming Enterprise Architecture Models: An Artificial Ontology View
- Introduction
- Conceptual Models and Modeling for Enterprise Architecture
- An Ontology of the Artificial
- Fundamental Constructs
- Operations of EA Models
- Projection
- Instantiation
- Refinement
- Specialization
- Derivation
- Linking
- Application
- Discussion
- References
- Session 9: Mining and Matching
- Handling Concept Drift in Process Mining
- Introduction
- Related Work
- Aspects and Nature of Change in Business Processes
- Approaches to Detecting Drifts in Event Logs
- Causal Footprints
- Features Capturing the Manifestation of Activity Relationships
- Statistical Hypothesis Tests to Detect Drifts
- Case Study and Discussion
- Outlook
- Conclusions
- References
- An Iterative Approach for Business Process Template Synthesis from Compliance Rules
- Introduction
- Preliminaries
- Process Runs as Linear Sequences
- Linear Temporal Logic
- Finding All LTL-Models of a Given LTL Formula
- Synthesis of Process Templates from Compliance Rules
- Overview
- LTL Encoding
- Extracting Traces
- Analysis of Extracted Traces
- Generating Process Templates
- Evaluation of the Synthesized Process Template
- Implementation
- Related Work
- Conclusion
- References
- A Design of Business-Technology Alignment Consulting Framework
- Introduction
- Business and IT Alignment from a Socio-technical Viewpoint
- Articulation of Complex Business and IT Alignment Requirements
- The Design of the Business-Technology Alignment Consulting Framework
- Conceptual Model of the Consulting Framework
- The Application of Business Services Analysis
- Business Service Analysis for the Alignment
- Norms for Governing the Business Behaviour
- Evaluate the Cultural Values of Business Services
- Conclusion
- References
- ONTECTAS: Bridging the Gap between Collaborative Tagging Systems and Structured Data
- Introduction
- Related Work
- Problem Statement
- Ontology Extraction from Collaborative TAgging Systems (ONTECTAS) Algorithm
- Preprocessing
- Detecting Potential Relationships Using Association Rules
- Pruning Edges between Bi-gram Elements
- Detecting Headwords in Multi-word Tags
- Using Lexico-Syntactic Patterns
- Exploiting Co-parents to Find More is-a Relationships
- Experiments
- Datasets and Assumptions
- Evaluation of ONTECTAS in Detecting HAS-A Relationships
- Evaluation of ONTECTAS in Detecting IS-A Relationships
- Comparing ONTECTAS to Other Algorithms
- Comparing with a Gold Standard
- Conclusion and Future Work
- References
- Session 10: Business Process Modelling
- Cognitive Complexity in Business Process Modeling
- Introduction
- Measuring the Cognitive Load of Process Models
- Comprehensibility and Cognitive Load Theory
- Influence Factors for Model Comprehensibility
- Research Model
- Research Method
- Design and Measures
- Materials
- Participants
- Results
- Results for Hypothesis 1
- Results for Hypothesis 2
- Results for Hypothesis 3
- Discussion
- Limitations
- Implications and Conclusion
- References
- Human-Centered Process Engineering Based on Content Analysis and Process View Aggregation
- Introduction
- Challenges and Overall Methodology
- Qualitative Content Analysis
- Qualitative Content Analysis in General
- Qualitative Content Analysis in the Context of Business Processes
- Challenges of Qualitatively Analyzing To-Do's
- Homogeneity of Activity Labels
- Dealing with Different Granularity
- Identification of Process Specifications
- Preparation of Logs and Process Mining
- Case Study
- Collection of To-Do's in the Teaching Process
- Content Analysis of To-Do's, Log Preparation, and Mining
- Related Work
- Conclusion
- References
- Process Model Generation from Natural Language Text
- Introduction
- Background
- Transformation Approach
- Sentence Level Analysis
- Text Level Analysis
- Process Model Generation
- Evaluation of Generated Process Models
- Related Work
- Conclusion
- References
- A Semantic Approach for Business Process Model Abstraction
- Introduction
- Activity Aggregation
- Foundations
- Activity Aggregation as Cluster Analysis Problem
- Activity Distance Measures
- Process Model Collection Abstraction Fingerprint
- Empirical Validation
- Validation Setup
- Validation Results
- Related Work
- Conclusions and Future Work
- References
- On the Automatic Labeling of Process Models
- Introduction
- Naming of Process Models in Practice
- Event-Driven Process Chains
- Classification of Naming Strategies
- An Automatic Approach to Generate Process Names
- Related Work
- Conclusion
- References
- Session 11: Validation and Quality
- Pattern-Based Modeling and Formalizing of Business Process Quality Constraints
- Introduction
- Related Work
- Scenario
- Modeling Quality Constraints with EPPSL
- Modeling Basic Blocks
- Modeling Temporal Relationships
- Modeling Logical Relationships
- Translation of EPPSL Models into CTL-Formulas
- The Translation Strategy for Simple Models
- The Translation Strategies for Complex Models
- Conclusion and Outlook
- References
- Quality Evaluation and Improvement Framework for Database Schemas - Using Defect Taxonomies
- Introduction
- State of the Art
- Framework Reminder
- Quality Requirements
- Defect Taxonomy
- Complex Constructs
- Redundant Contructs
- Foreign Constructs
- Irregular Constructs
- Framework Application
- Conclusion
- References
- Validation of Families of Business Processes
- Introduction
- Application Context of Business Process Families
- Solution Space Model Dependencies and Validation
- Modeling with Description Logics
- Representing Models of Business Process Families
- Well-Formedness in the Business Process Model Templates
- Validation Using Description Logics
- Correctness of the Validation
- Proof-of-Concept and Discussion
- Related Work
- Conclusion
- References
- Session 12: Service and Management 1
- Using SOA Governance Design Methodologies to Augment Enterprise Service Descriptions
- Introduction
- SOA Governance
- SOA Governance - A Service Design Example
- Automated Annotation Framework
- Service Knowledge Base
- Service Signature Automaton
- Automated Annotation Solution
- Automaton Construction
- Annotation Procedure
- Automated Annotation Evaluation
- Evaluation Environment
- Annotation Completeness
- Annotation Accuracy
- Annotation Correctness
- Related Work
- Conclusion and Future Work
- References
- Management Services - A Framework for Design
- Introduction
- Related Research
- A Framework for Management Service Design
- The REA Business Ontology
- REA Management Ontology
- Generic Service Model
- Management as a Service
- Design Method
- Demonstration
- BSRM Modeling Notation
- Italian Wine Producing
- Robot Vacuum Cleaner
- Conclusion
- References
- Bottom-Up Fault Management in Composite Web Services
- Introduction
- Fault Model
- Bottom-up Fault Taxonomy
- State of a Service
- Fault Coordinators
- The Fault Propagation Protocol
- Soft-State Sender Algorithm
- Soft-State Receiver Algorithm
- Example
- Performance Evaluation
- Related Work
- Conclusion
- References
- Understanding the Diversity of Services Based on Users' Identities
- Introduction
- Modeling User Diversity in Service Environment
- Actors in Service Environment
- $i$*-Context for Web Service
- Bridging User Diversity and Service Diversity
- From User Diversity to Service Diversity
- Social Position's Influence over Service Selection
- Agent Attributes' Influence over Service Customization
- Web Service Selection and Customization using i*-Context
- Web Service Selection and Customization Process
- Case Study
- Related Work
- Conclusion and Discussion
- References
- Session 13: Service and Management 2
- Request/Response Aspects for Web Services
- Introduction
- Related Work
- Request/Response Aspects
- Framework for Request/Response Aspects
- Pointcut Description
- Implementation
- Advice Interface
- Aspect Configurator
- Aspect Provider
- Security Manager
- Aspect Invocation Handler
- Evaluation
- Use Case 1: Data Transfer
- Use Case 2: Data Compression
- Use Case 3: Data Encryption
- Conclusions
- References
- Using Graph Aggregation for Service Interaction Message Correlation
- Introduction
- Assumptions and Notations
- Event Log Format and Sample
- Message Correlation
- Proposed Approach
- Philosophy, Definitions and Properties
- Step By Step Scenario of Building the ACG
- Algorithm for Building the ACG
- Using Inverted Indexes for Efficient Message-Node Association
- Using the ACG for Identifying Process Instances
- Discussion
- Implementations and Experiments
- Related Work
- Conclusion and Perspectives
- References
- Supporting Dynamic, People-Driven Processes through Self-learning of Message Flows
- Introduction
- Motivating Scenario
- Related Work
- Approach
- Models
- Probabilistic Process Model
- Probabilistic Message State Model
- Prediction and Self-adjusting Mechanisms
- Probabilistic Process Management
- Message Prediction
- Message State Adjustment
- Self-learning Message Flows
- Evaluation
- Experiment Setup and Success Metrics
- Results
- Discussion
- Conclusion
- References
- Business Process Service Oriented Methodology (BPSOM) with Service Generation in SoaML
- Introduction
- BPSOM Definition
- BPMN Use in the BPSOM Business Modeling Discipline
- SoaML Use in BPSOM Design Discipline
- From BPMN Models to SoaML Models and Beyond
- Related Work
- Conclusions and Future Work
- References
- Session 14
- Panel on Green and Sustainable IS
- Author Index
