Computer Science – Software Engineering
Scientific paper
2009-07-12
Computer Science
Software Engineering
18 pages, submitted to ICFEM 2009
Scientific paper
Model-driven design of software for safety-critical applications often relies on mathematically grounded techniques such as the B method. Such techniques consist in the successive applications of refinements to derive a concrete implementation from an abstract specification. Refinement theory defines verification conditions to guarantee that such operations preserve the intended behaviour of the abstract specifications. One of these conditions requires however that concrete operations have exactly the same signatures as their abstract counterpart, which is not always a practical requirement. This paper shows how changes of signatures can be achieved while still staying within the bounds of refinement theory. This makes it possible to take advantage of the mathematical guarantees and tool support provided for the current refinement-based techniques, such as the B method.
Deharbe David
Gomes Bruno E. G.
Moreira Anamaria M.
No associations
LandOfFree
Refining interfaces: the case of the B method does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Refining interfaces: the case of the B method, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Refining interfaces: the case of the B method will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-593505