Abstract | ||
---|---|---|
We study some restrictions associated with the mechanisms for structuring and modularising specifications in the B abstract machine notation. We propose an extension of the language that allows one to specify machines whose constituent modules (other abstract machines) may change dynamically, i.e., at run time. In this way, we increase the expressiveness of B by adding support for a common activity of the current systems design practice. The extensions were made without having to make considerable changes in the semantics of standard B. We provide some examples to show the increased expressive power, and argue that our proposed extensions respect the methodological principles of the B method. |
Year | Venue | Keywords |
---|---|---|
2003 | ZB | b method,constituent module,methodological principle,common activity,increased expressive power,b abstract machine notation,modularising specification,towards dynamic population management,considerable change,abstract machine,current systems design practice,system design,object orientation,expressive power |
Field | DocType | Volume |
Population,Notation,Programming language,Computer science,Systems design,Formal specification,B-Method,Artificial intelligence,Structuring,Semantics,Abstract machine,Distributed computing | Conference | 2651 |
ISSN | ISBN | Citations |
0302-9743 | 3-540-40253-5 | 2 |
PageRank | References | Authors |
0.43 | 10 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nazareno Aguirre | 1 | 159 | 21.79 |
Juan Bicarregui | 2 | 278 | 20.63 |
Theo Dimitrakos | 3 | 486 | 37.89 |
Tom Maibaum | 4 | 281 | 31.90 |