Towards open service environments

  • Kurt Geihs
  • Brigitte Bär
  • Arno Puder
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 938)


The continuous and rapid evolution of distributed system technology leads to service environments with a large number of service types, service providers and service users, where services are freely offered and requested. Dynamic changes and configuration flexibility are among the key requirements for such an open service environment (OSE). Our research focuses on the infrastructure that is needed for an OSE. We present an architectural framework for such an infrastructure. In particular, we investigate service type specification, matching (trading) and conformance. In order to overcome the limitations of pre-defined, purely IDL-based service type definitions, we propose an extension based on declarative semantics. The extension specifies the behavior of a service type and allows for a polymorphic matching of service requests and service offers independent of their respective syntactical representations in a type family. In addition to deciding about type compatibility we need to test the conformance of a service implementation to its specification. In a first step we have developed a mapping of CORBA IDL onto TTCN, a test notation used in protocol conformance testing for the definition of abstract test cases. This mapping enables us to utilise much of the methodology and tools that are available for protocol conformance testing.


open distributed processing (ODP) trading type specification type management declarative semantics conformance testing 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Ame91]
    America, P.: Designing an object oriented programming language with behavioral subtyping, LNCS 489, Springer (1991).Google Scholar
  2. [ANSA89]
    ANSA Reference Manual, APM Ltd., 24 Hills Road, Cambridge CB2 1JP, UK (March 1989)Google Scholar
  3. [APTS]
    Automated Protocol Test System/2 User's Guide, IBM, Doc. No. SV40-0373-00 (June 1993)Google Scholar
  4. [Bär94]
    Bär, B.: Konformität von Objekten in offenen verteilten Systemen, Universität Frankfurt, FB Informatik, Technical Report (1994). (in German)Google Scholar
  5. [BC95]
    Bär, B. and Clemm, A.: Towards Testing of Relationships in an OSI Management Information Base, Proceedings of 4th IFIP/IEEE International Symposium on Integrated Network Management, Santa Barbara, California/USA (1995).Google Scholar
  6. [BM94]
    Bär, B. and Mann, A.: A Methodology for Conformance Testing of Managed Objects, Proceedings of 14th IFIP Symposium on Protocol Specification, Testing, and Verification, Vancouver, BC/Kanada (1994).Google Scholar
  7. [GH90]
    Geihs, K. and Hollberg, U.: A Retrospective on DACNOS, Communications of the ACM, Vol. 33, No. 4 (1990).Google Scholar
  8. [ISO93]
    International Standardisation Organisation (ISO): ODP Trader, Document Number ISO/IEC JTC1 SC21 N8192 (1993).Google Scholar
  9. [ISO9646]
    International Standardisation Organisation (ISO): Information Technology — Open Systems Interconnection — Conformance Testing Methodology and Framework, ISO 9646.Google Scholar
  10. [ISO10746]
    International Standardisation Organisation (ISO): Information Technology: Basic Reference Model of Open Distributed Processing, Parts 1–4, DIS 10746 (see also working papers of Group ISO/IEC JTC1/SC21/WG7).Google Scholar
  11. [Lis93]
    Liskov, B. and Wing, J.: A new definition of the subtype relation, in: Proceedings ECOOP'93 (O.M.Nierstrasz, Ed.), Springer (1993).Google Scholar
  12. [MML94]
    Merz, M., Müller, K. and Lamersdorf, W.: Service trading and mediation in distributed computing environments, Proceedings ICDCS'94, IEEE Computer Society Press (1994).Google Scholar
  13. [OMG91]
    Object Management Group and X/Open: The Common Object Request Broker: Architecture and Specification, OMG Document 91-12-1 (1991).Google Scholar
  14. [OMG93]
    Object Management Group, Joint Object Services Submission: Submission Overview, OMG TC Document 93-7-3 (July 1993).Google Scholar
  15. [OSF90]
    Distributed Computing Environment Rationale, OSF Inc., Cambridge, MA/USA (May 1990)Google Scholar
  16. [Pud94]
    Puder, A.: A Declarative Extension of IDL-based Type Definitions within Open Distributed Environments, Proceedings of OOIS'94: Object-Oriented Information Systems, London/UK (1994).Google Scholar
  17. [P+95]
    Puder, A., Gudermann, F., Markwitz, S., Geihs, K.: AI-based Trading in Open Distributed Environments, Proceedings of the International Conference on Open Distributed Processing (ICODP'95), Brisbane/Australia (1995).Google Scholar
  18. [S+94]
    Seidel, T., Global Object Space: Design und Prototyp, Universität Frankfurt, FB Informatik, Technical Report (1994). (in German)Google Scholar
  19. [Way94]
    Wayner, P.: Agents Away, BYTE, pp. 133–138 (May 1994).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Kurt Geihs
    • 1
  • Brigitte Bär
    • 1
  • Arno Puder
    • 1
  1. 1.Department of Computer ScienceUniversity of FrankfurtFrankfurtGermany

Personalised recommendations