Skip to Content

FOCLASA

International Workshop “Foundations of Coordination Languages and Software Architecture” (2002—2018)
descrizione

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.

collegamenti
16 eventi nella serie
FOCLASA 2018 @ STAF 2018 • FOCLASA 2017 @ SEFM 2017 • FOCLASA 2015 @ CONCUR 2015 • FOCLASA 2014 @ CONCUR 2014 • FOCLASA 2013 @ ESOCC 2013 • FOCLASA 2012 @ CONCUR'12 • FOCLASA 2011 @ CONCUR'11 • FOCLASA 2010 @ CONCUR 2010 • FOCLASA 2009 @ ICALP'09 • FOCLASA 2008 @ ICALP'08 • FOCLASA 2007 @ CONCUR'07 • FOCLASA 2006 @ CONCUR'06 • FOCLASA 2005 @ CONCUR'05 • FOCLASA 2004 @ CONCUR'04 • FOCLASA 2003 @ CONCUR'03 • FOCLASA 2002 @ CONCUR'02
pubblicazioni
page_white_acrobat Blockchain for Fully Decentralised Coordination: A First Study with Linda and Ethereum () • page_white_acrobat Coordination in Socio-technical Systems: Where are we now? Where do we go next? (2019) • page_white_acrobat Coordination of Complex Socio-technical Systems: Challenges and Opportunities (2018) • page_white_acrobat Combining Trust and Aggregate Computing (2018) • page_white_acrobat A calculus of computation fields (2013) • page_white_acrobat Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks (2012) • page_white_acrobat An Approach Based on Web Standards to the Semantic Coordination of Pervasive Service Ecosystems () • page_white_acrobat A Framework for Modelling and Implementing Self-Organising Coordination () • page_white_acrobat Situating A&A ReSpecT: Reactivity To Environment Events () • page_white_acrobat Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus (2008) • page_white_acrobat Prototyping A&A ReSpecT in Maude (2008) • page_white_acrobat Prototyping A&A ReSpecT in Maude (2007) • page_white_acrobat Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (2007) • page_white_acrobat Formal ReSpecT in the A&A Perspective (2007) • page_white_acrobat Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (2006) • page_white_acrobat Formal ReSpecT in the A&A Perspective (2006) • page_white_acrobat Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (2006) • page_white_acrobat A Framework for Engineering Interactions in Java-based Component Systems (2006) • page_white_acrobat ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2004) • page_white_acrobat ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2007) • page_white_acrobat On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (2004) • page_white_acrobat Coordination as a Service: Ontological and Formal Foundation (2003)
presentazioni