dc.contributor.author | Banach, Richard | en |
dc.contributor.author | Arbab, Farhad | en |
dc.contributor.author | Papadopoulos, George Angelos | en |
dc.contributor.author | Glauert, J. R. W. | en |
dc.creator | Banach, Richard | en |
dc.creator | Arbab, Farhad | en |
dc.creator | Papadopoulos, George Angelos | en |
dc.creator | Glauert, J. R. W. | en |
dc.date.accessioned | 2019-11-13T10:38:23Z | |
dc.date.available | 2019-11-13T10:38:23Z | |
dc.date.issued | 2003 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/53601 | |
dc.description.abstract | The drawbacks of programming coordination activities directly within the applications software that needs them are briefly reviewed. Coordination programming helps to separate concerns, making complex coordination protocols into standalone entities | en |
dc.description.abstract | permitting separate development, verification, maintenance, and reuse. The IWIM coordination model is described, and a formal automata theoretic version of the model is developed, capturing the essentials of the framework in a fibration based approach. Specifically, families of worker automata have their communication governed by a state of a manager automaton, whose transitions correspond to reconfigurations. To capture the generality of processes in IWIM systems, the construction is generalised so that process automata can display both manager and worker traits. The relationship with other formalisations of the IWIM conception of the coordination principle is explored. © J.UCS. | en |
dc.source | Journal of Universal Computer Science | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-23844500636&partnerID=40&md5=b30a816c6197dcd13412f82d87b635eb | |
dc.subject | Coordination | en |
dc.subject | Automata | en |
dc.subject | Fibration | en |
dc.subject | IWIM | en |
dc.title | A multiply hierarchical automaton semantics for the IWIM coordination model | en |
dc.type | info:eu-repo/semantics/article | |
dc.description.volume | 9 | |
dc.description.issue | 1 | |
dc.description.startingpage | 2 | |
dc.description.endingpage | 33 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Cited By :1</p> | en |
dc.source.abbreviation | J.Univers.Comput.Sci. | en |
dc.contributor.orcid | Papadopoulos, George Angelos [0000-0001-9250-4916] | |
dc.gnosis.orcid | 0000-0001-9250-4916 | |