Conference
Towards Dynamically Communicating Abstract Machines in the B Method
Abstract
In this paper we present an attempt to represent dynamic communication links between abstract machines in the B method. The approach complements a previously proposed extension to B, that supports dynamic creation and deletion of machine instances, providing a mechanism for dynamically connecting or disconnecting machine instances for communication. This mechanism is based on the concept of connector, in the software architectures sense.We …
Authors
Aguirre N; Arroyo M; Bicarregui J; Guzmán L; Maibaum T
Series
Lecture Notes in Computer Science
Volume
3785
Pagination
pp. 141-155
Publisher
Springer Nature
Publication Date
2005
DOI
10.1007/11576280_11
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743