First Workshop on Formal Languages and Analysis of Contract-Oriented Software
Oslo, October 9-10, 2007

University of Oslo, Department of Informatics, Precise Modeling and Analysis Group

    • 15.10.2007: We have uploaded (some of) the slides of the invited participant's talk. See below after each participant's name.

    • The preliminary list of participants is available in .pdf format HERE.
      Please send e-mail to cristi@ifi.uio.no if you are not on the list or there are any misspellings.

    • The preliminary program of the workshop is available in .pdf format HERE.
      The list of accepted contributions is available below.

    • The workshop will start October 9 at 9:00 and it will finish October 10 at 12:30

    • REGISTRATION IS NOW OPEN! See below under "Registration Information"

The fast evolution of the Internet has popularized service-oriented architectures with their promise of dynamic IT-supported inter-business collaborations. Realizing this promise involves integrating services which are geographically distant and are offered by a variety of organizations which do not fully trust each other. Indeed, collaboration presumes a minimum level of mutual trust. Wherever trust is perceived as insufficient, business people turn to contracts as a mechanism to reduce risks. The ability to negotiate contracts (e.g. for quality of service, security, and distribution of information) and to provide services based on them is therefore one of the most pressing needs to make collaborations a reality. High-level models of contracts are slowly making their way into service-oriented architectures, but application developers are still left to their own devices when it comes to writing code that will comply with a contract concluded just before service provision. At the programming language level, contracts appear as separate concerns that crosscut through application logic. The aim of this workshop is to bring together researchers and practitioners working on language-based solutions to the above problem through the formalization of contracts, the design of appropriate abstraction mechanisms that would guide the developer in the production of contract-aware applications, and formal analysis of such contract languages/software.

FLACOS'07 is partially supported by the Nordunet3 project "Contract-Oriented Software Development for Internet Services".

  • Related Events

    • FLACOS'07 will be co-located with NWPT'07.

University of Oslo