Skip to main content
SpringerLink
Log in

Local specification of distributed families of sequential objects

  • Contributed Papers
  • Conference paper
  • First Online:
Recent Trends in Data Type Specification (ADT 1994, COMPASS 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 906))

Abstract

Fully concurrent models of distributed object systems axe specified using linear temporal logic that does not per se cope with concurrency. This is achieved by employing the principle of local sequentially: we specify from local viewpoints assuming that there is no intra-object concurrency but full inter-object concurrency. Local formulae are labelled by identity terms. For interaction, objects may refer to actions of other objects, e.g., calling them to happen synchronously. A locality predicate allows for making local statements about other objects. The interpretation structures are global webs of local life cycles, glued together at shared communication events. These interpretation structures are embedded in an interpretation frame that is a labelled locally sequential event structure. Two initiality results are presented: the category of labelled locally sequential event structures has initial elements, and so has the full subcategory of those satisfying given temporal axioms. As in abstract data type theory, these initial elements are obvious candidates for assigning standard semantics to signatures and specifications.

This work was partly supported by the EU under ESPRIT-III BRA WG 6071 IS-CORE (Information Systems — Correctness and REusability) and BRA WG 6112 COMPASS (COMPrehensive Algebraic approach to System Specification and development) and by ESDI under research contract OBLOG (OBject LOGic).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E. Astesiano and G. Reggio. Algebraic Specification of Concurrency. Recent Trends in Data Type Specification, LNCS 655, Springer-Verlag, Berlin 1992

    Google Scholar 

  2. A. Borgida. Features of Languages for the Development of Information Systems at the Conceptual Level. IEEE Software 2 (1985), 63–73

    Google Scholar 

  3. M. Broy. Functional Specification of Time-Sensitive Communicating Systems. ACM Transactions on Software Engineering and Methodology 2 (1993), 1–46

    Article  Google Scholar 

  4. S. Conrad and H.-D. Ehrich. An Elementary Logic for Object Specification and Verification. In U. Lipeck and G. Vossen, editors, Workshop Formale Grundlagen für den Entwurf von Informationssystemen, Tutzing, pages 197–206. Technical Report Univ. Hannover, No. 03/94, 1994

    Google Scholar 

  5. S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92-02, TU Braunschweig, 1992

    Google Scholar 

  6. P. P. Chen. The Entity-Relationship Moodel-Toward a Unified View of Data. ACM Transactions on Database Systems, Vol. 1, No. 1, 1976, 9–36

    Article  Google Scholar 

  7. G. Denker. Object Reification (Extended Abstract). Working Papers of the International Workshop on Information Systems — Correctness and Reusability, IS-CORE'94. R. Wieringa and R. Feenstra, eds. Technical Report IR-357, VU Amsterdam 1994

    Google Scholar 

  8. G. Denker. Transactions in Object-Oriented Specifications. This volume

    Google Scholar 

  9. H.-D. Ehrich, K. Drosten, and M. Gogolla. Towards an Algebraic Semantics for Database Specification. In: R. Meersmann and A. Sernadas (eds.). Proc. 2nd IFIP WG 2.6 Working Conf. on Database Semantics “Data and Knowledge” (DS-2), Albufeira (Portugal), 1988. North-Holland, Amsterdam, 119–135

    Google Scholar 

  10. G. Engels, M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake, and H.-D. Ehrich. Conceptual modelling of database applications using an extended ER model. Data & Knowledge Engineering, North-Holland, Vol. 9, No. 2, 1992, 157–204

    Google Scholar 

  11. H.-D. Ehrich, M. Gogolla, and U. Lipeck. Algebraische Spezifikation Abstrakter Datentypen. Teubner-Verlag, Stuttgart 1989

    Google Scholar 

  12. H.-D. Ehrich, J. Goguen, and A. Sernadas. A Categorial Theory of Objects as Observed Processes. Proc. REX/FOOL School/Workshop, J. W. deBakker et. al. (eds.), LNCS 489, Springer-Verlag, Berlin 1991, 203–228

    Google Scholar 

  13. H.-D. Ehrich. Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics. In: D. Pitt et al. (eds.): Proc. Workshop on Category Theory and Computer Programming. Springer, Berlin, LNCS series, 1986, 412–433

    Google Scholar 

  14. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1. Springer-Verlag, Berlin 1985

    Google Scholar 

  15. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2. Springer-Verlag, Berlin 1985

    Google Scholar 

  16. H.-D. Ehrich and A. Sernadas. Fundamental Object Concepts and Constructions. Information Systems — Correctness and Reusability, Proc. ISCORE Workshop'91 (G. Saake and A. Sernadas, eds.), Informatik-Berichte 91-03, Techn. Univ. Braunschweig 1991, 1–24

    Google Scholar 

  17. H.-D. Ehrich, G. Saake, A. Sernadas, and C. Sernadas. Distributed Temporal Logic for Concurrent Object Families (Extended Abstract). Proc. ISCORE Workshop '94, R. Wieringa, ed. World Scientific Publishers. To appear 1995

    Google Scholar 

  18. J. Fiadeiro and T. Maibaum. Towards Object Calculi. Information Systems — Correctness and Reusability, Proc. ISCORE Workshop'91 (G. Saake and A. Sernadas, eds.), Informatik-Berichte 91-03, Techn. Univ. Braunschweig 1991, 129–178

    Google Scholar 

  19. J. Fiadeiro and T. Maibaum. Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Aspects of Computing 4 (1992), 239–272

    Article  Google Scholar 

  20. J. Fiadeiro, C. Sernadas, T. Maibaum, and G. Saake. Proof-Theoretic Semantics of Object-Oriented Specification Constructs. In: R. Meersman, W. Kent, and S. Khosla (eds.). Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)), Amsterdam, 1991. North-Holland, 243–284

    Google Scholar 

  21. M. Gogolla, S. Conrad, and R. Herzig. Sketching Concepts and Computational Model of TROLL light. In A. Miola, editor, Proc. 3rd Int. Conf. Design and Implementation of Symbolic Computation Systems (DISCO'93), pages 17–32. Springer, LNCS 722, 1993

    Google Scholar 

  22. J. A. Goguen and J. Meseguer. Unifying functional, object-oriented and relational programming with logical semantics. Research Direction in Object-Oriented Programming, B.Shriver, P.Wegner (eds.), MIT Press 1987, 417–477

    Google Scholar 

  23. J. A. Goguen and D. Wolfram. On Types and POOPS. In: R. Meersman, W. Kent, and S. Khosla (eds.). Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)), Amsterdam, 1991. North-Holland

    Google Scholar 

  24. M. Hennessy and R. Milner. Algebraic Laws for Nondeterminism and Concurrency. Journal of the ACM 32 (1985), 137–161

    Article  Google Scholar 

  25. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985

    Google Scholar 

  26. T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modeling Language TROLL. Informatik-Bericht 94-03, TU Braunschweig 1994

    Google Scholar 

  27. R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht 91-04, TU Braunschweig, 1991

    Google Scholar 

  28. R. Jungclaus. Modeling of Dynamic Object Systems, a Logic-based Approach. Advanced Studies in Computer Science. Vieweg Verlag, Braunschweig/Wiesbaden, 1993

    Google Scholar 

  29. K: Lodaya, M. Mukund, R. Ramanujam, and P.S. Thiagarajan. Models and Logics for True Concurrency. in P.S. Thiagarajan (ed.): Some Models and Logics for Concurrency. Advanced School on the Algebraic, Logical and Categorical Foundations of Concurrency. Gargnano del Garda, 1991

    Google Scholar 

  30. J. Mylopoulos and M. Brodie, (eds.). Readings in Artificial Intelligence & Databases. Morgan Kaufmann Publ. San Mateo, 1989

    Google Scholar 

  31. R. Milner. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, 1989

    Google Scholar 

  32. N. Marti-Oliet and J. Meseguer. Rewriting Logic as a Logical and Semantic Framework. Report SRI-CSL-93-05, SRI International, Menlo Park 1993

    Google Scholar 

  33. N. Marti-Oliet and J. Meseguer. General Logics and Logical Frameworks. In: D. M. Gabbay (ed.). What is a Logical System?. Oxford University Press 1994. To appear

    Google Scholar 

  34. Z. Manna and A. Pnueli. The Anchored Version of the Temporal Framework. In: J. deBakker, W. deRoever, and G. Rozenberg (eds.). Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS 354, Springer-Verlag, Berlin, 1989, 201–284

    Google Scholar 

  35. G. Saake. Conceptual Modeling of Database Applications. In: Karagiannis, D. (ed.): Proc. 1st IS/KI Workshop, Ulm (Germany), 1990. Springer, Berlin, LNCS 474, 1991, 213–232

    Google Scholar 

  36. G. Saake. Descriptive Specification of Database Object Behaviour. Data & Knowledge Engineering 6 (1991), 47–74

    Google Scholar 

  37. A. Sernadas. Temporal Aspects of Logical Procedure Definition. Information Systems, Vol. 5, 1980, 167–187

    Article  Google Scholar 

  38. A. Sernadas, H.-D. Ehrich, and J.-F. Costa. Prom processes to objects. The INESC Journal of Research and Development 1:1, pages 7–27, 1990

    Google Scholar 

  39. C. Sernadas and J. Fiadeiro. Towards Object-Oriented Conceptual Modelling. Data & Knowledge Engineering 6 (1991), 479–508

    Google Scholar 

  40. G. Saake, R. Jungclaus, and H.-D. Ehrich. Object-Oriented Specification and Stepwise Refinement. In J. de Meer, V. Heymer, and R. Roth, editors, Proc. Open Distributed Processing, Berlin (D), 8.-11. Okt. 1991 (IFIP Transactions C: Communication Systems, Vol. 1), pages 99–121. North-Holland, 1992

    Google Scholar 

  41. G. Saake, R. Jungclaus, and T. Hartmann. Application Modelling in Heterogenous Environments Using an Object Specification Language. International Journal of Intelligent and Cooperative Information Systems 2 (1993), 425–449

    Article  Google Scholar 

  42. A. Sernadas and J. Ramos. The GNOME Language: Syntax, Semantics and Calculus. Tech. Report, Institute Superior Técnico, Lisboa 1994

    Google Scholar 

  43. A. Sernadas, C. Sernadas, and J.F. Costa. Object Specification Logic. Internal report, INESC, University of Lisbon, 1992. (to appear in Journal of Logic and Computation)

    Google Scholar 

  44. A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-Oriented Specification of Databases: An Algebraic Approach. In P.M. Stoecker and W. Kent, editors, Proc. 13th Int. Conf. on Very Large Databases VLDB'87, pages 107–116. VLDB Endowment Press, Saratoga (CA), 1987

    Google Scholar 

  45. A. Sernadas, C. Sernadas, P. Gouveia, P. Resende, and J. Gouveia. OBLOG-Object-Oriented Logic: An Informal Introduction. Technical report, INESC, Lisbon, 1991

    Google Scholar 

  46. J. W. Schmidt and C. Thanos (eds.). Foundations of Knowledge Base Management. Springer-Verlag, Berlin, 1989

    Google Scholar 

  47. G. Winskel: Events in Computation. PhD thesis, University of Edinburgh

    Google Scholar 

  48. G. Winskel and M. Nielsen. Models for Concurrency. Report DAIMI PB-463, Computer Science Department, Aarhus University 1993

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Abteilung Datenbanken, Technische Universität, Postfach 3329, D-38023, Braunschweig, Germany

    Hans-Dieter Ehrich

  2. Departamento de Matemática, Instituto Superior Técnico, Av. Rovisco Pais, P-1096, Lisboa Codex, Portugal

    Amilcar Sernadas

Authors
  1. Hans-Dieter Ehrich
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Amilcar Sernadas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Egidio Astesiano Gianna Reggio Andrzej Tarlecki

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ehrich, HD., Sernadas, A. (1995). Local specification of distributed families of sequential objects. In: Astesiano, E., Reggio, G., Tarlecki, A. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1994 1994. Lecture Notes in Computer Science, vol 906. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014430

Download citation

  • DOI: https://doi.org/10.1007/BFb0014430

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-59132-0

  • Online ISBN: 978-3-540-49198-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation