September 17th, 2019 / Oslo, Norway
Associated with SEFM 2019
Nowadays software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and standalone (micro)services. Service coordination, service orchestration and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Theoretical and practical approaches to modelling and reasoning about (self-)adaptive behaviour help to simplify the development of complex distributed systems, enable their validation and evaluation, and improve interoperability, reusability and maintainability of such systems. The goal of the FOCLASA workshop is to gather researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general novel solutions.
Topics of interest include (but are not limited to) both theoretical and practical solutions for what follows:
Cloud/fog/edge computing and large-scale distributed systems
Business processes and concurrent system modelling
Peer-to-peer and multi-agent systems, and blockchains
Languages and models for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis
Dynamic software architectures, self-adaptive, self-monitoring and self-organizing systems
Coordination, orchestration, composition and adaptation of components, services or microservices
Quality-of-service observation, storage, history-based analysis in self-adaptive systems
Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere. Full papers should be 15 pages long, including figures and references, and prepared by using Springer's LNCS style , Short papers (8-10 pages long) describing preliminary results or work-in-progress are encouraged as well. The contributions should be submitted as Portable Document Format (PDF) files using the EasyChair submission site:
All accepted papers will be included in the LNCS Workshop Post-proceedings of SEFM 2019 , to be published by Springer after the workshop. Additionally, and following the tradition of past editions, the authors of a selected subset of papers will be invited to submit extended versions of their papers after the workshop, to be reviewed by a new set of reviewers, for publication in a special issue of a journal.
Text version: foclasa-2019-cfp.rtf.
Farhad Arbab, CWI, The Netherlands
Simon Bliudze, INRIA Lille - Nord Europe, France
Uwe Breitenbücher, University of Stuttgart, Germany
Antonio Brogi, University of Pisa, Italy
Javier Cámara, Carnegie Mellon University, USA
Flavio De Paoli, University of Milano Bicocca, Italy
Francisco J. Durán, Universidad de Malaga, Spain
Erik de Vink, Eindhoven University of Technology, The Netherlands
Schahram Dustdar, TU Wien, Austria
Nahla El-Araby, TU Wien, Austria
Jean-Marie Jacquet, University of Namur, Belgium
Einar Broch Johnsen, University of Oslo, Norway
Alberto Lluch Lafuente, Technical University of Denmark, Denmark
Sun Meng, Peking University, China
Fabrizio Montesi, University of Southern Denmark, Denmark
Hernan C. Melgratti, University of Buenos Aires, Argentina
Cesare Pautasso, University of Lugano, Switzerland (TBC)
Pascal Poizat, Universite Paris Ouest, France
Jose Proenca, INESC TEC & Universidade do Minho, Portugal
Gwen Salaün, University of Grenoble, France
Marjan Sirjani, Reykjavik University, Iceland
Emilio Tuosto, University of Leicester, UK - Gran Sasso Science Institute, Italy
Mirko Viroli, University of Bologna, Italy
Lina Ye, CentraleSupelec, France
Formal Verification of Smart Contract with the KeY Tool by Bernhard Beckert.
Abstract.
Smart contracts are programs building on blockchain technology.
They implement functionality that has been agreed on between the concerned parties on a network.
However, their immutability and exposed position make them vulnerable to programming errors, leading to faulty behavior and possible exploits.
Therefore, smart contracts demand a particularly thorough analysis, ideally using formal program verification.
In this talk, I will give a short overview of the program verification tool KeY for Java programs, including latest work estimating the coverage of partial proofs.
And I will present an approach for the deductive verification of Hyperledger Fabric smart contracts using the KeY prover.
From SOS to Asynchronously Communicating Actors by Einar-Broch Johnsen.
Abstract.
Structural Operational Semantics (SOS) provide a general format to describe a model as a transition system with very powerful synchronization mechanisms.
Actor systems are distributed, asynchronously communicating units of computation with encapsulated state, with much weaker means of synchronizing between actors.
In this talk, we discuss an implementation of a SOS model using actors in the object-oriented actor language ABS and how to argue that global properties about the model are inherited from the SOS level to the actor implementation. The work is based on a case study modelling the memory system of a cache-coherent multicore architecture.
FOCLASA 2018,
a satellite workshop of
STAF / SEFM 2018, Toulouse (France).
Proceedings in LNCS, vol. 11176, 2018.
Special issue in Science of Computer Programming, Elsevier [under preparation].
FOCLASA 2017,
a satellite workshop of
SEFM 2017, Trento (Italy).
Proceedings in LNCS, vol. 10729, 2017.
Special issue in Science of Computer Programming, vol. 166, Elsevier, 2018.
FOCLASA 2015,
a satellite workshop of
CONCUR 2015, Madrid (Spain).
Proceedings in EPTCS, vol. 201, 2015.
FOCLASA 2014,
a satellite workshop of
CONCUR 2014, Rome (Italy).
Proceedings in EPTCS, vol. 175, 2015.
FOCLASA 2013,
a satellite workshop of
ESOCC 2013, Málaga (Spain).
Proceedings in Communications in Computing and Information Science, vol. 393, 2013, Springer.
Special issue in Science of Computer Programming, vol. 115-116, Elsevier, 2016.
FOCLASA 2012,
a satellite workshop of
CONCUR 2012, Newcastle (United Kingdom).
Proceedings in EPTCS, vol. 91, 2012.
Special issue in Science of Computer Programming, vol. 115-116, Elsevier, 2016.
FOCLASA 2011,
a satellite workshop of CONCUR 2011, Aachen (Germany).
Proceedings in EPTCS, vol. 58, 2011.
Special issue in Science of Computer Programming, vol. 89 (Part A), Elsevier, 2014.
FOCLASA 2010,
a satellite workshop of CONCUR 2010, Paris (France).
Proceedings in EPTCS, vol. 30, 2010.
Special issue in Science of Computer Programming, vol. 80 (Part A), Elsevier, 2014.
FOCLASA 2009,
a satellite workshop of ICALP 2009, Rhodes (Greece).
Proceedings in ENTCS, vol. 255, 2009.
Special issue in Science of Computer Programming, vol. 77(7-8), Elsevier.
FOCLASA 2008,
a satellite workshop of ICALP 2008, Reykjavik (Iceland).
Proceedings in ENTCS, vol. 248, 2009.
Special issue in Science of Computer Programming, vol. 76(8), Elsevier.
FOCLASA 2007,
a satellite workshop of CONCUR 2007, Lisbon (Portugal).
Proceedings in ENTCS, vol. 194(4), 2008.
Special issue in Science of Computer Programming, vol. 76(1), Elsevier.
FOCLASA 2006,
a satellite workshop of CONCUR 2006, Bonn (Germany).
Proceedings in ENTCS, vol. 175(2), 2007.
Special issue in Science of Computer Programming, vol. 74(9), Elsevier.
FOCLASA 2005,
a satellite workshop of CONCUR 2005, San Francisco (USA).
Proceedings in ENTCS, vol. 154(1), 2006.
Special issue in Science of Computer Programming, vol. 66(2), Elsevier, 2007.
FOCLASA 2004,
a satellite workshop of CONCUR 2004, London (United Kingdom).
Proceedings in ENTCS, vol. 180(2), 2007.
FOCLASA 2003,
a satellite workshop of CONCUR 2003, Marseille (France).
Proceedings in ENTCS, vol. 97, 2004.
Special issue in Science of Computer Programming, vol. 61(2), Elsevier, 2006.
FOCLASA 2002,
a satellite workshop of CONCUR 2002, Brno (Czech Republic).
Proceedings in ENTCS, vol. 68(3), 2003.
Special issue in Fundamenta Informaticae, vol 73(4), IOSPress, 2006.
Publicity chair: Alejandro Perez Vereda, University of Málaga, Spain (apvereda [at] uma [dot] es)
Contact address: For any further information please contact foclasa [at] di [dot] unipi [dot] it.