- Email: [email protected]
Guest Editorsʼ Foreword
The Journal of Logic and Algebraic Programming 82 (2013) 163
Contents lists available at SciVerse ScienceDirect
The Journal of Logic and Algebraic Programming www.elsevier.com/locate/jlap
Guest Editors’ Foreword This volume contains a selection of the papers presented to the 5th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS’11), which was held in Málaga, Spain, September 22–23, 2011, http://flacos2011.lcc. uma.es/ Goals of the FLACOS workshop The fast evolution of the Internet has popularized service-oriented architectures with their promise of dynamic 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. with respect to 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 serviceoriented 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 series of workshops is therefore 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 contractaware applications, and formal analysis of such contract languages/software. The scope of FLACOS’11 has been established around contracts and targets the following research directions: Formal languages for contracts; Contract-oriented software development; Formal analysis of contracts, including static analysis, runtime verification, and model checking techniques; Contract synthesis; Contract transformation and contract refinement; Contract negotiation, discovery and monitoring. Workshop details The 5th edition of the FLACOS Workshop was organized by the University of Málaga. It took place in Malaga, Spain, September 22–23, 2011. The program of this edition consisted of 5 regular papers, selected by the following international Program Committee: B. Bjurling, SICS, Sweden A. Brogi, University of Pisa, Italy S. Graf, VERIMAG, France A. Lomuscio, Imperial College London, United Kingdom U. Montanari, University of Pisa, Italy O. Owe, University of Oslo, Norway G. Pace, University of Malta, Malta E. Pimentel, University of Málaga, Spain (program co-chair) A.P. Ravn, Aalborg University, Denmark W. Reisig, Humboldt University, Berlin, Germany G. Salaün, Grenoble INP–INRIA–LIG, France G. Schneider, University of Gothenburg, Sweden K. Sere, Åbo Akademi University, Finland V. Valero, University of Castilla-La Mancha, Spain (program co-chair) M. Wirsing, Ludwig-Maximilians University, Munich, Germany From these 5 regular papers a further selection was made for this Special Issue of the Journal of Logic and Algebraic Programming, and finally 3 papers were selected for an extended version to be published in the JLAP series. We would like to thank the reviewers, who have made a magnificent work in this final selection, and of course, to the authors, who have also made a great work in the preparation of the final versions of the papers.
Ernesto Pimentel Valentín Valero 1567-8326/$ – see front matter © 2013 Published by Elsevier Inc. http://dx.doi.org/10.1016/j.jlap.2013.07.004
Contents lists available at SciVerse ScienceDirect
The Journal of Logic and Algebraic Programming www.elsevier.com/locate/jlap
Guest Editors’ Foreword This volume contains a selection of the papers presented to the 5th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS’11), which was held in Málaga, Spain, September 22–23, 2011, http://flacos2011.lcc. uma.es/ Goals of the FLACOS workshop The fast evolution of the Internet has popularized service-oriented architectures with their promise of dynamic 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. with respect to 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 serviceoriented 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 series of workshops is therefore 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 contractaware applications, and formal analysis of such contract languages/software. The scope of FLACOS’11 has been established around contracts and targets the following research directions: Formal languages for contracts; Contract-oriented software development; Formal analysis of contracts, including static analysis, runtime verification, and model checking techniques; Contract synthesis; Contract transformation and contract refinement; Contract negotiation, discovery and monitoring. Workshop details The 5th edition of the FLACOS Workshop was organized by the University of Málaga. It took place in Malaga, Spain, September 22–23, 2011. The program of this edition consisted of 5 regular papers, selected by the following international Program Committee: B. Bjurling, SICS, Sweden A. Brogi, University of Pisa, Italy S. Graf, VERIMAG, France A. Lomuscio, Imperial College London, United Kingdom U. Montanari, University of Pisa, Italy O. Owe, University of Oslo, Norway G. Pace, University of Malta, Malta E. Pimentel, University of Málaga, Spain (program co-chair) A.P. Ravn, Aalborg University, Denmark W. Reisig, Humboldt University, Berlin, Germany G. Salaün, Grenoble INP–INRIA–LIG, France G. Schneider, University of Gothenburg, Sweden K. Sere, Åbo Akademi University, Finland V. Valero, University of Castilla-La Mancha, Spain (program co-chair) M. Wirsing, Ludwig-Maximilians University, Munich, Germany From these 5 regular papers a further selection was made for this Special Issue of the Journal of Logic and Algebraic Programming, and finally 3 papers were selected for an extended version to be published in the JLAP series. We would like to thank the reviewers, who have made a magnificent work in this final selection, and of course, to the authors, who have also made a great work in the preparation of the final versions of the papers.
Ernesto Pimentel Valentín Valero 1567-8326/$ – see front matter © 2013 Published by Elsevier Inc. http://dx.doi.org/10.1016/j.jlap.2013.07.004