Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011, Aachen, Germany, September 10, 2011)

Welcome to the proceedings of FOCLASA 2011, the 10th International Workshop on the Foundations of Coordination Languages and Software Architectures. FOCLASA 2011 was held in Aachen, Germany on September 10th, 2011 as a satellite event of CONCUR 2011, the 22nd International Conference on Concurrency Theory. The workshop provides a venue where researchers and practitioners could meet, exchange ideas, identify common problems, determine some of the key and fundamental issues related to coordination languages and software architectures, and explore together and disseminate solutions. Indeed, a number of hot research topics are currently sharing the common problem of combining concurrent, distributed, mobile and heterogeneous components, trying to harness the intrinsic complexity of the resulting systems. These include coordination, peer-to-peer systems, grid computing, web services, multi-agent systems, and component-based systems. Coordination languages and software architectures are recognized as fundamental approaches to tackle these issues, improving software productivity, enhancing maintainability, advocating modularity, promoting reusability, and leading to systems more tractable and more amenable to verification and global analysis. This year, we received 10 submissions involving 33 authors from 12 different countries. Papers underwent a rigorous review process, and all accepted papers received 4 review reports. After the review process, the international Program Committee of FOCLASA 2010 decided to select five papers for presentation during the workshop and inclusion in these proceedings. These papers tackle different issues that are currently central to our community, specification and reasoning frameworks parallel and concurrent systems, systems with linked data, resource-constrained and timed systems and data-flow coordination models. The workshop features an invited speech by Joe Armstrong from Ericsson, Sweden. The best papers of the workshop will be invited for a special issue in Science of Computer Programming (Elsevier). We would like to thank all the members of the program committee for their great work during the review process, the external reviewers for providing insightful review reports, the authors for submitting papers to the workshop, and the participants for attending the workshop in Aachen. All these people contribute to the success of the 2011 edition of FOCLASA

Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011, Aachen, Germany, September 10, 2011)

Welcome to the proceedings of FOCLASA 2011, the 10th International Workshop on the Foundations of Coordination Languages and Software Architectures. FOCLASA 2011 was held in Aachen, Germany on September 10th, 2011 as a satellite event of CONCUR 2011, the 22nd International Conference on Concurrency Theory. The workshop provides a venue where researchers and practitioners could meet, exchange ideas, identify common problems, determine some of the key and fundamental issues related to coordination languages and software architectures, and explore together and disseminate solutions. Indeed, a number of hot research topics are currently sharing the common problem of combining concurrent, distributed, mobile and heterogeneous components, trying to harness the intrinsic complexity of the resulting systems. These include coordination, peer-to-peer systems, grid computing, web services, multi-agent systems, and component-based systems. Coordination languages and software architectures are recognized as fundamental approaches to tackle these issues, improving software productivity, enhancing maintainability, advocating modularity, promoting reusability, and leading to systems more tractable and more amenable to verification and global analysis. This year, we received 10 submissions involving 33 authors from 12 different countries. Papers underwent a rigorous review process, and all accepted papers received 4 review reports. After the review process, the international Program Committee of FOCLASA 2010 decided to select five papers for presentation during the workshop and inclusion in these proceedings. These papers tackle different issues that are currently central to our community, specification and reasoning frameworks parallel and concurrent systems, systems with linked data, resource-constrained and timed systems and data-flow coordination models. The workshop features an invited speech by Joe Armstrong from Ericsson, Sweden. The best papers of the workshop will be invited for a special issue in Science of Computer Programming (Elsevier). We would like to thank all the members of the program committee for their great work during the review process, the external reviewers for providing insightful review reports, the authors for submitting papers to the workshop, and the participants for attending the workshop in Aachen. All these people contribute to the success of the 2011 edition of FOCLASA

Twenty years of rewriting logic

AbstractRewriting logic is a simple computational logic that can naturally express both concurrent computation and logical deduction with great generality. This paper provides a gentle, intuitive introduction to its main ideas, as well as a survey of the work that many researchers have carried out over the last twenty years in advancing: (i) its foundations; (ii) its semantic framework and logical framework uses; (iii) its language implementations and its formal tools; and (iv) its many applications to automated deduction, software and hardware specification and verification, security, real-time and cyber-physical systems, probabilistic systems, bioinformatics and chemical systems