B Tools

This chapter presents different types of tools used for the implementation of the B language. Both the commercial and freely‐distributed versions of Atelier B constitute high performance tools for learning the B language and for complex developments, but interfacing with other tools is difficult, al...

Full description

Saved in:
Bibliographic Details
Published in:Formal Methods Applied to Complex Systems: Implementation of the B Method pp. 47 - 81
Main Author: Boulanger, Jean‐Louis
Format: Book Chapter
Language:English
Published: Hoboken, NJ, USA John Wiley & Sons, Inc 26.06.2014
Subjects:
Atelier B
B language
B tools
open source tools
proof obligations (POs)
ISBN:1848217099, 9781848217096
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract This chapter presents different types of tools used for the implementation of the B language. Both the commercial and freely‐distributed versions of Atelier B constitute high performance tools for learning the B language and for complex developments, but interfacing with other tools is difficult, although it is possible to use open source tools to prove proof obligations (POs) generated using Atelier B. The chapter also presents the ABTools environment, used to test extensions to the B language by generalizing existing grammars. It is divided into three sections: general principles; presentation of Atelier B and presentation of open source tools.
AbstractList This chapter presents different types of tools used for the implementation of the B language. Both the commercial and freely‐distributed versions of Atelier B constitute high performance tools for learning the B language and for complex developments, but interfacing with other tools is difficult, although it is possible to use open source tools to prove proof obligations (POs) generated using Atelier B. The chapter also presents the ABTools environment, used to test extensions to the B language by generalizing existing grammars. It is divided into three sections: general principles; presentation of Atelier B and presentation of open source tools.
Author Boulanger, Jean‐Louis
Author_xml – sequence: 1
  givenname: Jean‐Louis
  surname: Boulanger
  fullname: Boulanger, Jean‐Louis
BookMark eNptj0FLAzEQhSMq2tb-AG_-gW1nks1OctRiVSh4qedlkp3g4tIUchD99W5VhIKH4c0M7z34pupsl3ei1DXCAgH00pNDRD-upGkRX82Jmv49_Ol4uNppJPD-Us1L6QNoDQi6cRN1cXezzXkoV-o88VBk_qsz9bK-364eq83zw9PqdlMVtJAqCixsuelS45k91xyIxHSEbAVjBHZNMuIiR0kGMUCyQgGCqSna6MxM4U_vez_IRysh57fSIrQHlPYIpR1RDjNmqn8yx97Pfv_t33fJfAGgmkwd
ContentType Book Chapter
Copyright Copyright © 2014 John Wiley & Sons, Inc.
Copyright_xml – notice: Copyright © 2014 John Wiley & Sons, Inc.
DOI 10.1002/9781119002727.ch3
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
EISBN 1119002729
9781119002727
Editor Boulanger, Jean‐Louis
Editor_xml – sequence: 1
  givenname: Jean‐Louis
  surname: Boulanger
  fullname: Boulanger, Jean‐Louis
EndPage 81
ExternalDocumentID 10.1002/9781119002727.ch3
Genre chapter
GroupedDBID 20A
38.
3XM
AABBV
AAPZQ
AARDG
ABARN
ABBFG
ABIAV
ABQPQ
ABQPW
ACGYG
ACLGV
ACNUM
ADVEM
AERYV
AFLZI
AFOJC
AHWGJ
AJFER
AKHYG
AKQZE
ALMA_UNASSIGNED_HOLDINGS
ASVIU
AZZ
BBABE
CZZ
GEOUK
IEZ
IPJKO
JFSCD
JJU
JP0
KJBCJ
LPRNP
LQKAK
LWYJN
LYPXV
MYL
OHSWP
OTAXI
PQQKQ
UZ6
W1A
YPLAZ
ZEEST
ID FETCH-LOGICAL-s150f-7baea5a6df69aa9a4ab77e3d71a5e1cc0a86f3e8cacef311b0f5e7b0b347c5c83
ISBN 1848217099
9781848217096
IngestDate Sat Nov 15 22:25:38 EST 2025
Wed Nov 27 04:54:48 EST 2019
IsPeerReviewed false
IsScholarly false
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-s150f-7baea5a6df69aa9a4ab77e3d71a5e1cc0a86f3e8cacef311b0f5e7b0b347c5c83
PageCount 35
ParticipantIDs wiley_ebooks_10_1002_9781119002727_ch3_ch3
PublicationCentury 2000
PublicationDate 2014-06-26
PublicationDateYYYYMMDD 2014-06-26
PublicationDate_xml – month: 06
  year: 2014
  text: 2014-06-26
  day: 26
