NDLI: Event-B Patterns and Their Tool Support

Content Provider	IEEE Xplore Digital Library
Author	Thai Son Hoang Furst, A. Abrial, J.-R.
Copyright Year	2009
Abstract	Event-B has given developers the opportunity to construct models of complex systems which are correct by construction. However, there is no systematic approach, especially in terms of reusing, which could help with the construction of these models. We introduce the notion of design patterns within the framework of Event-B to shorten this gap. Our approach preserves the correctness of the models which is critical in formal methods and also reduces the proving effort. Within our approach, an Event-B design pattern is just another model devoted to the formalisation of a typical sub-problem. As a result, we can use patterns to construct a model which can subsequently be used as a pattern to construct a larger model. We also present the interaction between developers and the future tool support within the associated Rodin Platform of Event-B. The approach has been applied successfully in some medium-size industrial case studies.
Starting Page	210
Ending Page	219
File Size	350050
Page Count	10
File Format	PDF
ISBN	9780769538709
DOI	10.1109/SEFM.2009.17
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2009-11-23
Publisher Place	Vietnam
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Object oriented modeling Software engineering Context modeling Computer science Software design Object oriented programming Protocols Helium Reuse Event-B Design Patterns
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Event-B patterns and their tool support

Teaching object orientation: patterns and reuse

A new method for component reuse

Simulation-specific characteristics and software reuse

Programming with patterns

Planned software reuse in object-oriented software engineering education

Design of agent-oriented pattern templates

Framework Characteristics - A Starting Point for Addressing Reuse Difficulties

Fundamentals of programming languages, Second edition

Event-B Patterns and Their Tool Support

Similar Documents

Event-B patterns and their tool support

Teaching object orientation: patterns and reuse

A new method for component reuse

Simulation-specific characteristics and software reuse

Programming with patterns

Planned software reuse in object-oriented software engineering education

Design of agent-oriented pattern templates

Framework Characteristics - A Starting Point for Addressing Reuse Difficulties

Fundamentals of programming languages, Second edition

Event-B Patterns and Their Tool Support