FOCLASA
Modern information systems rely more and more on combining concurrent, distributed, mobile and heterogenous components. This move from old systems, typically conceived in isolation, induces the need for new languages and software architectures. In particular, coordination languages have been proposed to cleanly separate computational aspects and communication. On the other hand, software architects face the problem of specifying and reasoning about non-functional requirements. All these issues are widely perceived as fundamental to improve software productivity, to enhance maintainability, to advocate modularity, to promote reusability, and to lead to systems more tractable and more amenable to verification and global analysis.
The FOCLASA workshop is organized with the aim of bringing together researchers working on the foundations of component-based computing, coordination, and software architectures.
Blockchain for Fully Decentralised Coordination: A First Study with Linda and Ethereum () • Coordination in Socio-technical Systems: Where are we now? Where do we go next? (2019) • Coordination of Complex Socio-technical Systems: Challenges and Opportunities (2018) • Combining Trust and Aggregate Computing (2018) • A calculus of computation fields (2013) • Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks (2012) • An Approach Based on Web Standards to the Semantic Coordination of Pervasive Service Ecosystems () • Situating A&A ReSpecT: Reactivity To Environment Events () • A Framework for Modelling and Implementing Self-Organising Coordination () • Prototyping A&A ReSpecT in Maude (2008) • Prototyping A&A ReSpecT in Maude (2007) • Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus (2008) • Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (2007) • Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (2006) • Formal ReSpecT in the A&A Perspective (2007) • Formal ReSpecT in the A&A Perspective (2006) • Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (2006) • A Framework for Engineering Interactions in Java-based Component Systems (2006) • ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2007) • ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2004) • On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (2004) • Coordination as a Service: Ontological and Formal Foundation (2003)
Coordination of Complex Socio-technical Systems: Challenges and Opportunities (26/06/2018) • A core calculus of computational fields (11/09/2013) • Prototyping A&A ReSpecT in Maude (08/09/2007) • Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case (31/08/2006) • Formal ReSpecT in the A&A Perspective (31/08/2006) • A Framework for Engineering Interactions in Java-based Component Systems (27/08/2005) • On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (02/09/2003) • Coordination as a Service: Ontological and Formal Foundation (24/08/2002)