Abstract
We give a survey of concepts for system specification and design based on the viewpoint that a system is a community of objects. Objects are self-contained units of structure and behavior capable of operating independently and cooperating concurrently. Our approach integrates concepts from semantic data modeling and concurrent processes, adopting structuring principles partly developed in the framework of object-orientation and partly in that of abstract data types. A theory of object specification based on temporal logic is briefly outlined.
This work was partly supported by the EC under ESPRIT BRA WG 3023/6071IS-CORE and WG 3264/6112 COMPASS, by DFG under Sa 465/1-1 and Sa 465/1-2, and by JNICT under PM-CT/C/TIT/178/90 FAC3 contract.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Booch,G.: Object-Oriented Design. Addison-Wesley, Reading (Mass.) 1991
Broy,M.: Compositional Refinement of Interactive Systems. Technical Report, Tech. Univ. München and DEC System Research Center, Palo Alto, 1991
Braß,S.: Defaults in deduktiven Datenbanken. Dissertation, Universität Hannover 1992
Cohen,B.;Harwood,W.T.;Jackson,M.: The Specification of Complex Systems. Addison Wesley, Reading 1986
Cox,B.J.: Planning the Software Industrial Revolution. IEEE Software, vol 7, no 6, 1990, 25–33
Costa,J.-F.;Sernadas,A.;Sernadas,C.: OBL-89 Users Manual (version 2.3). Internal Report, INESC, Lisbon 1989
Coad,P.;Yourdon,E.: Object-Oriented Design. Pergamon Press, Englewood Cliffs 1991
Ehrich,H.-D.;Gogolla,M.;Lipeck,U.: Algebraische Spezifikation Abstrakter Datentypen. Teubner-Verlag, Stuttgart 1989
Ehrich, H.-D.; Goguen, J.A.; Sernadas, A.: A Categorial Theory of Objects as Observed Processes. Proc. REX/FOOL School/Workshop, deBakker, J.W. et. al. (eds.), LNCS 489, Springer-Verlag, Berlin 1991, 203–228
Ehrich,H.-D.;Gogolla,M.;Sernadas,A.: Objects and Their Specification. Proc. 8th Workshop on Abstract Data Types, M. Bidoit, C. Choppy (eds.), LNCS 655, Springer-Verlag, Berlin 1992, 40–66
Ehrig,H.;Mahr,B.: Fundamentals of Algebraic Specification 1. Springer-Verlag, Berlin 1985
Ehrig,H.;Mahr,B,: Fundamentals of Algebraic Specification 2. Springer-Verlag, Berlin 1985
Ehrich, H.-D.; Sernadas, A.: Fundamental Object Concepts and Constructions. Information Systems — Correctness and Reusability, Proc. ISCORE Workshop'91 (G. Saake, A. Sernadas, eds.), Informatik-Berichte 91-03, Techn. Univ. Braunschweig 1991, 1–24
Ehrich,H.-D.;Sernadas,A.;Semadas,C.: Objects, Object Types, and Object Identification. In Categorical Methods in Computer Science (H. Ehrig et al, eds.), LNCS 393, Springer-Verlag, Berlin 1989, 142–156
Ehrich,H.-D.;Saake,G.;Sernadas,A.: Concepts of Object-Orientation. Proc. 2nd Workshop Informationssysteme und Künstliche Intelligenz: Modellierung, Informatik-Fachberichte 303, Springer-Verlag, Berlin 1992, 1–19
Fiadeiro,J.;Maibaum,T.: Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Aspects of Computing 4 (1992), 239–272
Fiadeiro,J.;Sernadas,C.;Maibaum,T.;Sernadas,A.: Describing and Structuring Objects for Conceptual Schema Development. Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development (P. Loucopoulos, R. Zicari,eds.), John Wiley, New York 1992, 117–138
Goguen,J.A.;Burstall,R.M.: Institutions: Abstract Model Theory for Specification and Programming. Journal of the ACM 39 (1992), 95–146
Gray,P.M.D.;Kulkarni,K.G.;Paton,N.W.: Object-Oriented Databases: A Semantic Data Model Approach. Prentice Hall, Reading 1992
Graham,I.: Object-Oriented Methods. Addison Wesley, New York 1991
Hennessy,M.: Algebraic Theory of Processes. The MIT Press, Cambridge 1988
Hull,R.;King,R.: Semantic Database Modelling: Survey, Applications, and Research Issues. ACM Computing Surveys 19(1987), 201–260
Hoare,C.A.R.: Proof of Correctness of Data Representations. Acta Informatica 1 (1972), 271–281
Hoare,C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs 1985
Johnson,R.E.;Foote,B.: Designing Reusable Classes. Journal of 00 Programming, vol 1, no 2, 1988, 22–35
Jungclaus,R.; Saake,G.; Hartmann,T.; Sernadas,C.: Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht, TU Braunschweig 1991
Jungclaus,R.: Logic-Based Modeling of Dynamic Object Systems. Doktorarbeit, TU Braunschweig 1993
Löhr-Richter,P.: Generische Methoden für die frühen Entwurfsphasen von Informationssystemen. Doktorarbeit, TU Braunschweig 1993
Milner,R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs 1989
Pnueli,A.: The Temporal Logic of Programs. Proc. 18th FOCS 1977, 46–57
Rumbaugh,J.;Blaha,M.;Premerlani,W.;Eddy,F.;Lorensen,W.: Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs 1991
Rolland,C.;Cauvet,C.: Trends and Perspectives in Conceptual Modeling. Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development (P. Loucopoulos, R. Zicari,eds.), John Wiley, New York 1992
Reisig,W.: Petri Nets: An Introduction. Springer-Verlag, Berlin 1985
de Bakker,J.W.;de Roever,W.-P.;Rozenberg,G.(editors): Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness. Proc. REX Workshop 1989, LNCS 430, Springer-Verlag, Berlin 1990
Saake,G.: Objektorientierte Spezifikation von Informationssystemen: Konzepte und Sprachvorschläge. Habilitationsschrift, TU Braunschweig 1992
Sernadas,A.;Costa,J.F.;Sernadas,C.: An Institution of Object Behaviour. Preprint 22/92, IST Lisbon 1992
Sernadas,A.: Temporal Aspects of Logical Procedure Definition. Information Systems 5 (1980), 167–187
Sernadas,A.;Ehrich,H.-D.: What is an Object, After All? Object Oriented Databases: Analysis, Design and Construction (R. Meersman, W. Kent, S. Khosla, eds.), North Holland, Amsterdam 1991, 39–69
Sernadas,C.;Fiadeiro,J.: Towards Object-Oriented Conceptual Modelling. Data and Knowledge Engineering 6(6), 1991, 47–508
Sernadas,C.;Gouveia,P.;Sernadas,A.: Refinement: Layered Definition of Conceptual Schemata. Information System Concepts (E. Falkcnberg,C. Rolland,E.N. El-Sayed, eds.), North-Holland, Amsterdam 1992, 19–51
Saake,G.;Jungclaus,R.;Ehrich,H.-D.: Object-Oriented Specification and Stepwise Refinement. IFIP Transactions C: Communication Systems, Vol. 1: Proc. Open Distributed Processing, J. de Meer, V. Heymer, R. Roth (eds.), North-Holland, Berlin 1992, 99–121
Sernadas,A.;Sernadas,C.;Costa,J.F.: Object Specification Logic. Preprint 20/92, IST Lisbon 1992
Sernadas,A.;Sernadas,C.;Ehrich,H.-D.: Object-Oriented Specification of Databases: An Algebraic Approach. Proc. 13th VLDB, Stocker,P.M.; Kent,W. (eds.), MorganKaufmann Publ. Inc., Los Altos 1987, 107–116
Tsichritzis,D.;Nierstrasz,O.;Gibbs,S.: Beyond Objects: Objects. Int. J. of Intelligent and Cooperative Information Systems, vol 1, no 1, 1992, 43–60
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ehrich, HD., Denker, G., Sernadas, A. (1993). Constructing systems as object communities. In: Gaudel, M.C., Jouannaud, J.P. (eds) TAPSOFT'93: Theory and Practice of Software Development. CAAP 1993. Lecture Notes in Computer Science, vol 668. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56610-4_82
Download citation
DOI: https://doi.org/10.1007/3-540-56610-4_82
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56610-6
Online ISBN: 978-3-540-47598-9
eBook Packages: Springer Book Archive