Skip to main content
SpringerLink
Log in
Book cover

Behavioral Specifications of Businesses and Systems pp 1–14Cite as

Object-Oriented Transformation

  • Chapter

  • 112 Accesses

Part of the book series: The Springer International Series in Engineering and Computer Science ((SECS,volume 523))

Abstract

Modern CASE tools and formal methods systems are more than just repositories of specification and design information. They can also be used for refinement and code generation. Refinement is the process of transforming one specification into a more detailed specification. Specifications and their refinements typically do not use the same specification language. Code generation is also a transformation, where the target language is a programming language. Although object-oriented (OO) programming languages and tools have been available for a long time, refinement and transformation are still based on grammars and parse trees. The purpose of this paper is to compare grammar-based transformation with object-oriented transformation and to introduce a toolkit that automates the generation of parsers and transformers. A more specific objective is to apply these techniques to the problem of translating a CASE repository into logical theories of a formal methods system.

This is a preview of subscription content, 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   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Babin et al. Specification and design of transactions in information systems: A formal approach. IEEE Transactions on Software Engineering, 17:814–829, August 1991.

    Article  Google Scholar 

  2. K. Baclawski. The nu&object-oriented semantic data modeling tool: intermediate report. Technical Report NU-CCS-90-18, Northeastern University, College of Computer Science, 1990.

    Google Scholar 

  3. K. Baclawski. Transactions in the nu& system. In OOPLSA/ECOOP’90 Workshop on Transactions and Objects, pages 65–72, October 1990.

    Google Scholar 

  4. K. Baclawski. Panoramas and grammars: a new view of data models. Technical Report NU-CCS-91-2, Northeastern University College of Computer Science, 1991.

    Google Scholar 

  5. D. Batory and B. Geraci. Composition validation and subjectivity in Gen-Voca generators. IEEE Transactions on Software Engineering, 23: 67–82, 1997. DARPA and WL supported project under contract F33615-91C-1788.

    Article  Google Scholar 

  6. K. Baclawski, T. Mark, R. Newby, and R. Ramachandran. The nu& object-oriented semantic data modeling tool: preliminary report. Technical Report NU-CCS-90-17, Northeastern University, College of Computer Science, 1989.

    Google Scholar 

  7. [B092]D. Batory and S. O’Malley.The design and implementation of hierarchical software systems with reusable components. ACM TOSEM, October 1992.

    Google Scholar 

  8. G. Booch, J. Rumbaugh, and I. Jacobsen. UML Notation Guide, Version 1.1, September 1997.

    Google Scholar 

  9. G. Booch, J. Rumbaugh, and I. Jacobsen. UML Semantics, September 1997.

    Google Scholar 

  10. S. DeLoach. Formal Transformations from Graphically-Based Object-Oriented Representations to Theory-Based Specifications. PhD thesis, Air Force Institute of Technology, WL AFB, OH, June 1996. Ph.D. Dissertation.

    Google Scholar 

  11. M. Fraser et al. Strategies for incorporating formal specifications. Communicatittions of the ACM, 37: 74–86, 1994.

    Article  Google Scholar 

  12. [GT87]G. Gonnet and F. Tompa. Mind your grammar: a new approach to modelling text. In Proc. 13th VLDB Conf., pages 339–346, Brighton, UK, 1987.

    Google Scholar 

  13. C. Krueger. Software reuse. ACM Computing Surveys, 24: 131–183, June 1992.

    Article  Google Scholar 

  14. J. Neighbors. The Draco approach to constructing software from reusable components. IEEE Trans. Software Engineering, pages 564–574, Sept. 1984.

    Google Scholar 

  15. Refine 3.0 User’s Guide, May 25, 1990.

    Google Scholar 

  16. Specware™ User Manual: Specware™ Version Core4, October 1994.

    Google Scholar 

  17. R. Waldinger et al. Specware™ Language Manual: Specware™ 2.0.2, 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Northeastern University, Boston, Massachusetts, 02115, USA

    Kenneth Baclawski & Mieczyslaw M. Kokar

  2. Air Force Institute of Technology Wright-Patterson AFB, Ohio, 43433, USA

    Scott A. DeLoach

  3. Sanders, a Lockheed Martin Company, Nashua, New Hampshire, USA

    Jeffrey Smith

Authors
  1. Kenneth Baclawski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Scott A. DeLoach
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mieczyslaw M. Kokar
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jeffrey Smith
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Genesis Development Corporation, USA

    Haim Kilov

  2. Technische Universität München, Germany

    Bernhard Rumpe

  3. IBM T J Watson Research Center, USA

    Ian Simmonds

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer Science+Business Media New York

About this chapter

Cite this chapter

Baclawski, K., DeLoach, S.A., Kokar, M.M., Smith, J. (1999). Object-Oriented Transformation. In: Kilov, H., Rumpe, B., Simmonds, I. (eds) Behavioral Specifications of Businesses and Systems. The Springer International Series in Engineering and Computer Science, vol 523. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-5229-1_1

Download citation

  • DOI: https://doi.org/10.1007/978-1-4615-5229-1_1

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4613-7383-4

  • Online ISBN: 978-1-4615-5229-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation