HYPE: a process algebra for compositional flows and emergent behaviour

Vashti Galpin; Luca Bortolussi; Jane Hillston

doi:10.1007/978-3-642-04081-8_21

HYPE: a process algebra for compositional flows and emergent behaviour

Vashti Galpin, Luca Bortolussi, Jane Hillston

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolithically, often with the differential equations embedded explicitly in the syntax of the process algebra expression. In HYPE an alternative approach is taken which offers finer-grained modelling with each flow or influence affecting a variable modelled separately. The overall behaviour then emerges as the composition of these flows. This approach is supported by an operational semantics which distinguishes states as collections of flows and which is supported by an equivalence which satisfies the property that bisimilar HYPE models give rise to the same sets of continuous behaviours.

Original language	English
Title of host publication	CONCUR 2009 - Concurrency Theory
Subtitle of host publication	20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
Editors	Mario Bravetti, Gianluigi Zavattaro
Publisher	Springer
Pages	305-320
Number of pages	16
ISBN (Print)	978-3-642-04080-1
DOIs	https://doi.org/10.1007/978-3-642-04081-8_21
Publication status	Published - 2009

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin / Heidelberg
Volume	5710
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-642-04081-8_21

http://www.springerlink.com/content/64036mx217112077/

Cite this

Galpin, V., Bortolussi, L., & Hillston, J. (2009). HYPE: a process algebra for compositional flows and emergent behaviour. In M. Bravetti, & G. Zavattaro (Eds.), CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings (pp. 305-320). (Lecture Notes in Computer Science; Vol. 5710). Springer. https://doi.org/10.1007/978-3-642-04081-8_21

@inproceedings{873900bfd57c41e79b8f854dd3ea28b4,

title = "HYPE: a process algebra for compositional flows and emergent behaviour",

abstract = "Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolithically, often with the differential equations embedded explicitly in the syntax of the process algebra expression. In HYPE an alternative approach is taken which offers finer-grained modelling with each flow or influence affecting a variable modelled separately. The overall behaviour then emerges as the composition of these flows. This approach is supported by an operational semantics which distinguishes states as collections of flows and which is supported by an equivalence which satisfies the property that bisimilar HYPE models give rise to the same sets of continuous behaviours. ",

author = "Vashti Galpin and Luca Bortolussi and Jane Hillston",

year = "2009",

doi = "10.1007/978-3-642-04081-8_21",

language = "English",

isbn = "978-3-642-04080-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "305--320",

editor = "Mario Bravetti and Gianluigi Zavattaro",

booktitle = "CONCUR 2009 - Concurrency Theory",

address = "United Kingdom",

}

Galpin, V, Bortolussi, L & Hillston, J 2009, HYPE: a process algebra for compositional flows and emergent behaviour. in M Bravetti & G Zavattaro (eds), CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings. Lecture Notes in Computer Science, vol. 5710, Springer, pp. 305-320. https://doi.org/10.1007/978-3-642-04081-8_21

HYPE: a process algebra for compositional flows and emergent behaviour. / Galpin, Vashti; Bortolussi, Luca; Hillston, Jane.
CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings. ed. / Mario Bravetti; Gianluigi Zavattaro. Springer, 2009. p. 305-320 (Lecture Notes in Computer Science; Vol. 5710).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - HYPE: a process algebra for compositional flows and emergent behaviour

AU - Galpin, Vashti

AU - Bortolussi, Luca

AU - Hillston, Jane

PY - 2009

Y1 - 2009

N2 - Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolithically, often with the differential equations embedded explicitly in the syntax of the process algebra expression. In HYPE an alternative approach is taken which offers finer-grained modelling with each flow or influence affecting a variable modelled separately. The overall behaviour then emerges as the composition of these flows. This approach is supported by an operational semantics which distinguishes states as collections of flows and which is supported by an equivalence which satisfies the property that bisimilar HYPE models give rise to the same sets of continuous behaviours.

AB - Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolithically, often with the differential equations embedded explicitly in the syntax of the process algebra expression. In HYPE an alternative approach is taken which offers finer-grained modelling with each flow or influence affecting a variable modelled separately. The overall behaviour then emerges as the composition of these flows. This approach is supported by an operational semantics which distinguishes states as collections of flows and which is supported by an equivalence which satisfies the property that bisimilar HYPE models give rise to the same sets of continuous behaviours.

UR - http://www.scopus.com/inward/record.url?scp=70349854915&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-04081-8_21

DO - 10.1007/978-3-642-04081-8_21

M3 - Conference contribution

SN - 978-3-642-04080-1

T3 - Lecture Notes in Computer Science

SP - 305

EP - 320

BT - CONCUR 2009 - Concurrency Theory

A2 - Bravetti, Mario

A2 - Zavattaro, Gianluigi

PB - Springer

ER -

Galpin V, Bortolussi L, Hillston J. HYPE: a process algebra for compositional flows and emergent behaviour. In Bravetti M, Zavattaro G, editors, CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings. Springer. 2009. p. 305-320. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-04081-8_21

HYPE: a process algebra for compositional flows and emergent behaviour

Abstract / Description of output

Publication series

Access to Document

Other files and links

Fingerprint

CODA: Process Algebra Approaches to Collective Dynamics

Cite this

HYPE: a process algebra for compositional flows and emergent behaviour

Abstract / Description of output

Publication series

Access to Document

Other files and links

Fingerprint

Projects

CODA: Process Algebra Approaches to Collective Dynamics

Cite this