skip to main content
article

Applying domain engineering using RAISE into a particular banking domain

Published: 01 March 2007 Publication History

Abstract

Recently, several flavors of formal methods have been gaining industrial acceptance and production quality software tools have begun emerging. Domain Engineering (DE) has been introduced as one of outstanding ideas in software development. It serves Formal Methods (FMs) that provide a rigorous, mathematical based framework for specifying, defining, and verifying systems in the software development for critical systems. New software engineering includes three phases consisting of domain engineering, requirement engineering, and design and implementation. The purpose of this paper is to introduce the key concepts of domain engineering with providing overview information about formal methods and applying RAISE as a formal method that has been used successfully on various, diverse applications. Then, a particular banking domain is specified with using them. Formal model presented in this paper is provable to implement this domain. With merginging object oriented technology with domain engineering, this model can be extended for serving in distributed systems. It improves reusability and reliability in such environments.

References

[1]
{Bjo99} D. Bjorner. Where do Software Architectures come from? Systematic Development from Domains and Requirements. A Re-assessment of Software Engneering? In South African Journal of Computer Science, volume 22, pages 3--13, 1999.
[2]
{Bjo00a} D. Bjorner. Domain Engineering: A Software Engineering Discipline in Need of Research. In Lecture Notes in Computer Science, Springer- Verlag, volume 1963, pages 1--17, November 2000.
[3]
{Bjo00b} D. Bjorner. Formal Software Techniques in Railway Systems. In In Eckehard Schnieder, editor, 9th IFAC Symposium on Control in Transportation Systems, Technical University, Braunschweig, Germany. VDI/VDE-Gesellschaft Mess- und Automatisieringstechnik, VDI-Gesellschaft fr Fahrzeug- und Verkehrstechnik. Invited plenum lecture., pages 1--12, June 2000.
[4]
{Bjo00c} D. Bjorner. Pinnacles of software engineering: 25 years of formal methods. In Annals of Software Engineering, volume 10, pages 11--66, 2000.
[5]
{Bjo05} D. Bjorner. A Cloverleaf of Software Engineering. In Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), Koblenz, Germany, pages 75--85, September 2005.
[6]
{Bjo06a} D. Bjorner. Software Engineering 2: Specification of Systems and Languages. In Springer, October 2006.
[7]
{Bjo06b} D. Bjorner. Software Engineering 3: Domains, Requirements, and Software Design. In Springer, October 2006.
[8]
{CSGR93} D. Craigen, S., Gerhart, and T. J. Ralston. An International Survey of Industrial Applications of Formal Methods: Volume 1 Purpose, Approach, Analysis, and Conclusions. In National Technical Information Service, 5285 Port Royal Road, Springfield, VA 22161, USA, volume 1 and 2, March 1993.
[9]
{DW96} J. Davies and J. Woodcock. Using Z: SPecification, Refinement, and Proof. In Prentice Hall, 1996.
[10]
{ea85} K. Futatsugi et al. Principles of OBJ2. In Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pages 52--66, 1985.
[11]
{ea05} D. Riesco et al. Using a feature model for RAISE specification reusability. In IEEE International Conference on Information Reuse and Integration, pages 306--311, August 2005.
[12]
{EFH83} H. Ehrig, W. Fey, and H. Hansen. ACT ONE - An Algebraic Specification Language with two Levels of Semantics. In Proceedings of the 2nd Workshop on Abstract Data Type (ADT), 1983.
[13]
{GCR93} S. Gerhart, D. Craigen, and T. Ralston. Observations on industrial practice using formal methods. In Proceedings of the 15th international conference on Software Engineering, Baltimore, Maryland, United States, volume 36, pages 24--33, May 1993.
[14]
{GGH93} S. J. Garland, J. V. Guttag, and J. J. Horning. An Overview of Larch. In Lecture Notes In Computer Science, Springer-Verlag, London, UK, volume 693, pages 329--348, September 1993.
[15]
{Gro92} The RAISE Language Group. The RAISE Specification Language. In Prentice Hall, 1992.
[16]
{Gro95} The RAISE Method Group. The RAISE Development Method. In Prentice Hall, 1995.
[17]
{Gro97} NASA Formal Method Group. Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems. In Volume II: A Practitioner's Companion, 1997.
[18]
{Ha196} A. Hall. Using Formal Methods to Develop an ATC Information System. In IEEE Software, volume 13, pages 66--76, March 1996.
[19]
{Hoa} T. Hoare. In http://web.comlab.ox.ac.uk/oucl/people/tony.hoare.html.
[20]
{Hoa85} C. A. R. Hoare. Communicating Sequential Processes. In Prentice Hall, NJ., 1985.
[21]
{Hol94} C. Michael Holloway. Epistemology, Software Engineering, and Formal Methods. In Presented at The Role of Computers in LaRC, June 1994.
[22]
{Jon90} C. B. Jones. Systematic Software Development using VDM. In Prentice Hall, 1990.
[23]
{Mil80} R. Milner. A Calculus of Communicating Systems. In Springer-Verlag, Berlin, 1980.
[24]
{PB04} M. Penicka and D. Bjorner. From railway resource planning to train operation. In Building the Information Society, IFIP 18th World Computer Congress, Topical Sessions, Toulouse, France, volume August, pages 629--636, July 2004.
[25]
{Ped97} J. S. Pedersen. Introduction to formal methods and experiences from the LaCoS and Orsted projects. In IEE Colloquium on Industrial Use of Formal Methods (Digest No: 1997/171), UK, May 1997.
[26]
{Ped04} J. Storbank Pedersen. RAISE Frequently Asked Questions. In http://spd-web.terma.com/Projects/RAISE/faq.html, June 2004.
[27]
{RFDM04} D. Riesco, L. Felice, N. Debnath, and G. Montejano. Incorporating a reuse model to the RAISE formal method. In Proceedings of the IEEE International Conference on Information Reuse and Integration, pages 133--138, November 2004.
[28]
{SP91} W. J. Toetenel S. Prehn. VDM '91 - Formal Software Development. In 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, Proceedings, Volume 1: Conference Contributions. Lecture Notes in Computer Science 551 Springer, pages 15--22, October 1991.
[29]
{vDKV00} A. van Deursen, P. Klint, and J. Visser. Domain-Specific Languages: An Annotated Bibliography. In http://homepages.cwi.nl/arie/papers/dslbib/, 2000.

Cited By

View all
  • (2013)Managing Lessons LearnedOntology-Based Applications for Enterprise Systems and Knowledge Management10.4018/978-1-4666-1993-7.ch013(224-245)Online publication date: 2013
  • (2011)System verification through program verificationProceedings of the 17th international conference on Formal methods10.5555/2021296.2021303(27-41)Online publication date: 20-Jun-2011
  • (2011)System Verification through Program VerificationFM 2011: Formal Methods10.1007/978-3-642-21437-0_5(27-41)Online publication date: 2011

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 32, Issue 2
March 2007
118 pages
ISSN:0163-5948
DOI:10.1145/1234741
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 2007
Published in SIGSOFT Volume 32, Issue 2

Check for updates

Author Tags

  1. RAISE
  2. domain engineering
  3. formal methods
  4. software engineering

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2013)Managing Lessons LearnedOntology-Based Applications for Enterprise Systems and Knowledge Management10.4018/978-1-4666-1993-7.ch013(224-245)Online publication date: 2013
  • (2011)System verification through program verificationProceedings of the 17th international conference on Formal methods10.5555/2021296.2021303(27-41)Online publication date: 20-Jun-2011
  • (2011)System Verification through Program VerificationFM 2011: Formal Methods10.1007/978-3-642-21437-0_5(27-41)Online publication date: 2011

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