PublicationDecade 2010
PublicationPlace Hoboken, NJ, USA
PublicationPlace_xml – name: Hoboken, NJ, USA
PublicationTitle Formal Methods Applied to Complex Systems: Implementation of the B Method
PublicationYear 2014
Publisher John Wiley & Sons, Inc
Publisher_xml – name: John Wiley & Sons, Inc
References Boulanger (cit10) 2012
Parr (cit23) 2008
Abrial (cit1) 1996
(cit13) 2001
Abrial, Cansell, Lafitte (cit5) 2002
Boulanger, George, Bruno (cit7) 1999
Abrial, Mussat (cit3) 1998; 1393
(cit6) 1983
Mariano, Boulanger, Koursi (cit16) 1995
Boulanger (cit8) 2001
Boulanger (cit9) 2010
Mentré, Marché, Filliâtre (cit21) 2012
Parr (cit22) 1993
Boulanger (cit11) 2014
Abrial (cit2) 1996
(cit19) 2001
Schmitt (cit24) 1998
Colin, Petit, Mariano (cit12) 2010
(cit18) 1998
(cit20) 2001
Lecompte, Beaurent (cit15) 1996; 6
Mariano, Boulanger (cit17) 2003; 19
Abrial (cit4) 2000
(cit14) 2011
Stéria (cit25) 1998
References_xml – year: 1999
  ident: cit7
  article-title: Revisiting B language syntax, Technical Report 99‐07
– start-page: 95
  year: 1995
  end-page: 48
  ident: cit16
  article-title: Recueil des rapports d'anomalies sur le développement de l'AtelierB
  publication-title: Report prepared under the project ASCOT N2 INRETS‐ESTAS No
– start-page: 15
  year: 2001
  end-page: 16
  ident: cit8
  article-title: ABtools, une suite d'outils pour la méthode B développé avec ANTLR
  publication-title: Journées “Outils pour et autour de la méthode B
– year: 2012
  ident: cit21
  article-title: Discharging proof obligations from Atelier B using multiple automated provers
  publication-title: ABZ Conference
– year: 2001
  ident: cit20
  article-title: Event B to B translator user manual, Technical report
– year: 1998
  ident: cit24
  article-title: The development of a parser for SDL‐2000, Technical report, Institute for Telematics, Medical University of Lubeck, Ratzeburger Allee 160 23538
– year: 1993
  ident: cit22
  article-title: Obtaining practical variants of LL(K) for K > 1 by splitting the atomic K‐Tuple
– start-page: 370
  year: 2002
  end-page: 393
  ident: cit5
  article-title: ‘Higher‐ order’︁ mathematics in B
  publication-title: ZB 2002 – Formal Specification and Development in Z and B
– year: 2012
  ident: cit10
  article-title: Formal Methods Industrial Use from Model to the Code
– year: 2001
  ident: cit19
  article-title: Event B reference manual, Technical report, Methodologies and Technologies for Industrial Strength Systems Engineering
– year: 1996
  ident: cit2
  article-title: The B‐Book
– volume: 1393
  start-page: 83
  year: 1998
  end-page: 128
  ident: cit3
  article-title: Introducing dynamic constraints in B'98
  publication-title: Recent Advances in the Development and Use of the B Method Lecture Notes in Computer Science
– year: 1983
  ident: cit6
  article-title: Standard ANSI/MIL‐STD‐1815A‐1983, Ada programming Langage
– year: 2010
  ident: cit9
  article-title: Safety of Computer Architectures
– year: 2011
  ident: cit14
  article-title: Railway applications – communications, signalling and processing systems – software for railway control and protection systems
– volume: 19
  year: 2003
  ident: cit17
  article-title: BRILLANT: modèle de développement libre et recherche scientifique: une dynamique autour de B?
  publication-title: Club SEE “Systèmes Informatiques de Confiance
– volume: 6
  start-page: 31
  year: 1996
  end-page: 34
  ident: cit15
  article-title: Le système d'automatisation de l'exploitation des trains (SAET) de METEOR
  publication-title: Revue Générale des Chemins de fer
– start-page: 169
  year: 1996
  end-page: 191
  ident: cit1
  article-title: Extending B without changing it (for developing distributed systems)
  publication-title: Proceedings of 1st Conference on the B Method, Putting into Practice Methods and Tools for Information System Design
– year: 1998
  ident: cit18
  article-title: Naissance d'un Métro, Sur la nouvelle ligne 14, les rames METEOR entrent en scène. PARIS découvre son premier métro automatique
  publication-title: La vie du Rail & des transports
– year: 1998
  ident: cit25
  article-title: Le langage B: manuel de référence
– year: 2008
  ident: cit23
  article-title: The definitive ANTLR reference – building domain specific languages
– year: 2014
  ident: cit11
  article-title: Formal Methods Applied to Industrial Complex Systems
– year: 2000
  ident: cit4
  article-title: Event driven sequential program construction
– year: 2010
  ident: cit12
  article-title: BRILLANT: an open source platform for B
  publication-title: Workshop on Tool Building in Formal Methods (held in conjunction with ABZ 2010)
– year: 2001
  ident: cit13
  article-title: Railway applications – communications, signalling and processing systems – software for railway control and protection systems
SSID ssib022010268
ssib025862898
ssj0001379362
ssib039408759
Score 1.4447252
Snippet This chapter presents different types of tools used for the implementation of the B language. Both the commercial and freely‐distributed versions of Atelier B...
SourceID wiley
SourceType Enrichment Source
Publisher
StartPage 47
SubjectTerms Atelier B
B language
B tools
open source tools
proof obligations (POs)
Title B Tools
URI https://onlinelibrary.wiley.com/doi/abs/10.1002/9781119002727.ch3
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3NS8MwFA9-gnhRVJxf7CAelGqatE16VfwAZXqY4G2kaYKDrR2rk-Ff70vSdtaJ4MFDQwlpyOtrX97v5X0gdCxjzJNQMw-2D-0FKcOeYFh7YaQlJmnAYxXYYhOs0-EvL_FTWd69sOUEWJbx6TQe_SuroQ-YbUJn_8DuelLogHtgOrTAdmi_acRN22tVaXNoo21NXeii1jFBwTQ__kBNqxTlxhJgMwMPy-CjrPYWKJ-ugXo-GdjgYOcMI7LaP-Ihn_SLr9_c5Vk3zwcNS4IfGI8nF67upPy8q07TH9NhToCEHHAMjr_KPZc1s9pB_R9ls8v1ambwQQsBOEzYuXyls42odg_8ZfQiWmQM5Nny7fXj830lOYg50ycz4ERCAGp8BiRN-XdeJTa01jcKcikiLqeAIycuE4DV5FVn4JhczC2jCWWsLtLdQOsmPqVtAkeAmk20oLIttHrZtq9-Gz3fXHev7ryyxoVXgCquPZYIJUIRpTqKhYhFIBLGFE2ZL0LlS4kFjzRVXAqpNPX9BOtQsQQnNGAylJzuoKUsz9QuakttjNoqApVXBCFQj7lUUUKClESKUt5Cp3bNPXsMX_RcwmrSaxDXA-LM1UInjcHNQR_9kR04SvXeX2bdR2uzD-8ALb2NJ-oQrcj3t34xPiqZ-glJTDvU
linkProvider ProQuest Ebooks
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Formal+Methods+Applied+to+Complex+Systems%3A+Implementation+of+the+B+Method&rft.au=Boulanger%2C+Jean%E2%80%90Louis&rft.atitle=B+Tools&rft.date=2014-06-26&rft.pub=John+Wiley+%26+Sons%2C+Inc&rft.isbn=9781848217096&rft.spage=47&rft.epage=81&rft_id=info:doi/10.1002%2F9781119002727.ch3&rft.externalDocID=10.1002%2F9781119002727.ch3
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781848217096/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781848217096/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781848217096/sc.gif&client=summon&freeimage=true