Fundamental Approaches to Software Engineering: 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel (auth.), José Luiz Fiadeiro, Paola Inverardi (eds.)3540787429, 9783540787426

This book constitutes the refereed proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering, FASE 2008, held in Budapest, Hungary, in March/April 2008 as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software.

The 26 revised full papers presented together with 5 tool demonstrations were carefully reviewed and selected from 119 submissions. The papers are organized in topical sections on requirements and architectures, models and model transformations, conceptual models and UML, service engineering and adaptable services, verification and testing, and objects and components.

---

Table of contents :
Front Matter….Pages –
Deriving Non-zeno Behavior Models from Goal Models Using ILP….Pages 1-15
What’s in a Feature : A Requirements Engineering Perspective….Pages 16-30
Formal Approach to Integrating Feature and Architecture Models….Pages 31-45
Correctness-Preserving Configuration of Business Process Models….Pages 46-61
Consistent Integration of Models Based on Views of Visual Languages….Pages 62-76
Translating Model Simulators to Analysis Models….Pages 77-92
Orthographic Modeling Environment….Pages 93-96
HOL-OCL: A Formal Proof Environment for uml / ocl ….Pages 97-100
Towards Faithful Model Extraction Based on Contexts….Pages 101-115
Leveraging Patterns on Domain Models to Improve UML Profile Definition….Pages 116-130
When Things Go Wrong: Interrupting Conversations….Pages 131-145
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services….Pages 146-162
Engineering Service Oriented Applications: From StPowla Processes to SRML Models….Pages 163-178
A Logic of Graph Constraints….Pages 179-198
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects….Pages 199-214
Modelling and Verification of Timed Interaction and Migration….Pages 215-229
A Model Checking Approach for Verifying COWS Specifications….Pages 230-245
Contextual Integration Testing of Classes….Pages 246-260
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames….Pages 261-275
A Domain Analysis to Specify Design Defects and Generate Detection Algorithms….Pages 276-291
Automated Analysis of Permission-Based Security Using UMLsec….Pages 292-295
Software Quality Improvement Via Pattern Matching….Pages 296-300
Object Composition in Scenario-Based Programming….Pages 301-316
Regular Inference for State Machines Using Domains with Equality Tests….Pages 317-331
COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems….Pages 332-346
Verification of Architectural Refactorings by Rule Extraction….Pages 347-361
Formal Model-Driven Program Refactoring….Pages 362-376
An Algebraic Semantics for MOF….Pages 377-391
A Formal Framework for Developing Adaptable Service-Based Applications….Pages 392-406
Language-Based Optimisation of Sensor-Driven Distributed Computing Applications….Pages 407-422
Clint: A Composition Language Interpreter (Tool Paper)….Pages 423-427
Back Matter….Pages –