|
FLACOS 2007
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".
- Scope
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
- Invited Participants
- Gilles Barthe
(INRIA Sophia-Antipolis, France)
Certificate
Translation
- Frank S. de Boer
(CWI, The Netherlands)
Task Scheduling
for Actors - Slides
- Emilia Cambronero
Piqueras (University of Castilla-La
Mancha, Spain)
WST: A Tool
for Verifying Web Services systems - Slides
- Giuseppe Castagna
(University of Paris 7, France)
A Theory of
Contracts for Web Services - Slides
- Jean-Marc Eber
(LexiFi, France)
Applications
of a formal contract description language to the investment banking
domain - Slides
- Fritz Henglein
(DIKU, Denmark)
Compositional
contract specification for REA - Slides
- Martin Leucker
(Technische Universitat Munchen, Germany)
Monitor-based
Runtime Reflection - Slides
- Fabio Massacci
(University of Trento, Italy)
A
Security-by-Contracts Architecture for Pervasive Services
- Slides
- John-Jules Ch. Meyer
(Utrecht University, The
Netherlands)
Delegation
Contracts in Autonomous Robotic Mission Scenarios -
Slides
- Ralf Reussner
(University Karlsruhe, Germany)
Parametric
Contracts for Software Components - Slides
- Marek Sergot
(Imperial College, UK)
On the
formal representation of contracts: verification and execution
monitoring - Slides
- Isabelle Simplot-Ryl
(University of Lille 1, France)
Contracts as
a support to static analysis of open systems - Slides
- Valentin Valero Ruiz
(University of Castilla-La Mancha,
Spain)
Transforming
Web Services Choreographies with Priorities and Time Constraints Into
Prioritized-Time Petri Nets - Slides
- Accepted Contributions
- Irem Aktug and
Katsiaryna Naliuka
ConSpec: A Formal Language for
Policy Specification
- Hakim Belhaouari and
Frederic Peschanski
An Integrated Platform for
Contract-oriented Development
- Carlos Molina-Jim�nez
and Santosh Shrivastava
On Contract Compliant Business
Process Coordination
- Joseph Okika and Anders
P. Ravn
Compositionality and Compatibility
of Service Contracts
- Cristian Prisacariu and
Gerardo Schneider
Towards Model-Checking Contracts
- Submissions
Authors wishing to give a talk at the workshop are
requested to submit
an abstract of 1-3 pages (ps or pdf, printable on A4 paper) to flacos-07@ifi.uio.no by
September 3, 2007. 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, few papers will be selected and their
authors invited to submit an extended version to a
special issue of the Journal
of Logic and Algebraic Programming (Elsevier), together with
selected publications from NWPT'07.
- Registration Information
- The registration fee is 400 NOK (approx. 50
Euros). The fee
includes workshop proceedings, 2 lunches, and the workshop dinner.
- If you register to both NWPT and FLACOS the fee is 1700
NOK (approx.212 Euros).
- You can register on-line here!
- Call for papers
-
Important Dates
Paper Submission Deadline: |
September
3, 2007 |
Notification of Acceptance: |
September 15, 2007 |
Registration Deadline: |
September 25, 2007 |
FLACOS 2007 Workshop: |
October 9-10, 2007 |
-
Programme Committee
- Organizing Committee
- Venue
- The workshop will take place in the Lille Auditorium at the1st floor of
the Informatics building (Informatikkbygget).
See the FLACOS/NWPT practical information page
for more information on how to arrive to the building.
-
Contact information
- Practical/Tourist Information
Last modified, 4 September
2007.
|