Towards reliable information systems: The KorSo approach

  • N. Vlachantonis
  • R. Herzig
  • M. Gogolla
  • G. Denker
  • S. Conrad
  • H. -D. Ehrich
Reuse and Reliabilyty
Part of the Lecture Notes in Computer Science book series (LNCS, volume 685)

Abstract

Within the compound project KorSo our team is concerned with the research on techniques and methods for the development of reliable information systems on the basis of formal specifications. Our work focuses on the specification language TROLL light which allows to describe the part of the world which is to be modeled as a community of concurrently existing and communicating objects by determining their structure as well as their behavior. Moreover we develop and implement a computer aided specification environment for TROLL light which permits a prototyping animation as well as the proof of properties of specifications.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Ban88]
    F. Bancilhon. Object-Oriented Database Systems. In Proc. 7th ACM Symp. Principles of Database Systems, pages 152–162, 1988.Google Scholar
  2. [BBE+90]
    G. v. Bochmann, M. Barbeau, M. Erradi, L. Lecomte, P. Mondain-Monval, and N. Williams. Mondel: An Object-Oriented Specification Language. Département d'Informatique et de Recherche Opérationnelle, Publication 748, Université de Montréal, 1990.Google Scholar
  3. [BHL90]
    D. Bjorner, C.A.R. Hoare, and H. Langmaack, editors. VDM'90: VDM and Z — Formal Methods in Software Development. Springer LNCS series, Vol. 428, 1990.Google Scholar
  4. [BMHL90]
    M. Bouzeghoub, E. Metais, F. Hazi, and L. Leborgne. A Design Tool for Object-Oriented Databases. In Proc. Conf. Advanced Information Systems Engineering, pages 365–392. Springer LNCS series, No. 436, 1990.Google Scholar
  5. [Boo91]
    G. Booch. Object-oriented Design with Application. Benjamin/Cummings, Redwood City, 1991.Google Scholar
  6. [Bre91]
    R. Breu. Algebraic Specification Techniques in Object Oriented Programming Environments. Springer LNCS Series, 1991.Google Scholar
  7. [CGH92]
    S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92-02, Technische Universität Braunschweig, 1992.Google Scholar
  8. [CJO92]
    S. Clerici, R. Jimenez, and F. Orejas. Semantic Constructions in the Specification Language GLIDER. Workshop on Abstract data Types, 1992.Google Scholar
  9. [CSS89]
    J.-F. Costa, A. Sernadas, and C. Sernadas. OBL-89 Users Manual (Version 2.3). Internal report, INESC, Lisbon, 1989.Google Scholar
  10. [DO91]
    O.-J. Dahl and O. Owe. Formal Development with ABEL. Technical Report 159, University of Oslo, 1991.Google Scholar
  11. [EGH+92]
    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, 9(2):157–204, 1992.Google Scholar
  12. [EGL89]
    H.-D. Ehrich, M. Gogolla, and U.W. Lipeck. Algebraische Spezifikation abstrakter Datentypen — Eine Einführung in die Theorie. Teubner, Stuttgart, 1989.Google Scholar
  13. [EGS92]
    H.-D. Ehrich, M. Gogolla, and A. Sernadas. Objects and their Specification. In M. Bidoit and C. Choppy, editors, Proc. 8th Workshop on Abstract Data Types, pages 40–66. LNCS 655, Springer, Berlin, 1992.Google Scholar
  14. [EHH+90]
    G. Engels, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, and H.-D. Ehrich. CADDY: Computer-Aided Design of Non-Standard Databases. In Proc. 1st Int. Conf. on System Development Environments and Factories. Pitman, London, 1990.Google Scholar
  15. [EL92]
    G. Engels and P. Löhr-Richter. CADDY-A Highly Integrated Environment to Support Conceptual Database Design. In G. Porte, N.H. Madhavji, and H.A. Müller, editors, Proc. 5th Int. Workshop on CASE, July 6.–10., 1992, Montreal (Canada), pages 19–22. IEEE Computer Society Press, 1992.Google Scholar
  16. [EM85]
    H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer, Berlin, 1985.Google Scholar
  17. [EM90]
    H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2: Modules and Constraints. Springer, Berlin, 1990.Google Scholar
  18. [ES91]
    H.-D. Ehrich and A. Sernadas. Fundamental Object Concepts and Constructions. In G. Saake and A. Sernadas, editors, Information Systems — Correctness and Reusability, pages 1–24. TU Braunschweig, Informatik Bericht 91-03, 1991.Google Scholar
  19. [ESS92]
    H.-D. Ehrich, G. Saake, and A. Sernadas. Concepts of Object-Orientation. In Proc. of the 2nd Workshop of “Informationssysteme und Künstliche Intelligenz: Modellierung”, Ulm (Germany), pages 1–19. Springer IFB 303, 1992.Google Scholar
  20. [FM91a]
    J. Fiadeiro and T. Maibaum. Temporal Reasoning over Deontic Specifications. Journal of Logic and Computation, 1(3):357–395, 1991.Google Scholar
  21. [FM91b]
    J. Fiadeiro and T. Maibaum. Towards Object Calculi. In G. Saake and A. Sernadas, editors, Information Systems — Correctness and Reusability, Workshop IS-CORE '91, ESPRIT BRA WG 3023, London, pages 129–178. Informatik-Bericht 91–03, Technische Universität Braunschweig, 1991.Google Scholar
  22. [Gab91]
    P. Gabriel. The Object-Based Specification Language II: Concepts, Syntax, and Semantics. In Proc. 8th Workshop on Specification of Abstract Data Types. Springer LNCS series, 1991.Google Scholar
  23. [HK87]
    R. Hull and R. King. Semantic Database Modelling: Survey, Applications, and Research Issues. ACM Computing Surveys, 19(3):201–260, 1987.Google Scholar
  24. [Hoa85]
    C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (NJ), 1985.Google Scholar
  25. [Hul89]
    R. Hull. Four Views of Complex Objects: A Sophisticate's Introduction. In S. Abiteboul, P.C. Fischer, and H.J. Schek, editors, Nested Relations and Complex Objects in Databases, Springer LNCS series, Vol. 361, pages 87–116, 1989.Google Scholar
  26. [HV92]
    R. Herzig and N. Viachantonis. Spezifikation einer Fertigungszelle in TROLL light. Interner Bericht, Technische Universität Braunschweig, 1992.Google Scholar
  27. [JDT89]
    M. Jarke and DAIDA-Team. The DAIDA Demonstrator: Development Assistance for Interactive Database Applications. Technical Report MIP-8927, University of Passau, 1989.Google Scholar
  28. [JMS90]
    M. Jarke, J. Mylopoulos, and J.W. Schmidt. Information Systems Development as Knowledge Engineering: A Review of the DAIDA Project. Technical Report MIP-9010, University of Passau, 1990.Google Scholar
  29. [Jon86]
    C.B. Jones. Systematic Software Developing Using VDM. Prentice-Hall, Englewood Cliffs (NJ), 1986.Google Scholar
  30. [JSHS91]
    R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht 91–04, Technische Universität Braunschweig, 1991.Google Scholar
  31. [Käu89]
    T. Käufl. The Program Verifier Tatzelwurm. In H. Kersten, editor, Sichere Systeme, pages 219–236. Hüthig, 1989.Google Scholar
  32. [KS91]
    G. Kappel and M. Schrefl. Using an Object-Oriented Diagram Technique for the Design of Information Systems. In H.G. Sol and K.M. Van Hee, editors, Dynamic Modelling of Information Systems, pages 121–164. Elsevier (North-Holland), 1991.Google Scholar
  33. [LCFW92]
    M. Löwe, F. Cornelius, J. Faulhaber, and R. Wessäly. Ein Fallbeispiel für KORSO: Das heterogene verteilte Managementsystem HDMS der Projektgruppe Medizin Informatik (PMI) am Deutschen Herzzentrum Berlin und an der Technischen Universität Berlin. Arbeitspapier, Technische Universität Berlin, 1992.Google Scholar
  34. [LLOW91]
    C. Lamb, G. Landis, J. Orenstein, and D. Weinreib. The ObjectStore Database System. Communications of the ACM, 34(10):50–63, 1991.Google Scholar
  35. [LR89]
    C. Lécluse and P. Richard. Modeling Complex Structures in Object-Oriented Databases. In Proc. 8th ACM Symp. Principles of Database Systems, pages 360–368, 1989.Google Scholar
  36. [Mes92a]
    J. Meseguer. A Logical Theory of Concurrent Objects and its Realization in the Maude Language. In G. Agha, P. Wegener, and A. Yonezawa, editors, Research Directions in Object-Based Concurrency. MIT Press, 1992. To appear.Google Scholar
  37. [Mes92b]
    J. Meseguer. Conditional Rewriting as a Unified Model of Concurrency. Theoretical Computer Science, 96(1):73–156, 1992.Google Scholar
  38. [Mes92c]
    J. Meseguer. Multiparadigm Logic Programming. Technical Report, SRI Computer Science Laboratory, May 1992.Google Scholar
  39. [Mil80]
    R. Milner. A Calculus of Communicating Systems. Springer, Berlin, 1980.Google Scholar
  40. [Pau90]
    L.C. Paulson. Isabelle: The Next 700 Theorem Provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361–385. Academic Press, 1990.Google Scholar
  41. [Reh91]
    S. Rehm. STONE-Eine strukturierte und offene Umgebung. Kolloquium Software-Entwicklungs-Systeme und-Werkzeuge, Technische Akademie, Esslingen, September 1991.Google Scholar
  42. [Rei85]
    W. Reisig. Petri Nets: An Introduction. Springer, Berlin, 1985.Google Scholar
  43. [SE91]
    A. Sernadas and H.-D. Ehrich. What Is an Object, After All? In R. Meersman, W. Kent, and S. Khosla, editors, Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)), pages 39–70, Amsterdam, 1991. North-Holland.Google Scholar
  44. [SEC90]
    A. Sernadas, H.-D. Ehrich, and J.-F. Costa. From Processes to Objects. The INESC Journal of Research and Development 1:1, pages 7–27, 1990.Google Scholar
  45. [SM88]
    S. Shlaer and S.J. Mellor. Object-Oriented Systems Analysis: Modeling the World in Data. Prentice-Hall, Englewood Cliffs (NJ), 1988.Google Scholar
  46. [SM92]
    S. Shlaer and S.J. Mellor. Object Lifecycles: Modeling the World in States. Yourdon Press computing series, Prentice-Hall, Englewood Cliffs (NJ), 1992.Google Scholar
  47. [SSC92]
    A. Sernadas, C. Sernadas, and J.F. Costa. Object Specification Logic. Internal report, INESC, University of Lisbon, 1992.Google Scholar
  48. [UTS+91]
    J. Uhl, D. Theobald, B. Schiefer, E. Sekerinski, S. Rehm, M. Ranft, and W. Zimmer. The Object Management System of STONE-SOS Release 3.2. Project Report No. 027, FZI Karlsruhe, 1991.Google Scholar
  49. [VB82]
    G.M.A Verheijen and J. Van Bekkum. NIAM: An Information Analysis Method. In T.W. Olle, H.G. Sol, and A.A. Verrijn-Stuart, editors, Proc. “Information Systems Design Methodologies: A Comparative Review”, pages 537-590, North-Holland, 1982.Google Scholar
  50. [VMK+90]
    Y. Vassiliou, M. Marakakis, P. Katalagarianos, L. Chung, M. Mertikas, and J. Mylopoulos. IRIS-A Mapping Assistant for Generating Designs from Requirements. In Proc. Conf. Advanced Information Systems Engineering, pages 307–339. Springer LNCS series, No. 436, 1990.Google Scholar
  51. [Wie91]
    R. Wieringa. Equational Specification of Dynamic Objects. In R.A. Meersman, W. Kent, and S. Khosla, editors, Object-Oriented Databases: Analysis, Design & Construction (DS-4), Proc. IFIP WG 2.6 Working Conference, Windermere (UK) 1990, pages 415–438. North-Holland, 1991.Google Scholar
  52. [Wir90]
    M. Wirsing. Algebraic Specification. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, pages 677–788. Elsevier, North-Holland, 1990.Google Scholar

Copyright information

© Springer-Verlag 1993

Authors and Affiliations

  • N. Vlachantonis
    • 1
  • R. Herzig
    • 1
  • M. Gogolla
    • 1
  • G. Denker
    • 1
  • S. Conrad
    • 1
  • H. -D. Ehrich
    • 1
  1. 1.Informatik, Abt. DatenbankenTechnische Universität BraunschweigBraunschweigGermany

Personalised recommendations