Skip to main content
SpringerLink
Log in

A Process Compensation Language

  • Conference paper
  • First Online:
Integrated Formal Methods (IFM 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1945))

Included in the following conference series:

Abstract

This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most significant is the concept of compensation that allows a previous action to be undone. The semantics of the language is given by an operational approach. The specification of a system is composed by a set of StAC processes that describe the behaviour of the system and a set of B operations that describe basic computations. Operational semantics is used to justified the integration of StAC processes with B operations.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.

    Google Scholar 

  2. M.J. Butler. csp2B: A practical approach to combining CSP and B. In FM’99-Formal Methods, LNCS 1708, pages 490–508. Springer-Verlag, 1999.

    Chapter  Google Scholar 

  3. H. Eertink, W. Janssen, P.O. Luttighuis, W. Teeuw, and C. Vissers. A business process design language. In FM’99-Formal Methods, LNCS 1708, pages 76–95. Springer-Verlag, 1999.

    Chapter  Google Scholar 

  4. C.A.R Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.

    Google Scholar 

  5. K. Lano. The B Language and Method: A Guide to Practical Formal Development. Formal Approaches to Computing and Information Technology. Springer-Verlag, 1996.

    Google Scholar 

  6. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.

    Google Scholar 

  7. R. Monson-Haefel. Enterprise Java Beans. O’Reilly, 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Declarative Systems and Software Engineering Group (DSSE)Dept. of Electronics and Computer Science, Univ. of Southampton Highfield, Southampton, SO17 1BJ, UK

    Michael Butler & Carla Ferreira

Authors
  1. Michael Butler
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carla Ferreira
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Sekr.FR 5-13 bzw.5-6, TU Berlin, Franklinstr.28-29, 10587, Berlin, Germany

    Wolfgang Grieskamp  & Thomas Santen  & 

  2. School of Computing and Mathematics, University of Teesside, Middlesbrough, TS1 3BA, UK

    Bill Stoddart

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Butler, M., Ferreira, C. (2000). A Process Compensation Language. In: Grieskamp, W., Santen, T., Stoddart, B. (eds) Integrated Formal Methods. IFM 2000. Lecture Notes in Computer Science, vol 1945. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40911-4_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-40911-4_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41196-3

  • Online ISBN: 978-3-540-40911-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation