Generating Hierarchical State Based Representation From Event-B Models

Authors:
Dipak L. Chaudhari;Om P. Damani
Affiliations:
Department of Computer Science and Engineering, Indian Institute of Technology, Bombay, Mumbai, India;Department of Computer Science and Engineering, Indian Institute of Technology, Bombay, Mumbai, India
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2011

Citing 11
Cited 1

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Construction of Finite Labelled Transistion Systems from B Abstract Systems

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Translating Statecharts to B

IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Contributions for Modelling UML State-Charts in B

IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
UML-B: Formal modeling and design aided by UML

ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic graphical UML views from formal B specifications

Information and Software Technology
UML-B and Event-B: an integration of languages and tools

SE '08 Proceedings of the IASTED International Conference on Software Engineering
Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering
Automatic flow analysis for event-B

FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Structured event-b models and proofs

ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Visualising larger state spaces in ProB

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B

Refinement-Based development of timed systems

IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

Many properties of a system may not be obvious just by a quick inspection of the corresponding Event-B model. Users typically rely on animation, scenario analysis, and inspection of state transition graphs for discovering certain behavior of the system. We propose a methodology for generating a hierarchical representation of the system for visualising Event-B models. Our representation is succinct and it provides multiple views to aid in better comprehension of the Event-B models.