H.-D. Ehrich, A. Sernadas, and C. Sernadas. Abstract Object Types for Databases. In K. R. Dittrich, editor, Advances in Object-Oriented Database Systems, pages 144--149, Bad Munster am Stein, 1988. LNCS 334, Springer, Berlin, 1988.  Home/Search   Document Not in Database   Summary   Related Articles   Check

No context found.

H.-D. Ehrich, A. Sernadas, and C. Sernadas. Abstract Object Types for Databases. In K. R. Dittrich, editor, Advances in Object-Oriented Database Systems, pages 144--149, Bad Munster am Stein, 1988. LNCS 334, Springer, Berlin, 1988.

No context found.

H.-D. Ehrich, A. Sernadas, and C. Sernadas. Abstract Object Types for Databases. In K. R. Dittrich, editor, Advances in Object-Oriented Database Systems, pages 144--149, Bad Munster am Stein, 1988. LNCS 334, Springer, Berlin, 1988.

....orientation they still cope with a low level of abstraction. We decided to apply the formal and object oriented specification language Troll [JSHS96] The Troll approach incorporates many ideas which have been developed over the past 8 years. Much work in the theoretical foundations [SSE87, ESS88, EJDS94, DE95, ES95] and on methodological [SJ92, SJH93, HJ95] issues has been done. The Troll approach supports the declarative specification of conceptual models. It integrates concepts for the modelling of dynamic, structural and process aspects. With the TBench [KHHS95] a specification tool ....

H.-D. Ehrich, A. Sernadas, and C. Sernadas. Abstract Object Types for Databases. In K. R. Dittrich, editor, Advances in Object-Oriented Database Systems, pages 144--149, Bad Munster am Stein,

....of object orientation they still cope with a low level of abstraction. We decided to apply the formal and object oriented specification language Troll [30, 20] The Troll approach incorporates many ideas which have been developed over the past 8 years. Much work in the theoretical foundations [43, 12, 10, 7, 11] and on methodological [41, 42, 21] issues has been done. The Troll approach supports the declarative specification of conceptual models. It integrates concepts for the modelling of dynamic, structural and process aspects. With the TBench [34] a specification tool for Troll is available. The ....

H.-D. Ehrich, A. Sernadas and C. Sernadas. Abstract object types for databases. In K. R. Dittrich, editor, Advances in Object-Oriented Database Systems, pp. 144--149, Bad Munster am Stein, LNCS 334, Springer, Berlin, 1988 (1988).

.... denotational semantics to object oriented languages [31,47,55] Actually, the work reported herein is also part of an integrated research effort on object oriented information systems design that started with [48] and which is also addressing the algebraic fundamentals of the notion of object [10,11], logical calculi for reasoning about objects [16] as well as methodological aspects of object orientation [50,53] 2. PRELIMINARIES A specification language for object oriented conceptual modeling must at least include constructs for specifying primitive objects, particularisations of ....

....(state) by the same function. Finally, the two relations P and O tell us, for each trace, which events are, respectively, permitted (next) and required to occur (sometime) after that trace. We should stress that this semantic notion differs from more conventional ones, and in particular from [10,11,12], where sets of life cycles account for the process model of an object. The deontic notions of permission and obligation were preferred because as explained in [34] on the one hand, they are more general, allowing us in particular to formalise other kinds of information, like error recovery ....

H.-D.Ehrich, A.Sernadas and C.Sernadas, "Abstract Object Types for Databases" (extended position paper), in [Dittrich 88], 144-149

No context found.

H.-D.Ehrich, A.Sernadas and C.Sernadas, "Abstract Object Types for Databases", in Advances in Object-Oriented Database Systems, K. Dittrich (ed), Springer Verlag, 1988, 144-149

....into two categories: memory sharing and communication. According to the proposed model, the former corresponds to attribute sharing and the latter either to event sharing or to event calling. Attribute sharing and event sharing are special cases of object sharing (as originally recognised in [12,13,14]) which, naturally, also explains component sharing in general. Event calling appears as a more complex mechanism (see [31] All these interactions, as well as inheritance mechanisms, are formally presented via the general notion of object morphism. Object morphism We have been experimenting with ....

....two objects. On the contrary, wrt deposit actions the interaction is much weaker somebody else may also make deposits in the account . Thus, we have two forms of interactions via events: 1) by event sharing (corresponding to a pushout in the category of objects, as already recognized in [11,12,13,14]) and (2) by event calling (corresponding to another colimit for details see [31] although in a slightly different categorial setting) The aggregation client account displays the joint behaviour of these two interacting objects. Even in such a case of interacting components, each component ....

Ehrich, H.-D., Sernadas, A. and Sernadas, C.: Abstract Object Types for Databases. In: Advances in Object-Oriented Database Systems, K. Dittrich (ed), pp 144-149, LNCS 334, Springer Verlag, 1988.

....was partially supported by ESPRIT BRA WG 3023 IS CORE (Information Systems COrrectness and REusability) generate or compute information, i.e. they are the basic building blocks of information systems. The model has been formalized resulting in a concept of object as an observable process [ESS88, ESS90] The evolvement of an object society is driven by the activity of certain objects. Hence, the system environment rather than queries is responsible for the manipulation of objects. An object society may be regarded as an active database (cf. Day88] We regard an ad hoc query facility to ....

Ehrich, H.-D.; Sernadas, A.; Sernadas, C.: Abstract Object Types for Databases. In: Dittrich, K. R. (ed.): Advances in Object-Oriented Database Systems, Bad Munster am Stein, 1988. LNCS 334, Springer Verlag, Berlin, 1988, pp. 144--149.

No context found.

H.-D.Ehrich, A.Sernadas and C.Sernadas, "Abstract Object Types for Databases" (extended position paper), in K.R.Dittrich (ed) Advances in Object-Oriented Database Systems, LNCS 393, Springer-Verlag 1988, 449-463

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC