skip to main content
research-article

Investigating a new formal model for a library system using B method

Published: 06 July 2009 Publication History

Abstract

The use of formal methods for development of safety-critical sys-tems has motivated researchers to serve them in distributed appli-cations. B method has the precision to support animation and rigorous verification, but requires significant effort in training to overcome the mathematical barrier that many practitioners perce-ive. In this paper, an overview of B method is described including definition, properties, and tools. Then, a new formal model for a library system using B is presented. This formal model can be ex-tended in distributed environments and be integrated with UML as further work.

References

[1]
C. Michael Holloway, Epistemology, Software Engineering and Formal Methods, In Presented at the Role of Computers in LaRC, June 1994.
[2]
D. Bjorner, Software Engineering 2: Specification of Systems and Languages, In Springer, October 2006.
[3]
K. Lano, The B language and method: a guide to practical formal development, ISBN 3540760334, springer, 1996.
[4]
J.R. ABRIAL, The B-Book: Assigning Programs to Meanings. Cambridge University Press, NY, 1996.
[5]
A. Hall, Using Formal Methods to Develop an ATC Information System, In IEEE Software, volume 13, 1996, pp. 66--76.
[6]
F.S. Marcondes, E. de Menezes Colonese, and L.A.V. Dias, "Proposing a Formal Method to Reduce RTS Logical Model Complexity", Fifth International Conference on Information Technology: New Generations, 2008 (ITNG 2008), 2008, pp. 645--650.
[7]
J. Davies and J. Woodcock. Using Z: Specification, Refinement, and Proof, In Prentice Hall, 1996.
[8]
B. Jones, Systematic Software Development using VDM, In Prentice Hall, 1990.
[9]
C.A.R. Hoare, Communicating Sequential Processes, In Prentice Hall, NJ., 1985.
[10]
The RAISE Method Group, The RAISE Development Method, In Prentice Hall, 1995.
[11]
C. Snook, M. Butler, and I. Oliver, "Toward a UML Profile for UML-B", Technical report done by Dependable Systems and Software Engineering Research Group, 2008.
[12]
H. Ehrig, W. Fey, and H. Hansen, ACT ONE -- An Algebraic Speci-fication Language with two Levels of Semantics, In Proceedings of the 2nd Workshop on Abstract Data Type (ADT), 1983.
[13]
L. Tsiopolous and M. Walden, "Formal development of NoC systems in B", Selected papers of the 17th nordic workshop on programming theory (NWPT'05), Publishing Association Nordic Journal of Computing, 2005, pp. 127--145.
[14]
C. Métayer, J.R. Abrial and L. Voisin, Event-B Language, RODIN Deliverable D7, 2005.
[15]
C. Snook and M. Butler, "UML-B and Event-B: an integration of languages and tools". The IASTED International Conference on Software Engineering -- SE2008, 12-14th February 2008, innsbruck, Austria, 2008.
[16]
Pontus Bostrand Marina Waldén, "Development of Fault Tolerant Grid Applications Using Distributed B", Fifth International Confe-rence on Integrated Formal Methods", 2005, Eindhoven, The Netherlands.
[17]
S. Schneider, H. Treharne, and N. Evans, "Chunks: component verification in CSP||B", Fifth International Conference on Integrated Formal Methods", 2005, Eindhoven, The Netherlands.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 34, Issue 4
July 2009
152 pages
ISSN:0163-5948
DOI:10.1145/1543405
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 July 2009
Published in SIGSOFT Volume 34, Issue 4

Check for updates

Author Tags

  1. e-banking
  2. e-commerce
  3. e-government
  4. e-payment
  5. information technology

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 320
    Total Downloads
  • Downloads (Last 12 months)5
  • Downloads (Last 6 weeks)0
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media