Modelling Information Systems as Object Societies

作者: Gunter Saake , Thorsten Hartmann

DOI: 10.1007/3-540-57802-1_9

关键词:

摘要: Conceptual modelling of complex information systems requires the use a formal design approach covering both static and dynamic aspects system modelled Universe Discourse. Viewing an as collection communicating objects is close to intuitive perception such on conceptual level. Objects have local state, show specific behaviour, communicate with other may be itself composed from smaller objects. This article presents abstract concept discusses language features specification for describing object systems. The presented Troll2 supports structuring mechanisms semantic data models together process constructs cover dynamics. Extensions framework are discussed step cooperating agents allowing more flexible structures.

参考文章(28)
Gunter Saake, Objektorientierte Spezifikation von Informationssystemen GI Datenbank Rundbrief. ,vol. 12, pp. 58- ,(1993) , 10.1007/978-3-322-95370-4
Hartmut Ehrig, Bernd Mahr, Equations and initial semantics Springer-Verlag. ,(1985)
Roelf J. Wieringa, Algebraic Foundations for Dynamic Conceptual Models Vrije Universiteit. ,(1990)
Peter Coad, Edward Yourdon, Object-Oriented Design ,(1991)
Ralf Jungclaus, Gunter Saake, Cristina Sernadas, Formal specification of object systems TAPSOFT '91. pp. 60- 82 ,(1991) , 10.1007/3540539816_61
Hans-Dieter Ehrich, Grit Denker, Amilcar Sernadas, Constructing Systems as Object Communities colloquium on trees in algebra and programming. pp. 453- 467 ,(1993) , 10.1007/3-540-56610-4_82
Cristina Sernadas, Hans-Dieter Ehrich, Amílcar Sernadas, Object-Oriented Specification of Databases: An Algebraic Approach very large data bases. pp. 107- 116 ,(1987)
G. Saake, R. Jungclaus, T. Hartmann, Roelf J. Wieringa, P. Hartel, Udo W. Lipeck, G. Koschorrek, OMTROLL - Object Modeling in Troll Universität Hannover, Institut für Informatik. pp. 267- 283 ,(1993)