Advanced Information Systems Engineering Workshops
CAiSE 2011 International Workshops, London, UK, June 20-24, 2011, Proceedings
Published on 17. June 2011
XIII, 671 pages
978-3-642-22056-2 (ISBN)
Description
This book constitutes the thoroughly refereed proceedings of ten international workshops held in London, UK, in conjunction with the 23rd International Conference on Advanced Information Systems Engineering, CAiSE 2011, in June 2011.
The 59 revised papers were carefully selected from 139 submissions. The ten workshops included Business/IT Alignment and Interoperability (BUSITAL), Conceptualization of Modelling Methods (CMM), Domain Specific Engineering (DsE@CAiSE), Governance, Risk and Compliance (GRCIS), Integration of IS Engineering Tools (INISET), System and Software Architectures (IWSSA), Ontology-Driven Information Systems Engineering (ODISE), Ontology, Models, Conceptualization and Epistemology in Social, Artificial and Natural Systems (ONTOSE), Semantic Search (SSW), and Information Systems Security Engineering (WISSE).
More details
Other editions
Additional editions
Camille Salinesi | Oscar Pastor
Advanced Information Systems Engineering Workshops
CAiSE 2011 International Workshops, London, UK, June 20-24, 2011, Proceedings
Book
06/2011
1st Edition
Springer
€106.99
Shipment within 7-9 days
Content
- Title
- Table of Contents
- 6th International Workshop on BUSinness/IT ALignment and Interoperability (BUSITAL 2011)
- Business IT Alignment from Business Model to Enterprise Architecture
- Introduction
- Frameworks
- Enterprise Architecture
- Business Model Ontology
- IT Services
- A Business Visualization of an Enterprise Architecture
- Correspondence between Models
- Correspondence between BMO and ArchiMate
- IT Services
- Visualization of the Connected Models
- Instantiation Case: Switcher SA
- Discussion and Future Works
- Applying Patterns
- External Factors
- References
- Modeling Competition-Driven Business Strategy for Business IT Alignment
- Introduction
- Business Strategy
- Porter vs Stabell and Fjeldstad
- Case Scenario: A Value Shop for police investigation
- Modeling Competition-Driven Business Strategy
- Modeling of Business Strategy for Alignment
- The Value Configuration Meta-model
- Formalization
- Validation
- Conclusions and Future Work
- References
- The Quest for Know-How, Know-Why, Know-What and Know-Who: Using KAOS for Enterprise Modelling
- Introduction
- Small and Medium Sized Enterprises (SMEs)
- KAOS
- Modelling an SME with KAOS
- Overview
- Evaluation
- Discussion and Future Research
- References
- Value-Oriented Coordination Process Model Engineering
- Introduction
- From Coordination Model to Value Model
- Discussion and Conclusion
- References
- The Business Behavior Model: A Revised Version
- Introduction
- Theoretical Backgrounds for the BBM
- The Original BBM
- Problems in the Original BBM
- Improvement of the Business Behavior Model
- Illustrative Case Study
- Concluding Discussion and Future Work
- References
- The Man behind the Curtain: Exploring the Role of IS Strategic Consultant
- Introduction
- Literature Review
- Methodology
- The Theoretical Model
- Illustratory Instantiation
- Implementation of Our Model
- Discussions and Conclusions
- References
- Enterprise Interoperability Maturity: A Model Using Fuzzy Metrics
- Introduction
- Preliminaries
- MMEI Model
- MMEI Assessment
- MMEI Assessment Stages
- Linguistic Variable
- Linguistic Variable and OWA Operators
- Illustrative Example
- Discussion
- Conclusion
- References
- Service Value Networks for Competency-Driven Educational Services: A Case Study
- Introduction
- Basic Concepts
- Related Work
- Case Study
- SVNs Composition
- Supplier Perspective
- Customer perspective
- Combining Perspectives
- Running Example
- Conclusions and Future Work
- References
- Business/IT Alignment in Practice: Lessons Learned from a Requirements Project at P&G
- Introduction
- The Project
- The RE Methods Used
- Adoption Methodology
- Contextual Inquiry
- SEAM
- Academic Results of the Project
- Key Learning Points
- Conclusions
- References
- First International Workshop on Conceptualization of ModellingMethods (CMM 2011)
- Preface CCM 2011
- A Modelling Method for Consistent Physical Devices Management: An ADOxx Case Study
- Introduction
- Case Study: Consistent Physical Devices Management
- Method Design
- PDDSL: A Hybrid Modelling Language
- PDDSL Mechanisms: Services for Consistency Guidance
- PDDSL Modelling Procedure
- Method Implementation based on ADOxx
- ADOxx: A Platform for Developing Modelling Environments
- PDDSL Prototype Architecture
- PDDSL Modelling Language Implementation
- PDDSL M&As: Ontology-Based Consistency Services
- PDDSL MP: Ontology-Based Process Guidance Engine
- Lessons Learned
- Experiences from Method Design
- Experiences from Method Implementation
- Related Work
- Conclusion and Outlook
- References
- EIPW: A Knowledge-Based Database Modeling Tool
- Introduction
- Prior Research
- Reusable Artifacts
- Tools and Systems Using Pattern Techniques
- Overview of EIPW Architecture
- Methodology for Creating EIR and RIR
- The EIPW
- Empirical Evaluation
- Experiment Design
- Results
- Conclusions and Future Research
- References
- On the Conceptualization of a Modeling Language for Semantic Model Annotations
- Motivation
- Background: Semantic Annotation of Models
- Fundamental Concepts
- Components of Modeling Methods
- Conceptual Models and Ontologies
- Conceptualization of a Semantic Annotation Modeling Language
- Theoretical Foundations
- Formal Considerations
- Technical Characteristics
- Conclusion and Outlook
- References
- Modeling and Analyzing Non-Functional Properties to Support Software Integration
- Introduction
- Non-Functional Property Metamodel
- Non-Functional Properties in Software Integration
- Non-Functional Property Conflict Analysis
- Related Work
- Conclusion
- References
- First International Workshop on Domain Specific Engineering (DsE@CAiSE 2011)
- Preface DsE@CAiSE 2011
- Organization
- Domain Specific Languages and Standardization: Friends or Foes? - Invited Talk for DsE@CAiSE2011
- Ontology Engineering Based on Domain Specific Languages and the Application of Ontology Design Patterns
- Introduction
- Related Work
- Architecture of the Ontology Engineering Platform
- Applied Ontology Meta Models
- Design of Domain Specific Languages
- A Domain Specific Ontology Editor
- Summary and Future Work
- References
- A Domain Specific Metamodel for Semantic Web Enabled Multi-Agent Systems
- Introduction
- Metamodel for Semantic Web enabled MASs
- Semantic Web Agent's Internal Viewpoint
- Protocol Viewpoint
- MAS and Organizational Viewpoint
- Role and Behaviour Viewpoint
- Environmental and Services Viewpoint
- Agent - Semantic Web Service Interaction Viewpoint
- SEA_ML's Concrete Syntax
- Related Work
- Conclusion
- References
- Reconstructing the Blade Technology Domain with Grounded Theory
- Introduction
- IT Infrastructures
- Qualitative Content Analysis with Grounded Theory
- Deriving a Domain Model
- Conclusion and Outlook
- References
- Specification and Refinement of Domain-Specific ECA Policies
- Introduction
- Example Scenario
- Policy Specification
- Domain Modeling
- Policy Modeling
- Domain-Specific Policy Modeling
- Policy Refinement
- Related Work
- Conclusion
- References
- 4th International Workshop on Governance, Risk and Compliance: Applications in Information Systems (GRCIS 2011)
- Preface GRCIS 2011
- Patterns for Understanding Control Requirements for Information Systems for Governance, Risk Management, and Compliance (GRC IS)
- Introduction
- A Framework of Control Requirements for GRC IS
- Establishing a Pattern Catalogue of Control Effectiveness
- Exploring GRC Solutions with Control Patterns
- Discussion
- Conclusion
- References
- Exploring Features of a Full-Coverage Integrated Solution for Business Process Compliance
- Introduction
- Compliance-Aware Business Process Lifecycle
- Features for Compliance Support
- Design
- Analysis
- Configuration
- Enactment
- Evaluation
- Audit
- Conclusions and Open Challenges
- References
- A Systematic Review of Compliance Measurement Based on Goals and Indicators
- Introduction
- Phase 1: Selection of Related Work
- Identification of Search Engines and Other Sources
- Selection Criteria
- Inclusion/Exclusion Criteria and Procedures
- Phase 2: Analysis of Related Work
- Phase 3: Summary of Selected Papers
- Compliance Frameworks and Standards
- Measurement of Compliance Levels
- Discovery and Control of Non-compliant Business Processes
- Goal-Oriented Techniques and KPI
- Others
- Conclusions and Opportunities
- References
- Continuous Control Monitoring-Based Regulation: A Case in the Meat Processing Industry
- Introduction
- Continuous Control Monitoring-Based Regulation
- Automated Verification
- Continuous Monitoring
- Reasoning and Reconciliation over the Supply Chain
- Trust and Internal Control
- Regulatory Policy
- Pilot Study: CCM-R in the Meat Processing Industry
- Pilot Project
- Results
- Conclusions
- References
- Semantic Representation of Process and Service Compliance - A Case Study in Emergency Planning
- Introduction
- Semantic Service Descriptions
- Compliance in Emergency Management
- Solution Architecture
- Related Work
- Conclusion
- References
- A Framework for Organizational Compliance Management Tactics
- Introduction
- Research Approach
- Fundamentals of Compliance
- Compliance: Key Concepts and Definitions
- The Nature of Compliance
- The Compliance Tactics Framework
- Conclusions and Outlook
- References
- First Workshop on Integration of IS Engineering Tools (INISET 2011)
- Preface INISET 2011
- Tool Integration beyond Wasserman
- Introduction
- Diverging from Wasserman
- A Set of Categories
- A Way to Measure
- A Notion of Optimality
- A Method to Analyze Development Environments
- Identify the Member Sets and Their Dependencies
- Reason about Aspects
- Add Member Sets and Dependencies
- Minimize the Number of Member Sets
- Reason about Non-functional Requirements
- A Case Study
- Evaluating Our Reference Model
- Discussion and Conclusion
- Reference
- Integrating Computer Log Files for Process Mining: A Genetic Algorithm Inspired Technique
- Introduction
- Problem Description
- Process Discovery
- Merging Log Files
- Solution Design
- Genetic Algorithms
- Genetic Algorithm Inspired Technique for Merging Computer Log Files
- Proof of Concept
- Example Model
- Technical Implementation
- Tests and Results
- Discussion
- Conclusion
- References
- 9th International Workshop on System/Software Architectures (IWSSA 2011)
- Preface IWSSA 2011
- Ontology-Based Architectural Knowledge Representation: Structural Elements Module
- Introduction
- Related Work
- Arteon: SE-Module
- Conclusions and Future Work
- References
- The Overall Value of Architecture Review in a Large Scale Software Organization
- Introduction
- Empirical Study
- Methodology and Settings
- Findings
- Related Work
- Discussion
- Conclusion
- References
- Evaluating Complexity of Information System Architecture Using Fractals
- Introduction
- Fractal Math for Complexity Evaluation
- Evaluating Information Architecture Complexity Using Fractals
- Evaluation of Complexity of Computer Lab Network
- Evaluation of Complexity of Games Information System
- Observations
- Conclusion
- References
- Towards a Reconfigurable Middleware Architecture for Pervasive Computing Systems
- Introduction
- Motivation and Related Work
- Context Gathering and Management
- Middleware Reconfiguration
- Consistency
- Middleware Architecture and Service Model
- High-Level Middleware Architecture
- Service Model
- Service Reconfiguration
- Performance Evaluation
- Conclusions and Future Work
- References
- A Reference Architecture for Building Semantic-Web Mediators
- Introduction
- Related Work
- Reference Architecture
- Setup
- Data Integration
- Data Translation
- Support
- Case Study
- Conclusions
- References
- F-STREAM: A Flexible Process for Deriving Architectures from Requirements Models
- Introduction
- The F-STREAM Common Core Process
- Apply Refactoring to Requirements
- Generate Architectural Model
- Refine Architectural Model
- Variation and Extension Points of the F-STREAM Process
- Example of F-STREAM Instantiation for Adaptive Systems
- Apply Refactoring to Requirements
- Enhance Requirements
- Generate Architectural Model
- Refine Architectural Model
- Integrate with Reference Architecture
- Conclusion and Future Work
- References
- Architecting Climate Change Data Infrastructure for Nevada
- Introduction
- Background
- Related Work
- Challenges
- Architecture
- Collection
- Processing
- Availability
- Discussion
- Standards
- Performance
- Public Interaction
- Future Enhancements
- References
- A Coordination Space Architecture for Service Collaboration and Cooperation
- Introduction
- Service Collaboration
- Motivating Scenarios
- Discussion of Existing Technology
- Service Coordination Space Architecture
- Information Architecture
- Coordination Principles
- Architecture and Implementation
- Discussion and Evaluation
- Related Work
- Conclusions
- References
- A Framework to Support the Development ofCollaborative Components
- Introduction
- Collaborative Component Development Framework
- Component Structure and Architecture
- Behavior Models of Collaborative Components
- Orchestration Models to Specify the Behavior of Local Functionalities
- Composition Pattern of Components
- Concluding Remarks
- References
- Resource Allocation, Trading and Adaptation in Self-managing Systems
- Introduction
- Resource Management: Allocation, Trading and Adaptation
- The Resource Allocation Module
- The Resource Trading Module
- The Resource Self-adaptation Module
- The Interaction Workflow among the Modules for Resource Management
- Application Examples
- The ATM Example
- The ISOA Example
- Conclusions and Future Work
- References
- Third International Workshop on Ontology-Driven Information Systems Engineering Workshop (ODISE 2011)
- Preface ODISE 2011
- Introduction
- Accepted Papers
- References
- Ontology Mining versus Ontology Speculation
- Design Patterns and Inductive Modeling Rules to Support the Construction of Ontologically Well-Founded Conceptual Models in OntoUML
- Introduction
- Background: OntoUML and Its Underlying Ontology
- Ontological Design Patterns and Inductive Process Models
- The Phase Design Pattern
- The Subkind Design Pattern
- The Role Design Pattern
- Tool Support
- Final Considerations and Future Work
- References
- Semantic-Based Case Retrieval of Service Integration Models in Extensible Enterprise Systems Based on a Business Domain Ontology
- Introduction
- Background: Service Integration in Enterprise Systems
- Case Retrieval Solution Using Business Domain Ontology
- Case-Based Reasoning Framework for the Reuse of Integration Knowledge
- Integration Case Structure and Case Similarity Assessment
- Business Domain Ontology for Standard Enterprise Systems Categorization
- Semantic Distance Measurement for Integration Context Similarity
- Evaluation and Prototype
- Related Work
- Conclusion
- References
- Sapphire: Generating Java Runtime Artefacts from OWL Ontologies
- Introduction
- OWL to Java: A Mapping Approach
- Realising the Mapping
- The Sapphire Runtime Library
- Type Mechanics
- Evaluation
- Code Size and Error Prevention
- Feature Comparison Matrix
- Initial Performance Analysis
- Related Work
- Conclusion and Future Work
- References
- Mooop - A Hybrid Integration of OWL and Java
- Motivation
- Java and OWL
- Existing Integration Approaches
- The Mooop Integration Approach
- OwlFrame
- Mapping
- Binding
- Case Study
- Conclusion and Outlook
- References
- 5th Ontology, Models, Conceptualization and Epistemology in Social, Artificial and Natural Systems Workshop (ONTOSE 2011)
- Preface ONTOSE 2011
- Improving the Effectiveness of Multimedia Summarization of Judicial Debates through Ontological Query Expansion
- Introduction and Motivation
- Multimedia Summarization: The Key Elements
- Multimedia Summarization: Overview of The Process
- Multimedia Summarization: The Core Components
- The Semantic Component: Ontological Query Expansion
- The Computational Component: Hierarchical Clustering
- An Explicatory Judicial Case Study
- Case Study
- Experimental Investigation
- Conclusions
- References
- Ontology-Based Composition and Matching for Dynamic Service Coordination
- Introduction
- Service Collaboration and Coordination Spaces
- Coordination Request Specification and Composition
- Ontologies and Description Logic
- Ontology-Based Specification of Requests
- Ontology-Based Object, Goal and Process Composition
- Coordination Principles
- Evaluation
- Related Work
- Conclusions
- References
- Detecting Antipatterns Using a Web-Based Collaborative Antipattern Ontology Knowledge Base
- Introduction
- Related Work
- Antipattern Detection in a Nutshell
- Web-Based Collaborative Ontology Editing
- Tool Information and Preliminary Results
- Concluding Remarks
- References
- POWER - Politics Ontology for Web Entity Retrieval
- Introduction
- Related Work
- Domain Conceptualisation and Scope
- Architecture and Deployment
- Linked Data and Provenance
- Populating POWER
- Bootstrap
- Enrichment
- Statistics
- Conclusions and Future Work
- References
- An Error Correction Methodology for Time Dependent Ontologies
- Introduction
- Initial Ontology Construction
- Centred Domain Ontology
- Ontology Construction
- Validation of Initial Ontology
- Adaptation of Ontology
- Adaptation Measures
- Decay Rate Characteristics
- Decay Rate Proof
- Evaluation
- Discussion of Results
- Conclusion and Future Work
- References
- An Ontology-Based Integrated Approach to Situation Awareness for High-Level Information Fusion in C4ISR
- Introduction
- Background
- Situation Awareness for C4ISR
- The JC3IEDM
- The SAW-CORE Ontology
- The JC3IEDM OWL Ontology for Situation Awareness
- Analysis of the Integration
- Conclusions and Outlook
- References
- Socio-technic Dependency and Rationale Modelsfor the Enterprise Architecture Management Function
- Introduction
- Foundations and prefabricates
- i* Model
- Goal-Question-Metric Approach
- Project Dependency Model
- Socio-technic Dependency and Rationale Models for the EA Management Function
- Related Work
- Critical Reflection and Outlook
- References
- First International Workshop on Semantic Search (SSW 2011)
- Preface SSW 2011
- Enhancing the Interface for Ontology-Supported Homonym Search
- Introduction
- Background
- Improving the Web Search Experience When Using Ontology-Supported Web Search
- Principles of Ontology-Supported Web Search
- Improving the OSWS System with Parallel Result Display for Homonyms
- Conclusions and Future Work
- References
- Combining Faceted Search and Query Languages for the Semantic Web
- Introduction
- Semantic Faceted Search
- Queries and Query Transformations
- Faceted User Interface and Interaction
- Usability Evaluation
- Related Work
- Conclusion
- References
- Towards a Collaborative Framework for Image Annotation and Search
- Introduction
- Collaborative Image Annotation and Search Framework
- Data Model
- Uncertainty in Trusted-Triple Graph
- User Credibility Extraction
- Query and Reasoning
- Ranking
- Implementation and Evaluation
- Related Work
- Conclusion and Future Plan
- References
- Semantic Reasoning with SPARQL in Heterogeneous Multi-context Systems
- Introduction
- Preliminaries
- SPARQL-Based Multi-context Systems
- Abstract Variable Substitution
- SPARQL-MCS Syntax
- SPARQL-MCS Semantics
- Monotonicity and Minimal Equilibria
- Related and Future Work
- References
- Semantic Ontology-Based Strategy for Image Retrieval in Conceptual Modelling
- Introduction
- Search Strategy
- Conclusion and Further Work
- References
- First International Workshop on Information Systems Security Engineering (WISSE 2011)
- Preface WISSE 2011
- Taking into Account Functional Models in the Validation of IS Security Policies
- Introduction
- Tools for V&V of Role-Based Authorisation Constraints
- Validation Tools Based on OCL
- RBAC Constraints and Alloy
- SecureMova
- Motivating Example
- Using Testing and Verification Techniques
- Some Solutions to Explore
- Using the B Formal Method
- Support of History-Based Constraints
- The astd Notation
- Using astd to Validate a Policy
- Putting It All Together
- Conclusion
- References
- Expressing Access Control Policies with an Event-Based Approach
- Introduction
- Background
- An Overview of eb3
- The Running Example
- Modeling Access Control Policies
- eb3sec
- Permission and Prohibition
- Obligation
- Separation of Duty
- Combining AC Rules
- Discussion about eb3sec
- Interpreting eb3sec Models
- Related Work
- Conclusion and Future Work
- References
- An Extended Ontology for Security Requirements
- Introduction
- Baseline
- The Extended Ontology
- ADS-B - A Case Study
- Modeling the ADS-B Example in Problem Frames
- Modeling the ADS-B Example in Secure Tropos
- Modeling the ADS-B Example Using the Extended Ontology
- Related Work
- Conclusions
- References
- A Pattern Based Approach for Secure Database Design
- Introduction
- Related Work
- The Pattern-Based Approach
- Pattern Specification
- Transformation Rules Specification
- Application Development
- Data Model Verification
- Data Model Transformation
- Summary
- References
- Analysis of Application of Security Patterns to Build Secure Systems
- Introduction
- Analysis of Proposals
- Discussion and Related Works
- Conclusions
- References
- Modeling Support for Delegating Roles, Tasks, and Duties in a Process-Related RBAC Context
- Introduction
- UML Extension for Modeling Delegation
- Example Process with Delegation
- Related Work
- Conclusion
- References
- Author Index
