ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Suggest an Enhancement
Contact ePubs
Full Record Details
Persistent URL
http://purl.org/net/epubs/work/29203
Record Status
Checked
Record Id
29203
Title
Towards Dynamic Population Management of Abstract Machines in the B Method
Contributors
N Aguirre
,
J Bicarregui
,
T Dimitrakos
,
T Maibaum
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, ie 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.
Organisation
CCLRC
,
BITD
Keywords
Structuring mechanisms
,
dynamic reconfiguration.
,
modularisation
,
object orientation
Funding Information
Related Research Object(s):
Licence Information:
Language
English (EN)
Type
Details
URI(s)
Local file(s)
Year
Paper In Conference Proceedings
In Formal Specification and Development in Z and B: Third International Conference of B and Z Users (ZB 2003), Turku, Finland, 4-6 Jun 2003, (2003).
zb2003.ps
2003
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
SHERPA FACT
SHERPA RoMEO
SHERPA JULIET
Journal Checker Tool
Google Scholar