Papers Home Page

Papers and Bibliographies

This page contains a collection of papers from the Object-oriented Systems Modeling (OSM) research group at Brigham Young University.

The first extension of the file name identifies the format of the paper. Below is a list of possible extensions and their meanings. The second and third extensions, if they exist, indicate how the file is packaged. Below are the possible values and their meanings.

Papers (655k) (223k)
A discussion on modeling active databases using OSA. (236k)
An argument in favor of eliminating attributes from semantic data models. (1,167k) (345k)
A thorough review and comparison of different types of cardinality constraints used in common analysis models. (606k) (211k) (154k) (68k)
A definition and discussion of object-class congruency, which addresses the quality of class abstractions and the position of information in generalization/specialization hierarchies. (222K)
An extended abstract describing our approach for combining active, object-oriented, and deductive database systems. This paper enumerates several integration problems and discusses our solution to those challenges. This paper has been submitted to ADBIS'96 for review. (3,594k) (888k)
CompleteOSADefinition.wp51.tar: (6,031k)
CompleteOSADefinition.wp51.tar.Z: (1,626k)
A technical report that contains the complete definition of OSA's syntax and semantics. The body of the report is 69 pages. The appendices are over 420 pages. (338k) (96k)
DynDistrObjFrags.xrf.tar: (143k)
DynDistrObjFrags.xrf.tar.Z: (57k)
This paper proposes a distribution scheme that allows objects to be transparently fragmented at runtime and then allows these fragments to be dynamically distributed, replicated, and migrated from site to site. (57k)
This presents a case study of OSM involving the JobDiSC project. (133k) (815K)
This paper is the specification for the Melody language. It is currently in its first draft. Melody is a model-driven, multiparadigm, active, object-oriented database programming language. It is seamlessly integrated with the OSM model. (140k)
MethodsModels.wp51: (48k)
This paper talks about how to integrate object-oriented methods and models, for OSA in particular. It proposes an outline for a method for OSA. (336k) (115k)
This paper describes the idea of a model-equivalent language, in which the implementation language uses the same underlying model as the rest of a software-engineering methodology. A shorter version of this working paper will be published in the OOER '95 conference proceedings. (5,915k) (192k)
This paper describes a model (OSA), a tool (IPOST), and a technique (successive refinement) for developing object-oriented requirements specifications. (763k) (142k)
NestedNormalForm.xrf.tar: (123k)
NestedNormalForm.xrf.tar.Z: (45k) (84k)
Defines NNF (Nested Normal Form), shows that it disallows redundancy, and that it is an improvement over previous NNF definitions. (356k) (77k)
NormTheoryUnderNNF.xrf.tar: (61k)
NormTheoryUnderNNF.xrf.tar.Z: (25k)
Shows that BCNF and 4NF are special cases of NNF (Nested Normal Form) & gives a precise characterization for redundancy in terms of NNF. (118k) (32k)
OOPSLA93-Wkshp#19.xrf: (18k)
OOPSLA93-Wkshp#19.xrf.Z: (9k)
This paper summarizes the results of Workshop #19, "Understanding Object-Model Concepts," held in conjunction with OOPSLA '93. (873k)
OSA_Ada.wp51: (921k)
OSA_Ada.wp51.Z: (294k)
A Master's thesis that gives an algorithm for implementing OSA model instances in the Ada language. Ada-based implementations preserve OSA concepts in the implementation, and in particular, support object classes as sets of concurrent objects. Templates are supplied for generating Ada packages. (921k) (272k)
OSA_Overview.xrf.tar: (645k)
OSA_Overview.xrf.tar.gz: (231k)
An overview of Object-oriented Systems Analysis (OSA). This paper includes a brief discussion of OMT (Rumbaugh), OOA (Coad), and OOSA (Schlaer-Mellor). (209k)
OSAToAda.wp51: (177k)
OSAToAda:.wp51.gz (47k)
A technical report that builds on the OSA_Ada master's thesis work. This paper shows how to map OSA model instances into production-quality Ada code. Sample applications are described. (157k) (63k) (157k)
A paper on object mitosis. (1,554k)
RumbaughReview.wp51: (284k)
RumbaughReview.wp51.Z: (141k)
A detailed analysis of Rumbaugh's OMT using OSA. (451k) (92k)
SeamlessModel.xrf.tar: (225k)
SeamlessModel.xrf.tar.Z: (45k)
A discussion of how OSM provides a seamless model for object-oriented systems development. This paper advocates better integration of the models, languages, tools, etc. used for software development.

A white paper that describes how OSM provides a seamless model for object-oriented systems development and advocates better integration of the models, languages, and tools used for software development. It is a "white paper" because it is a general request for funds and lists several specific research projects we wish to pursue. (2,160k) (643k)
An Initial Theoretical Foundation for Object-oriented Systems Analysis and Design. This is Stephen Clyde's dissertation. It describes the formal syntax and semantics definition for OSA, tunable formalism, and object-class congruency. It also considered requirements for a software engineering discipline and shows how the foundation fulfills those requirements.

ER96.pdf: (1056k)
Transforming Conceptual Models to Object-Oriented Database Designs: Practicalities, Properties, and Peculiarities.
W.Y. Mok and D.W. Embley, to appear in 15th International Conference on Conceptual Modelling (ER '96).
This paper shows how to generate schemes in a new normal form for nested relations from a conceptual model. (232k)
TunableFormalism.wp51.tar.Z: (73k)
A paper published at OOPSLA'92 on the definition and merits of tunable formalism.

InitialPaperOnXNF.pdf: (191k)
InitialPaperOnXNF.pdf: (231k) (technical report -- longer, submitted version)
Developing XML Documents with Guaranteed "Good" Properties.
This paper defines XNF, which guarantees that complying XML documents have maximally compact
connectivity while simultaneously guaranteeing that the data in complying XML documents cannot be
redundant. Further, the paper presents a conceptual-model-based methodology that aytomatically
generates XNF-compliant DTDs and prove that the algorithms, which are part of the methodology,
produce DTDs to ensure that all complying XML documents satisfy the properties of XNF.

ProducingElegantDTDs.pdf: (191k)
Producing XML Documents with Guaranteed "Good" Properties.
This paper adds to the initial XNF paper an elegant way to generate a DTD from XNF scheme trees.

CS Dept Home Page  BYU Home Page
Last updated 2 May 2003,