Fundamental Approaches to Software Engineering

by Fiadeiro, Jose Luiz; Inverardi, Paola

• ISBN13: 9783540787426
• ISBN10: 3540787429
• Format: Paperback
• Copyright: 2008-05-16
• Publisher: Springer-Verlag New York Inc

Summary

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

Requirements and Architectures
Deriving Non-zeno Behavior Models from Goal Models Using ILP	p. 1
What's in a Feature: A Requirements Engineering Perspective	p. 16
Formal Approach to Integrating Feature and Architecture Models	p. 31
Models, Model Transformations I
Correctness-Preserving Configuration of Business Process Models	p. 46
Consistent Integration of Models Based on Views of Visual Languages	p. 62
Translating Model Simulators to Analysis Models	p. 77
Conceptual Models, UML
Orthographic Modeling Environment	p. 93
HOL-COL: A Formal Proof Environment for UML/OCL	p. 97
Towards Faithful Model Extraction Based on Contexts	p. 101
Leveraging Patterns on Domain Models to Improve UML Profile Definition	p. 116
Service Engineering/Adaptable Services
When Things Go Wrong: Interrupting Conversations	p. 131
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services	p. 146
Engineering Service Oriented Applications: From StPowla Processes to SRML Models	p. 163
Verification and Testing I
A Logic of Graph Constraints	p. 179
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects	p. 199
Modelling and Verification of Timed Interaction and Migration	p. 215
A Model Checking Approach for Verifying COWS Specifications	p. 230
Verification and Testing II
Contextual Integration Testing of Classes	p. 246
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames	p. 261
A Domain Analysis to Specify Design Defects and Generate Detection Algorithms	p. 276
Automated Analysis of Permission-Based Security Using UMLsec	p. 292
Objects and Components
Software Quality Improvement Via Pattern Matching	p. 296
Object Composition in Scenario-Based Programming	p. 301
Regular Inference for State Machines Using Domains with Equality Tests	p. 317
COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems	p. 332
Models, Model Transformations II
Verification of Architectural Refactorings by Rule Extraction	p. 347
Formal Model-Driven Program Refactoring	p. 362
An Algebraic Semantics for MOF	p. 377
A Formal Framework for Developing Adaptable Service-Based Applications	p. 392
Language-Based Optimisation of Sensor-Driven Distributed Computing Applications	p. 407
Clint: A Composition Language Interpreter (Tool Paper)	p. 423
Author Index	p. 429
Table of Contents provided by Blackwell. All Rights Reserved.