Software and Data Technologies
4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers
Published on 30. March 2011
XIII, 291 pages
978-3-642-20116-5 (ISBN)
Description
This book constitutes the refereed proceedings of the 4th International
Conference on Software and Data Technologies, ICSOFT 2009, held in
Sofia, Bulgaria, in July 2009.
The 19 revised full papers presented together with two invited papers
were carefully reviewed and selected as best papers from 212
submissions. The papers are organized in topical sections on enterprise
software technology; software engineering; distributed systems; data
management; knowledge-based systems.
More details
Series
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Illustrations
XIII, 291 p. 95 illus., 34 illus. in color.
File size
5,74 MB
ISBN-13
978-3-642-20116-5 (9783642201165)
DOI
10.1007/978-3-642-20116-5
Schweitzer Classification
Other editions
Additional editions
José Cordeiro | AlpeshKumar Ranchordas | Boris Shishkov
Software and Data Technologies
4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers
Book
04/2011
1st Edition
Springer
€53.49
Shipment within 7-9 days
Content
- CCIS 50
- Preface
- Conference Committee
- Table of Contents
- Invited Papers
- IoS-Based Services, Platform Services, SLA and Models for the Internet of Services
- Introduction
- The Concept, Value and Characteristics of Services
- The Concept of Service
- The Economical Value of Services
- Intrinsic Characteristics Services
- Platform Services
- Managing Dependencies in IoS-Based Service Compositions
- Introducing Dependencies
- Approach to Managing Dependencies
- Dependency Model Creation
- Models for the Internet of Services
- Integrated Service Engineering
- Support by Model Matching
- Conclusions
- References
- Pragmatic Web Services: A Semiotic Viewpoint
- Introduction
- Service Oriented Architecture and Web Services - A Motivating Example
- The Pragmatic Web
- Semiotics as the Theoretical Underpinning
- Affordances, Norms and Deontic Logic
- Speech Act Theory
- Embedding Semiotics into Web Service Discovery
- Conclusions
- References
- Part I Enterprise Software Technology
- Unified Hosting Techniques for the Internet of Tradeable and Executable Services
- Introduction
- Related Work
- Abstraction of Service Packages
- Abstraction of Containers
- A Formal Notation for Containers
- Unified Hosting Environment
- Deployment
- Monitoring and Adaptation
- Testing
- Interfaces
- Discussion and Conclusions
- References
- Service Differentiation in Multi-tier Application Architectures
- Introduction
- Service Differentiation
- Mechanisms for Service Differentiation
- Problem Formulation
- Prior Work
- Algorithm Description
- Definitions
- Algorithm Summary
- SAA/SDA Activation and Deactivation Algorithm
- Simulation and Analysis
- Simulation Goals and Assumptions
- Simulation Results and Analysis
- Conclusions
- References
- Lessons Learned on the Development of an Enterprise Service Management System Using Model-Driven Engineering
- Introduction
- Model-Driven Engineering
- Case Study Description
- System Requirements
- Technical Approach
- Tool Selection
- Report on Experience
- System Description
- Process Practices
- Discussion
- Quantitative Analysis
- Lessons Learned
- Conclusions
- References
- Part II Software Engineering
- Checking Regulatory Compliance of Business Processes and Information Systems
- Introduction
- Regulation
- Representing Regulations
- Describing FSMs
- Checking Process
- Overview
- Example
- Terminology Matching
- Model Checking
- An Example of Exemption
- Related Work
- Conclusions and Future Work
- References
- A Decision Support Scheme for Software Process Improvement Prioritization
- Introduction
- Related Work
- Software Process Improvement
- COQUALMO
- Proposed Decision Support Scheme
- Differentiation from COQUALMO
- Definition
- Case Studies
- Conclusions
- References
- Development of a Family of Personalized Mobile Communicators
- Introduction
- Seamless SPL Development
- Case Study: Communicators for People with Disabilities
- Feature Analysis
- Product Line Design
- Product Line Implementation
- Related Work
- Conclusions
- References
- Reverse Generics: Parametrization after the Fact
- Introduction
- Reverse Generics
- Dealing with the Language Features
- Discussion
- Related Work
- Conclusions
- References
- A Calculus of Agents and Artifacts
- Introduction
- The Programming Model
- The Core Calculus
- Related Work and Conclusions
- References
- Using Trace to Situate Errors in Model Transformations
- Introduction
- Related Work
- Using Traceability in Model Driven Engineering
- Needed Trace Information
- Trace Exploitation for Model Transformation Testing
- Traceability Metamodels Description
- Local Trace Metamodel
- Global Trace Metamodel
- Trace Generation
- Error Localization Algorithm
- Case Study
- Overview
- Illustration of the Localization Algorithm
- Error Localization in Transformation Chain
- Conclusions and Future Works
- References
- Design of SOA Services: Experiences from Industry
- Motivation
- Defining Service-Oriented Architecture
- State-of-the-Art of SOA Service Design
- Multiple-Case Study of Successful SOA Projects
- Research Design
- Context of the Cases
- Service Design Processes
- Implementation
- Comparison of the Cases
- Conclusions
- References
- Part III Distributed Systems
- Division of Water Supply Systems into District Metered Areas Using a Multi-agent Based Approach
- Introduction
- Water Supply Complexities
- Division of WSS into District Metered Areas
- Multi-agent Metaphor
- Implementation
- Clustering by Exploration
- Negotiation of Boundaries
- Practical Issues for Implementation
- Results
- Conclusions
- References
- Rateless Codes for Reliable Data Transmission over HomePlug AV Based In-Home Networks
- Introduction
- HomePlug AV
- Fountain Codes
- Description
- Online Codes
- Evaluation
- Evaluation of the Variable Capacity of the Physical Layer
- Evaluation of the Contention-Based Service of the MAC Layer
- Online Codes for Reliable Data Transmission
- Conclusions
- References
- Replication Strategies for Business Objects in SOA
- Introduction
- Synchronization of Business Objects in SOA
- Related Work
- Profiling Business Objects
- Business Object Model
- Profiling of Business Object Instances
- Business Object Analysis Tool
- Determination of System Parameters
- System Model
- Parameter Determination
- Execution of Cost Model
- Selection of Replication Strategy
- Full Copy vs. Delta
- Bulking
- Conclusions
- References
- A Hybrid Approach for Database Replication: Finding the Optimal Configuration between Update Everywhere and Primary Copy Paradigms
- Introduction
- System Model
- Replication Protocol
- Extending Primary-Copy Approach
- Protocol Description
- Dynamic Load-Aware Replication Protocol
- Fault Tolerance
- Experimental Results
- Conclusions
- References
- Educational Resource Scheduling Based on Socio-inspired Agents
- Introduction
- Description of the Problem
- The Design of the System
- Experimental Setup and Results
- Data Sets
- Results
- A Complexity Science View
- Conclusions
- References
- Part IV Data Management
- Managing Risks by Integrity Constraints and Integrity Checking
- Introduction
- Risk and Integrity
- Similarities
- Differences
- Reconciliation
- Inconsistency Tolerance
- Risk Management
- Brute-Force Risk Management
- Inconsistency-Tolerant Risk Management
- Dependable Risk Management
- Repair-Based Risk Management (Repairing the Old State)
- Repair-Based Risk Management (Repairing the New State)
- Consistent Query Answering for Risk Management?
- Related Work
- Conclusions
- Energy Efficient Data Sorting Using Standard Sorting Algorithms
- Introduction
- Related Work
- Sorting Algorithms
- Optimizing Energy
- Experimental Design
- Experimental Runs
- Data Collection
- Evaluation of Results
- Threats to Validity
- Summary and Conclusions
- References
- Part V Knowledge-Based Systems
- Analysis of Emergent and Evolving Information: The Agile Planning Case
- Introduction
- Information Analysis and Spatial Hypertext
- Agile Planning
- Related Work
- The ASAP Approach
- Requirements
- Design Concepts and Features
- Current Status and Ongoing Work
- Evaluation
- Towards a Framework for Information Analysis
- Conclusions
- References
- Emotion Based User Interaction in Multimedia Educational Applications
- Introduction
- Overview of the System
- Educational Agents
- Emotion Recognition and Emotion Generation
- Recognizing Emotional States
- Agents That Act Emotionally
- Conclusions and Future Work
- References
- Author Index
