Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimar„es, Portugal, October 14-16, 2010, Revised Selected Papers

Front Cover
Luis Soares Barbosa, Markus Lumpe
Springer Science & Business Media, Mar 9, 2012 - Computers - 305 pages
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimar„es, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Challenges and Recent Advances
1
Analysis of Service Oriented Software Systems with the Conversation Calculus
6
QoS ContractAware Reconfiguration of Component Architectures Using EGraphs
34
Monitoring Method Call Sequences Using Annotations
53
An Introduction to Pervasive Interface Automata
71
A Separation Logic for OO Programs
88
Model Checking Adaptive Multilevel Service Compositions
106
Distributed Adaption of Dining Philosophers
125
Using Temporal Logic for Dynamic Reconfigurations of Components
200
Modular Termination Analysis of Java Bytecodeand Its Application to phoneME Core Libraries
218
Decomposition of Constraint Automata
237
Graph Representation of Sessions and Pipelines for Structured Service Programming
259
Will the Real Service Oriented Computing Please Stand Up?
277
Performance Verification in Complex EnterpriseLevel Component Systems
286
Runtime Programming through ModelPreserving Scalable Runtime Patches
290
Steps on the Road to Component Evolvability
295

Contracts Mechanisms and Safety
145
SystemsTheoretic View of ComponentBased Software Development
163
A Semantic and Algorithmic Framework
182
Towards Linear Algebras of Components
300
Author Index
304
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information