摘要: The conceptual modeling of the Universe Discourse (UoD) is an important phase for development information systems because model basis system development. Conceptual specifications must be formal in order to precise and unambiguous support consistency completeness checks. object-oriented paradigm suitable providing integrated description all relevant static dynamic aspects UoD structured objects. In this paper we introduce a concept object represent by collection concurrent interacting Oblog +-language UoD-specification based on supports data about objects, objects through time various relationships between taking into account interaction.
springer.com
core.ac.uk
springerlink.com参考文章(53)
Gunter Saake, Cristina Sernadas, José Luiz Fiadeiro, T. S. E. Maibaum, Proof-Theoretic Semantics of Object-Oriented Specification Constructs. discovery science. pp. 243- 284 ,(1990)
Joseph A. Goguen, José Meseguer, Unifying functional, object-oriented and relational programming with logical semantics Research directions in object-oriented programming. pp. 417- 478 ,(1987)
Hans-Dieter Ehrich, Martin Gogolla, Udo Walter Lipeck, Algebraische Spezifikation abstrakter Datentypen Vieweg+Teubner Verlag. ,(1989) , 10.1007/978-3-322-94709-3
Uwe Hohenstein, Martin Gogolla, None, A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions Proceedings of the Seventh International Conference on Enity-Relationship Approach: A Bridge to the User. pp. 129- 148 ,(1988)
Hartmut Ehrig, Bernd Mahr, Fundamentals of Algebraic Specification 1: Equations and Initial Semantics ,(1985)
Malcolm Atkinson, David DeWitt, David Maier, François Bancilhon, Klaus Dittrich, Stanley Zdonik, The object-oriented database system manifesto international conference on deductive and object oriented databases. pp. 946- 954 ,(1994) , 10.1016/B978-0-444-88433-6.50020-4
Gunter Saake, Ralf Jungclaus, Using Active Objects for Query Processing. discovery science. pp. 285- 303 ,(1990)
Roelf J. Wieringa, Algebraic Foundations for Dynamic Conceptual Models Vrije Universiteit. ,(1990)
B Krieg-Brückner, R Gnatz, M Wirsing, H Wössner, M Broy, W Hesse, B Möller, T Matzner, A Laut, H Partsch, E Hangel, K Samelson, R Berghammer, W Dosch, F L Bauer, F Geiselbrechtinger, P Pepper, F Nickl, The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L ,(1985)
Philip E. London, Martin S. Feather, Implementing specification freedoms Science of Computer Programming. ,vol. 2, pp. 285- 305 ,(1986) , 10.1016/0167-6423(82)90010-7