Dynamic Composition of Coordination Abstractions in LogOp
- 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 the Web Browser
-
- Other Formats (2)
-
-
Export as HyperText Markup Language (HTML)
-
Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Dynamic composition of coordination abstractions is an essential feature for making coordination models suitable for the engineering of complex computational systems, such as pervasive and knowledge-intensive ones. In this paper we first discuss the main features of LogOp as a coordination model allowing tuple spaces to be dynamically combined in scopes to be associated to any coordination operation. Then we show that linear logic, the logic of consumption of resources, represents the most suitable choice for the formal specification of LogOp semantics. |
(keywords) Coordination models, Pervasive systems, LogOp, Semantics, Linear logic |
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 | 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
— status