Application modelling in heterogeneous environments using an object specification language

Author

Saake, Gunter ; Jungclaus, Ralf ; Hartmann, Thorsten

Author_Institution

Abt. Datenbanken, Tech. Univ. Braunschweig, Germany

fYear

1993

fDate

12-14 May 1993

Firstpage

309

Lastpage

318

Abstract

We propose an object-oriented logical formalism to conceptionally model applications in an interoperable environment. Such an environment consists of heterogeneous and autonomous local database systems. Applications in such an environment use several resources and services. Their conceptual modelling involves re-specification of existing systems in terms of homogeneous views, modelling of behavior and system dynamics, modelling of logically distributed components in an open environment and the modeling of communication relationships and dependencies between components. We introduce a formal object-oriented language capable of dealing with these requirements and illustrate its use to model applications in an interoperable environment

Keywords

distributed databases; formal specification; object-oriented languages; open systems; specification languages; application modelling; autonomous local database systems; behavior modelling; communication relationships; component dependencies; formal object-oriented language; heterogeneous database systems; heterogeneous environment; interoperable environment; logically distributed component modelling; object specification language; object-oriented logical formalism; open environment; system dynamics; system respecification; Computer integrated manufacturing; Concrete; Data models; Database systems; Distributed databases; Industrial relations; Information systems; Object oriented databases; Object oriented modeling; Specification languages;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent and Cooperative Information Systems, 1993., Proceedings of International Conference on

Conference_Location

Rotterdam

Print_ISBN

0-8186-3135-X

Type

conf

DOI

10.1109/ICICIS.1993.291758

Filename

291758