International Journal of Cooperative Information Systems · 1993 · 10 citations · 0 references
EngineeringComputer ScienceSystems EngineeringHeterogeneous ComputingSystems ArchitectureSystems ModelingApplication ArchitectureInteroperabilityObject-oriented DesignSoftware ArchitectureSoftware ModelingSpecification LanguagesComponent ModelsFormal ModelingModel InteroperabilityObject ModelingObject-oriented ArchitectureSoftware Architecture ModelingViews
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 modelling 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.