Automatically assigned DDC number: 00511

Manually assigned DDC number: 005115

Title: Formal Specification of Object Systems

Author:

Author:

Author:

Subject: Ralf Jungclaus,Gunter Saake,Cristina Sernadas Formal Specification of Object Systems

Description: The conceptual modeling of the Universe of Discourse (UoD) is an important phase for the development of information systems because the conceptual model is the basis for system development. Conceptual model specifications must be formal in order to be precise and unambiguous and to support consistency and completeness checks. The object-oriented paradigm is suitable for providing an integrated formal description of all relevant static and dynamic aspects of the UoD structured in objects. In this paper we introduce a formal concept of object suitable to represent the UoD by a collection of concurrent interacting objects. The Oblog-language for object-oriented UoD-specification based on this concept supports the integrated description of data about objects, the development of objects through time and of various relationships between objects taking into account static and dynamic aspects of object interaction. 1 Introduction Information systems are data-intensive software systems which ...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1999-03-25

Pubyear: 1991

Format: ps

Identifier: http://citeseer.ist.psu.edu/140415.html

Source: http://wwwiti.cs.uni-magdeburg.de/~itiall/ftp/papers/db/91/jss91tapsoft.ps.gz

Language: en

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Formal   Specification   of   Object   Systems">

            <identifier   Org="ISBN:0387567771"   Paper_ID="SELF"   Extracted="0387567771"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0824722833"   Paper_ID="SELF"   Extracted="0824722833"   />

            <identifier   Org="ISBN:0824727096"   Paper_ID="SELF"   Extracted="0824727096"   />

            <identifier   Org="ISBN:354019732X"   Paper_ID="SELF"   Extracted="354019732X"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540539816"   Paper_ID="SELF"   Extracted="3540539816"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540540091"   Paper_ID="SELF"   Extracted="3540540091"   DDC="005.74/01/51"   Normalized_DDC="005740151"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540554815"   Paper_ID="SELF"   Extracted="3540554815"   />

            <identifier   Org="ISBN:3540556133"   Paper_ID="SELF"   Extracted="3540556133"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540556680"   Paper_ID="SELF"   Extracted="3540556680"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540556931"   Paper_ID="SELF"   Extracted="3540556931"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540563792"   Paper_ID="SELF"   Extracted="3540563792"   />

            <identifier   Org="ISBN:3540571205"   Paper_ID="SELF"   Extracted="3540571205"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354057235X"   Paper_ID="SELF"   Extracted="354057235X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354058451X"   Paper_ID="SELF"   Extracted="354058451X"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540634789"   Paper_ID="SELF"   Extracted="3540634789"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540666869"   Paper_ID="SELF"   Extracted="3540666869"   DDC="005.74/01/1"   Normalized_DDC="00574011"   Normalized_Weight="0.08333333333333333"   />

      </rec>

</references_metadata>

www.000webhost.com