Second Workshop on
Formal Languages and Analysis of
Contract-Oriented Software

Malta, November 27-28, 2008
University of Malta, Department of Computer Science
Semantics and Verification Research Group

27th November 2008
9:00-9:15Opening + summary of expected outcome of FLACOSGerardo Schneider
9:15-9:45Contract-Oriented Software Development for Internet Services - Where is the project now?Anders P. Ravn
9:45-10:15Specification and analysis of electronic contracts in CLGerardo Schneider (joint work with Cristian Prisacariu and Gordon Pace)
10:15-10:45COFFEE BREAK
10:45-11:15Contracts in the Swedish Crisis Management SystemBjörn Bjurling
11:15-11:45CREOL as a Framework for Service-Oriented ArchitecturesMartin Steffen
11:45-12:15Classification of SOA Contract Specification LanguagesJoseph Okika
12:15-13:15LUNCH BREAK
13:15-14:00A Tool for the Design and Verification of Composite WebEmilia Cambronero Piqueras (joint work with G. Diaz, V. Valero, and E. Martíinez
14:00-14:45Security-By-Contract for the Future Internet?Fabio Massacci (joint work with F. Piessens and I. Siahaan)
14:45-15:30Cc-Pi: A Constraint-Based Language for Contracts with Service Level AgreementsUgo Montanari (joint work with M.G. Buscemi)
15:30-16:00COFFEE BREAK
16:00-16:45Service Oriented Architectures: The New Software ParadigmWolfgang Reisig
16:45-17:30A Contract-Oriented View on Threat ModellingKetil Stølen (joint work with O.S. Ligaarden)
Treaty - A Modular Component Contract Language (poster)Jens Dietrich, Graham Jenson
28th November 2008
9:00-9:45Towards Verifying Contract Regulated Service CompositionAlessio Lomuscio (joint work with H. Qu and M. Solanki)
9:45-10:30Increasing Trust in Public Service Delivery - Contract-Based Software Infrastructure for Electronic GovernmentTomasz Janowski (joint work with A.Ojo)
10:30-11:00COFFEE BREAK
11:00-11:45Permission to Speak: An Access Control LogicOleg Sokolsky (joint work with N. Dinesh, A. Joshi, and I. Lee)
11:45-12:30Integrating Contract-based Security Monitors in the Software Development Life CycleIsabelle Simplot-Ryl (joint work with A.M. Hoole and I. Traore)
12:30-13:30LUNCH BREAK
13:30-14:00Service Contracts in a Secure Middleware for Embedded Peer-to-Peer SystemsAntonio Brogi, F. Benigni, S. Corfini, T. Fuentes
14:00-14:15Conflict detection in deontic contractsStephen Fenech, Gordon Pace, Gerardo Schneider
14:15-14:30Runtime Verification of Deontic ContractsChristian Colombo, Stephen Fenech, Gordon Pace, Gerardo Schneider
14:30-15:00COFFEE BREAK
15:00-15:30An Aspect-Oriented Behavioral Interface Specification LanguageTakuo Watanabe, Kiyoshi Yamada
15:30-16:00Contract-Based Verification of Hierarchical Systems of ComponentsSophie Quinton, Susanne Graf