Object-Oriented Transformation

  • Kenneth Baclawski
  • Scott A. DeLoach
  • Mieczyslaw M. Kokar
  • Jeffrey Smith
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 523)


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.


CASE tool formal methods specification modeling language transformational reuse code generation context-free grammar 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [B+91]
    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.CrossRefGoogle Scholar
  2. [Bac90a]
    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. [Bac90b]
    K. Baclawski. Transactions in the nu& system. In OOPLSA/ECOOP’90 Workshop on Transactions and Objects, pages 65–72, October 1990.Google Scholar
  4. [Bac91]
    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. [BG97]
    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.CrossRefGoogle Scholar
  6. [BMNR89]
    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. [BRJ97a]
    G. Booch, J. Rumbaugh, and I. Jacobsen. UML Notation Guide, Version 1.1, September 1997.Google Scholar
  9. [BRJ97b]
    G. Booch, J. Rumbaugh, and I. Jacobsen. UML Semantics, September 1997.Google Scholar
  10. [DeL96]
    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. [F+94]
    M. Fraser et al. Strategies for incorporating formal specifications. Communicatittions of the ACM, 37: 74–86, 1994.CrossRefGoogle 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. [Kru92]
    C. Krueger. Software reuse. ACM Computing Surveys, 24: 131–183, June 1992.CrossRefGoogle Scholar
  14. [Nei84]
    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. [Spe94]
    Specware™ User Manual: Specware™ Version Core4, October 1994.Google Scholar
  17. [W+98]
    R. Waldinger et al. Specware™ Language Manual: Specware™ 2.0.2, 1998.Google Scholar

Copyright information

© Springer Science+Business Media New York 1999

Authors and Affiliations

  • Kenneth Baclawski
    • 1
  • Scott A. DeLoach
    • 2
  • Mieczyslaw M. Kokar
    • 1
  • Jeffrey Smith
    • 3
  1. 1.Northeastern UniversityBostonUSA
  2. 2.Air Force Institute of Technology Wright-Patterson AFBUSA
  3. 3.Sanders, a Lockheed Martin CompanyNashuaUSA

Personalised recommendations