The ability to negotiate contracts for a wide range of aspects and to
provide services conforming to them is a most pressing need in
service-oriented architectures. High-level models of contracts are
making their way, but application developers are still left to their
own devices when it comes to writing code that will comply with a
contract. At the programming language level, contracts appear as
separate concerns that cut across application logic, while analysis
requires that contracts are abstracted from applications to become
amenable to formal reasoning.
The aim of this workshop is to bring together researchers and
practitioners working on language-based solutions to the above issues
through formalization of contracts, design of appropriate abstraction
mechanisms, and formal analysis of contract languages and
software. Such languages include, but are not limited to SLA, BPEL,
behavioral interfaces, deontic logic for services, social contracts
(multi-agent systems), formalised legal contracts and other
The workshop will include presentations by a number of invited
speakers and others from researchers in the field who are encouraged
to submit an abstract of their work as an expression of interest in
participating in the workshop. The number of participants in the
workshop is strictly limited.
FLACOS 2010 is partially supported by the Nordunet3 project "Contract-Oriented Software
Development for Internet Services" (COSoDIS).
Typical topics of the workshop include (but are not limited to):
- Formal languages for contracts
- Contract-oriented software development
- Formal analysis of contracts, including static analysis, run-time verification, and model checking techniques
- Contract synthesis
- Contract transformation and contract refinement
- Contract negotiation, discovery and monitoring
Authors wishing to give a talk at the workshop are invited to submit
an extended abstract of their work (3-8 pages, in PDF format, one
column, printable on A4 paper) via Easychair
by 29 April 2010. Submission of work submitted for formal publication
elsewhere and work in progress is permitted.
The abstracts of the accepted contributions will be available at the
workshop. After the workshop, selected papers will be published in a
special issue of the Journal of Logic and
Algebraic Programming (Elsevier), following the standard reviewing
process of the journal.
REGISTRATION INFORMATION [top
The registration page is now open. Early registration fee is 180 Euros
(until August 4th). Late registration fee is 200 Euros (after August 4th). Registration
includes a copy of the workshop proceedings, coffee breaks, lunches and a dinner.
A discounted fee applies if one also registers to SEFM.
To proceed with the registration, please visit SEFM registration page.
INVITED PARTICIPANTS [top
- Speaker: Marek Sergot, Imperial College London
Title: On the formal representation of norms and contracts.
Abstract: This will be an overview of issues in the formal
representation of normative concepts with remarks about the
possible relevance to the representation of contracts. I will cover
some features of deontic logic (logics of obligation, permission
and prohibition), some recent advances in logics of action and
agency (of the `brings it about' or `sees to it that' kind), the
ascription of responsibility (of an agent for a particular state of
affairs), and the formal characterisation of more complex normative
relations, such as the `Hohfeldian concepts' (duty, right, privilege, power/capacity, ...).
- Speaker: Luca
Padovani, University of Turin
Title: Contract-Based Discovery and Adaptation of Web Services.
Abstract: A contract describes the observable behavior of a Web service. When
looking for Web services providing specific capabilities, the contract
can be used as an important search key. This calls for a notion of
contract equivalence that goes beyond nominal or structural
In this seminar we define a simple, yet expressive formal language for
describing Web service contracts. We provide a natural, set-theoretic
semantics of contracts and we use it for defining a family of
equivalence relations that can be effectively used for discovering and
adapting Web services implementing a specific contract.
- Speaker: Fabio
Massacci, University of Trento
Title: Autonomous and yet Secure Evolution for Smart Cards Applications
Abstract: Multi-application smart cards that allow post-issuance evolution (i.e. loading of new applets) are very attractive for both smart card developers and card users. Since these applications contain sensitive data and can exchange information, a major concern is the assurance that these applications will not exchange data unless permitted by their respective policies. If all applications are loaded at the start this just boils down to information flow analysis for which many solutions exist.
When applications are not known in advance and can be updated asynchronously and possibly without connection to trusted third parties, the major (and so far unsolved problem) is to preserve the security policies of the various owners of the applets during such autonomous evolution. An approach for loading time application certification on the card is presented, that will enable the card to make autonomous decisions on application and policy updates while ensuring the compliance of every change of the platform with the security policy of each application's owner. A model of evolution with self-certification is provided and proved that it is secure under reasonable assumptions.
Unfortunately the invited speakers Andreas Roth and Michael Papazoglou
had to cancel their participation.
- Contract-based Slicing, Daniela da Cruz, Pedro Henriques and Jorge Sousa Pinto.
- A Calculus of Contracting Processes, Massimo Bartoletti and Roberto Zunino.
- Contract-Based Reasoning about Progress: Application to
Resource Sharing in a Network, Imene Ben-Hafaiedh, Susanne Graf
and Sophie Quinton.
- Synthesis and Analysis of Adaptors through Security Contracts, José Antonio Martín and Ernesto Pimentel.
- Visual Specification of Formal e-Contracts, Enrique Martínez, Gregorio Díaz and M. Emilia Cambronero.
- A Trace-based Model for Multi-party Contracts, Tom Hvitved.
- Leveraging a Contract-based Synchronization Framework for
Design and Analysis of Services, Laura K. Dillon, Yi Huang and R.E.K. Stirewalt.
- A Survey of Formal Languages for Contracts, Tom Hvitved.
- Visual Behavioural Modelling with Contracts, Nuno Amálio and Pierre Kelsen.
- Controllability and Abstraction in Business Processes, Maria Grazia Buscemi and Hernán Melgratti.
- On the Formal Specification of Business Contracts and Regulatory Compliance, Amal Elgammal, Oktay Turetken, Willem-Jan van den Heuvel and Mike Papazoglou.
- Formal Model for Business-aware Transaction Management, Francois Hantry, Mike Papazoglou and Mohand-Said Hacid.
The FLACOS 2010 workshop will be held at CNR, co-located with SEFM'10.
For local information see the SEFM
conference venue page: it includes a list of Hotel with special
rates, travel information, maps and directions.
CfP and OTHER WORKSHOP CONTENT [top
PROGRAMME COMMITTEE [top
- Björn Bjurling, SICS, Sweden
- Antonio Brogi, University of Pisa, Italy (program co-chair)
- Giuseppe Castagna, Univ. Paris 7, France
- Suzanne Graf, VERIMAG, France
- Alessio Lomuscio, Imperial College London, UK
- Ugo Montanari, University of Pisa, Italy
- Olaf Owe, University of Oslo, Norway
- Gordon Pace, University of Malta, Malta
- Ernesto Pimentel Sánchez, Universidad of Málaga, Spain
- Anders P. Ravn, Aalborg University, Denmark
- Wolfgang Reisig, Humboldt University, Berlin, Germany
- Gerardo Schneider, University of Gothenburg, Sweden (program co-chair)
- Kaisa Sere, Abo Akademi, Finland
- Valentín Valero Ruiz, University of Castilla-La Mancha, Spain
- Martin Wirsing, Ludwig-Maximilians University, Munich, Germany
LOCAL ORGANISATION COMMITTEE
CONTACT INFORMATION [top
For any further information, you may contact us at firstname.lastname@example.org.