Communicating sequential processes
Communicating sequential processes
A Decomposition of a Formal Specification: An Improved Constraint-Oriented Method
IEEE Transactions on Software Engineering
Refinement and Decomposition of Value-Passing Action Systems
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
An Approach to the Design of Distributed Systems with B AMN
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
TASE '08 Proceedings of the 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering
Decomposition Structures for Event-B
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Modeling in Event-B: System and Software Engineering
Modeling in Event-B: System and Software Engineering
Event-b decomposition for parallel programs
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
The Rodin formal modelling tool
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Towards the Composition of Specifications in Event-B
Electronic Notes in Theoretical Computer Science (ENTCS)
Shared event composition/decomposition in event-b
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Refinement by interface instantiation
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Formal modelling for ada implementations: tasking event-b
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Model learning and test generation for event-b decomposition
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
| Hi-index | 0.00 |
Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the respective tool support in the Rodin platform. Besides alleviating the complexity for large systems and respective proofs, decomposition allows team development in parallel over the same Event-B project which is very attractive in the industrial environment. Copyright © 2011 John Wiley & Sons, Ltd.