Open Access. Powered by Scholars. Published by Universities.®
Programming Languages and Compilers Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 3 of 3
Full-Text Articles in Programming Languages and Compilers
Unification Of Larch And Z-Based Object Models To Support Algebraically-Based Design Refinement: The Z Perspective, Kathleen M. Wabiszewski
Unification Of Larch And Z-Based Object Models To Support Algebraically-Based Design Refinement: The Z Perspective, Kathleen M. Wabiszewski
Theses and Dissertations
This research established a foundation for formalizing the evolution of based object models to theories, part of a dual approach for formally extending object-oriented analysis models using the Z and LARCH languages. For the initial phase, a comprehensive, consistent, and correct Z language parser was implemented within the SOFTWARE REFINERY™ Programming Environment. The Z parser produced abstract syntax trees (ASTs) of objects, thereby forming the basis for analyzing the similarities and differences between the based and LARCH-based object representations. The second phase used the analysis of the two languages to identify fundamental core constructs that consisted of similar syntactic and …
Designing And Implementing An Ada Language Binding Specification For Odmg-93, Stephen R. Lindsay
Designing And Implementing An Ada Language Binding Specification For Odmg-93, Stephen R. Lindsay
Theses and Dissertations
Object-oriented database management systems (ODBMSs) represent the latest advancement in database technology, combining the reusability and maintainability of the object-oriented programming paradigm with the ability to efficiently store and retrieve a wide range of data types as well as code to manipulate stored data. Unfortunately, programmers developing software in the Ada programming language do not have the ability to interface to object databases without significant customized code development. One important reason for this has been the absence of a standard defining the constructs accessing ODBMS functionality. This thesis documents the creation of an Ada language binding to the ODMG-93 standard …
Unification Of Larch And Z-Based Object Models To Support Algebraically-Based Design Refinement: The Larch Perspective, Catherine J. Lin
Unification Of Larch And Z-Based Object Models To Support Algebraically-Based Design Refinement: The Larch Perspective, Catherine J. Lin
Theses and Dissertations
This research describes the feasibility of developing object-oriented LARCH specifications, part of a dual approach for formally extending object-oriented analysis models using LARCH and Z. The first phase consisted of two steps establishing a set of transformation heuristics for algebraically representing object models and implementing a robust LARCH parser. The LARCH parser produced abstract syntax trees ASTs of objects forming the basis for analyzing the similarities and differences between Z-based and LARCH-based object representations. The second phase used the analysis of LARCH and Z to identify fundamental core constructs in the languages and abstract syntax trees. These core constructs consisted …