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]  Leon J. Osterweil,et al.  A mechanism for environment integration , 1990, TOPL.

[2]  Andrew P. Black,et al.  Object structure in the Emerald system , 1986, OOPLSA '86.

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

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

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

[6]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

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

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

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

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

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

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

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

[14]  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.

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

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

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

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

[19]  J. J. Whelan,et al.  5th international conference on software engineering , 1981, SOEN.

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

[21]  Philip A. Bernstein,et al.  Database System Support for Software Engineering , 1987, International Conference on Software Engineering.

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

[23]  David Maier,et al.  Development of an object-oriented DBMS , 1986, OOPLSA '86.

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

[25]  Alexander Lee Wolf.  Language and tool support for precise interface control (environments, programming languages, module interconnection) , 1985 .