On the Semantics of Tuple-based Coordination Models
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using Apache Formatting Objects Processor (FOP)
-
- Other Formats (1)
-
Export as HyperText Markup Language (HTML)
-
1999 ACM Symposium on Applied Computing (SAC'99), pages 175–182
ACM, New York, NY, USA
February 1999
The emergence of coordination models and languages for the design and development of today multi-component software systems calls for a precise understanding and definition of what coordination is, what coordination models and languages are, and what they are meant to. In this paper, we aim at providing a conceptual framework for coordination, as well as an operational framework for the semantic characterisation of coordination models and languages. The main goals of this framework are (i) to deal with the intrinsic unformalisability of interactive systems, and (ii) to be simple yet expressive enough to work as a clean and effective specification for the implementation of a coordinated system. The effectiveness of the framework defined is shown by applying it to the general description of tuple-based coordination models. The expressiveness of the corresponding operational framework is then exploited for the full operational characterisation of a logic tuple-based coordination model. |
Publications / Personal
Publications / Views
Home
— clouds
tags | authors | editors | journals
— per year
2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014–1927
— per sort
in journal | in proc | chapters | books | edited | spec issues | editorials | entries | manuals | tech reps | phd th | others
— per status
online | in press | proof | camera-ready | revised | accepted | revision | submitted | draft | note
— services
ACM Digital Library | DBLP | IEEE Xplore | IRIS | PubMed | Google Scholar | Scopus | Semantic Scholar | Web of Science | DOI
Publication
— authors
— status
published
— sort
paper in proceedings
— publication date
February 1999
— volume
1999 ACM Symposium on Applied Computing (SAC'99)
— pages
175–182
— address
New York, NY, USA
— location
San Antonio, TX, USA
URLs
identifiers
— DOI
— ACM
— Scopus
— print ISBN
1-58113-086-4
notes
— note
Special Track on Coordination Models, Languages and Applications