Advanced Information Systems Engineering: 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings

Front Matter....Pages -
Cloud Computing Automation: Integrating USDL and TOSCA....Pages 1-16
A Business Protocol Unit Testing Framework for Web Service Composition....Pages 17-34
Secure and Privacy-Preserving Execution Model for Data Services....Pages 35-50
Enabling the Analysis of Cross-Cutting Aspects in Ad-Hoc Processes....Pages 51-67
Context-Aware UI Component Reuse....Pages 68-83
Internet of Things-Aware Process Modeling: Integrating IoT Devices as Business Process Resources....Pages 84-98
Generating Multi-objective Optimized Business Process Enactment Plans....Pages 99-115
Supporting Risk-Informed Decisions during Business Process Execution....Pages 116-132
A Methodology for Designing Events and Patterns in Fast Data Processing....Pages 133-148
A Hybrid Model Words-Driven Approach for Web Product Duplicate Detection....Pages 149-161
The Anatomy of a Sales Configurator: An Empirical Study of 111 Cases....Pages 162-177
Modeling Personalized Adaptive Systems....Pages 178-192
Decomposition Driven Consolidation of Process Models....Pages 193-207
Analyzing Business Process Architectures....Pages 208-223
Eye-Tracking the Factors of Process Model Comprehension Tasks....Pages 224-239
On the Search for a Level-Agnostic Modelling Language....Pages 240-255
WSSL: A Fluent Calculus-Based Language for Web Service Specifications....Pages 256-271
Enabling the Collaborative Definition of DSMLs....Pages 272-287
Formal Methods for Exchange Policy Specification....Pages 288-303
Diagnostic Information for Compliance Checking of Temporal Compliance Requirements....Pages 304-320
A Quantitative Analysis of Model-Driven Code Generation through Software Experimentation....Pages 321-337
ROAD4SaaS: Scalable Business Service-Based SaaS Applications....Pages 338-352
A Multi-perspective Framework for Web API Search in Enterprise Mashup Design....Pages 353-368
Modeling Business Capabilities and Context Dependent Delivery by Cloud Services....Pages 369-383
Enabling Ad-hoc Business Process Adaptations through Event-Driven Task Decoupling....Pages 384-399
Analyzing and Completing Middleware Designs for Enterprise Integration Using Coloured Petri Nets....Pages 400-416
Managing the Evolution and Customization of Database Schemas in Information System Ecosystems....Pages 417-432
A Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps....Pages 433-448
Understanding Process Behaviours in a Large Insurance Company in Australia: A Case Study....Pages 449-464
Profiling Event Logs to Configure Risk Indicators for Process Delays....Pages 465-481
Coopetitive Data Warehouse: A Case Study....Pages 482-497
A Layered Multidimensional Model of Complex Objects....Pages 498-513
Business Model Ontologies in OLAP Cubes....Pages 514-529
Outsourcing Location Selection with SODA: A Requirements Based Decision Support Methodology and Tool....Pages 530-545
A Goal Driven Framework for Software Project Data Analytics....Pages 546-561
A Framework to Evaluate Complexity and Completeness of KAOS Goal Models....Pages 562-577
Is Knowledge Power? The Role of Knowledge in Automated Requirements Elicitation....Pages 578-593
Experience Breeding in Process-Aware Information Systems....Pages 594-609
Automated Construction of a Large Semantic Network of Related Terms for Domain-Specific Modeling....Pages 610-625
Enforcement of Conceptual Schema Quality Issues in Current Integrated Development Environments....Pages 626-640
Integrity in Very Large Information Systems....Pages 641-656
Testing a Data-Intensive System with Generated Data Interactions....Pages 657-671
Mapping Study about Usability Requirements Elicitation....Pages 672-687
Programming Incentives in Information Systems....Pages 688-703
Back Matter....Pages -