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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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.
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.
K. Baclawski. Transactions in the nu& system. In OOPLSA/ECOOP’90 Workshop on Transactions and Objects, pages 65–72, October 1990.
K. Baclawski. Panoramas and grammars: a new view of data models. Technical Report NU-CCS-91-2, Northeastern University College of Computer Science, 1991.
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.
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.
[B092]D. Batory and S. O’Malley.The design and implementation of hierarchical software systems with reusable components. ACM TOSEM, October 1992.
G. Booch, J. Rumbaugh, and I. Jacobsen. UML Notation Guide, Version 1.1, September 1997.
G. Booch, J. Rumbaugh, and I. Jacobsen. UML Semantics, September 1997.
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.
M. Fraser et al. Strategies for incorporating formal specifications. Communicatittions of the ACM, 37: 74–86, 1994.
[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.
C. Krueger. Software reuse. ACM Computing Surveys, 24: 131–183, June 1992.
J. Neighbors. The Draco approach to constructing software from reusable components. IEEE Trans. Software Engineering, pages 564–574, Sept. 1984.
Refine 3.0 User’s Guide, May 25, 1990.
Specware™ User Manual: Specware™ Version Core4, October 1994.
R. Waldinger et al. Specware™ Language Manual: Specware™ 2.0.2, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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