OROS: toward a type model for software development environments

Three important goals of next generation software development environments (SDEs) are extensibility, integration and broad scope. Our work on OROS is predicated on the hypothesis that a type model, incorporated into an environment's object manager, can contribute to achieving those goals. This paper reports on an attempt at applying object-oriented typing concepts in the domain of software development environments. We believe that the result is a type model that has properties of interest both to software environment builders and also to builders and users of object-oriented systems in general.

[1]  Jack C. Wileden,et al.  Foundations for the Arcadia environment architecture , 1989, SDE 3.

[2]  Richard C. H. Connor,et al.  On the Integration of Object-Oriented and Process-Oriented Computation in Persistent Environments , 1988, OODBS.

[3]  Leon J. Osterweil,et al.  A mechanism for environment integration , 1990, TOPL.

[4]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[5]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[6]  David Maier,et al.  Development of an object-oriented DBMS , 1986, OOPSLA 1986.

[7]  Don Vines,et al.  Gaia: an object-oriented framework for an Ada environment , 1988, [Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments.

[8]  Renzo Orsini,et al.  GALILEO: a strongly-typed, interactive conceptual language , 1985, TODS.

[9]  Craig Schaffert,et al.  An introduction to Trellis/Owl , 1986, OOPSLA 1986.

[10]  Michael Stonebraker,et al.  The POSTGRES Data Model , 1987, Research Foundations in Object-Oriented and Semantic Database Systems.

[11]  James E. Rumbaugh.  Relations as semantic constructs in an object-oriented language , 1987, OOPSLA 1987.

[12]  Prof. Randy H. Katz,et al.  Information Management for Engineering Design , 1985, Surveys in Computer Science.

[13]  Richard C. H. Connor,et al.  Napier88 - A Database Programming Language? , 1989, DBPL.

[14]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[15]  Larry Carter,et al.  Distrbution and Abstract Types in Emerald , 1987, IEEE Transactions on Software Engineering.

[16]  Patricia A. Oberndorf.  The Common Ada Programming Support Environment (APSE) Interface Set (CAIS) , 1988, IEEE Trans. Software Eng..

[17]  Jack C. Wileden,et al.  The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process , 1989, IEEE Trans. Software Eng..

[18]  Craig Harris,et al.  Combining language and database advances in an object-oriented development environment , 1987, OOPSLA 1987.

[19]  Alan Snyder.  Encapsulation and inheritance in object-oriented programming languages , 1986, OOPSLA 1986.

[20]  Stanley B. Zdonik,et al.  Language and Methodology for Object-Oriented Database Environments , 1985, Data Types and Persistence.

[21]  Jack C. Wileden,et al.  Preliminary Report on the OROS Type Model , 1988 .

[22]  P. A. Berstein.  Database system support for software engineering , 1987, ICSE '87.

[23]  Alexander L. Wolf,et al.  Toward Principles of Inheritance and Subtyping in Programming Languages , 1988 .

[24]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[25]  Scott Danforth,et al.  Type theories and object-oriented programmimg , 1988, CSUR.

[26]  Ian Thomas,et al.  The object management system of PCTE as a software engineering database management system , 1987, SDE 2.

[27]  Andrew P. Black,et al.  Object structure in the Emerald system , 1986, OOPSLA 1986.

[28]  Stuart I. Feldman,et al.  Make — a program for maintaining computer programs , 1979, Softw. Pract. Exp..