Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software

TL;DR

This paper presents the proceedings of the 5th FLACOS workshop, focusing on formal language-based solutions for contract-oriented software development, including formalization, abstraction, and analysis of contract languages.

Contribution

It compiles recent research on formal models and analysis techniques for contract-oriented software, advancing the formalization and analysis of contract languages.

Findings

Development of formal models for contracts

Design of abstraction mechanisms for contract languages

Formal analysis methods for contract software

Abstract

This volume consists of the proceedings of the 5th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11). The FLACOS Workshops serve as annual meeting places to bring together researchers and practitioners working on language-based solutions to contract-oriented software development. High-level models of contracts are needed as a tool to negotiate contracts and provide services conforming to them. This Workshop provides language-based solutions to the above issues through formalization of contracts, design of appropriate abstraction mechanisms, and formal analysis of contract languages and software. The program of this edition consists of 5 regular papers and 3 invited presentations. Detailed information about the FLACOS 2011 Workshop can be found at http://flacos2011.lcc.uma.es/. The 5th edition of the FLACOS Workshop was organized by the University of M\'alaga. It took place in M\'alaga, Spain, during September 22-23, 2011.