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.
- .ps - Postscript file
- .wp51 - WordPerfect version 5.1 file
- .xrf - Xroff file
- .trf - Troff file
- .html - HTML file
The second and third extensions, if they exist, indicate how the
file is packaged. Below are the possible values and their
meanings.
- .tar - The file is a collection of files packaged with the Unix tar
program. Use tar to unpack the file.
- .Z - The file is compressed using the Unix compress program. Use
uncompress to unpack the file.
- .zip - The file was created with PKZIP, version 2.04e or higher. A copy
of the PKZIP package is in this directory in a self-uncompressing file called
pkzip.exe. The program runs on MS-DOS.
- .gz - The file is compressed using the GNU gzip program. Use gunzip to
uncompress the file.
Papers
- ActiveObjectBase.ps.tar: (655k)
ActiveObjectBase.ps.tar.Z: (223k)
- A discussion on modeling active databases using OSA.
- Attributes.ps: (236k)
- An argument in favor of eliminating attributes from semantic data models.
- Cardinality.ps.tar: (1,167k)
- Cardinality.ps.tar.Z: (345k)
- A thorough review and comparison of different types of cardinality constraints
used in common analysis models.
- ClassCongruency.ps: (606k)
- ClassCongruency.ps.Z: (211k)
- ClassCongruency.ps.wp51.tar: (154k)
- ClassCongruency.ps.wp51.tar.Z: (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.
- CombiningActiveOOLogic.ps: (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.
- CompleteOSADefinition.ps.tar: (3,594k)
- CompleteOSADefinition.ps.tar.Z: (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.
- DynDistrObjFrags.ps.tar: (338k)
- DynDistrObjFrags.ps.tar.Z: (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.
- JobDiSC_caseStudy.ps.tar.Z: (57k)
- This presents a case study of OSM involving the JobDiSC project.
- Melody.ps.gz (133k)
- Melody.ps (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.
- MethodsModels.ps: (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.
- ModelEquivalent.ps: (336k)
- ModelEquivalent.ps.gz: (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.
- ModelToolTechniqueForOSS.ps: (5,915k)
- ModelToolTechniqueForOSS.ps.gz: (192k)
- This paper describes a model (OSA), a tool (IPOST), and a technique
(successive refinement) for developing object-oriented requirements
specifications.
- NestedNormalForm.ps: (763k)
- NestedNormalForm.ps.Z: (142k)
- NestedNormalForm.xrf.tar: (123k)
- NestedNormalForm.xrf.tar.Z: (45k)
- NestedNormalForm.Figures.ps: (84k)
- Defines NNF (Nested Normal Form), shows that it disallows redundancy, and that
it is an improvement over previous NNF definitions.
- NormTheoryUnderNNF.ps: (356k)
- NormTheoryUnderNNF.ps.Z: (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.
- OOPSLA93-Wkshp#19.ps: (118k)
- OOPSLA93-Wkshp#19.ps.tar.Z: (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.
- OSA_Ada.ps.Z: (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.
- OSA_Overview.ps.tar: (921k)
- OSA_Overview.ps.tar.gz: (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).
- OSAToAda.ps.gz: (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.
- ObjMitosis-IWOOOS93.ps: (157k)
- ObjMitosis-IWOOOS93.ps.Z: (63k)
- ObjMitosis-IWOOOS93.wp51.zip (157k)
- A paper on object mitosis.
- RumbaughReview.ps.Z: (1,554k)
- RumbaughReview.wp51: (284k)
- RumbaughReview.wp51.Z: (141k)
- A detailed analysis of Rumbaugh's OMT using OSA.
- SeamlessModel.ps.tar: (451k)
- SeamlessModel.ps.tar.Z: (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.
- SeamlessWhitePaper.html:
- 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.
- TheoreticalFoundation.ps.Z: (2,160k)
- TheoreticalFoundation.wp51.zip: (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.
- TunableFormalism.ps.Z: (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.
Last updated 2 May 2003, liddle@byu.edu