A generic and executable model for the specification and validation of distributed behaviors

  • Dominique Sidou
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1161)


An executable model based approach to validate distributed behavior specifications is presented. Behaviors are simple rewrite rules on data instantiated according to a given information model. They are triggered by events such as operations invoked on computational interfaces. The model is generic in the sense that it does not make any assumption about the information and computation models used, i.e. frameworks such as the OSI Systems Management Architecture, CORBA or SNMP can be adapted. To ensure usability, the execution environment provides for (i) a visual operational semantics of the proposed behavior specification language, and (ii) for dynamic debugging facilities. In addition, a Scheme programming environment is shown to be a valuable option to support the implementation, in particular for dynamic debugging purposes.


Distributed Behaviors Data Oriented Executable Specification Validation Visual Operational Semantics Dynamic Debugging Scheme ODP 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    A CASE Environment for TINA-oriented Applications, 1996. Available at http://andromeda.cselt.stet.if:8080/ace/ACE.html.Google Scholar
  2. 2.
    Hiralal Agrawal, Richard A. DeMillo, and Eugene Spafford. An Execution Backtracking Approach to Program Debugging. Technical Report SERC-TR-22-P, Software Engineering Research Center Purdue University, September 1990.Google Scholar
  3. 3.
    J. P. Briand, M. C. Fehri, L. Logrippo, and A. Obaid. Executing LOTOS Specifications. Protocol Specification, Testing and Verification VI, IFIP1987, pages 73–84, 1987.Google Scholar
  4. 4.
    W. Clinger and J. Rees. Revised 4 Report on the Algorithmic Language Scheme. ACM Lisp Pointers, 4(3), 1991. Available at Scholar
  5. 5.
    The Interactive Graph Visualization System daVinci. Available at∼inform/forschung/daVinci/daVinci.html.Google Scholar
  6. 6.
    Klaus R. Dittrich, Stella Gatziu, and Andreas Geppert. The Active Database Management System Manifesto: A Rulebase of ADBMS Features. Technical report, University of Zurich, Dept. of Computer Science, 1995. Available at Scholar
  7. 7.
    T.R. Eigenschink, D. Love, and A. Jaffer. SLIB: The Portable Scheme Library, 1994.Google Scholar
  8. 8.
    Norbert E. Fuchs. Specifications are (preferably) executable. Technical Report 92, University of Zurich (CS Dept.), 1992. Available at Scholar
  9. 9.
    Management of the Transport Network — Application of the ODP Framework, ITU-T G851-01, 1996.Google Scholar
  10. 10.
    Andreas Geppert, Stella Gatziu, Klaus R. Dittrich, Hans Fritschi, and Anca Vaduva. Architecture and Implementation of the Active Object-Oriented Database Management System SAMOS. Technical report, University of Zurich, Dept. of Computer Science, 1995. Available at Scholar
  11. 11.
    Patrice Godefroid. Partial-Order Methods for the Verification of Concurrent Systems — An Approach to the State Exploision Problem. PhD thesis, Université de Liège, Faculté des Sciences Appliquées, 1995. Available at Scholar
  12. 12.
    ISO/IEC JTC 1/SC 21, ITU X.725 — Information Technology — Open System Interconnection — Data Management and Open Distributed Processing — Structure of Management Information-Part 7: General Relationship Model.Google Scholar
  13. 13.
    Hannu-Matti Jarvinen and Reino Kurki-Suonio. DisCo Specification Language: Marriage of Action and Objects. In Proc. of 11th International Conference on Distributed Computing Systems, Arlington, Texas, may 1991. IEEE Computer Society Press. Available at Scholar
  14. 14.
    Object Management Group: Object Analysis and Design RFI, 1995. OMG TC Document 95-9-35.Google Scholar
  15. 15.
    OMG Relationship Service Submission, 1994. Revised submission to the Object Services Task Force RFP2 by Bull, Hewlett-Packard, Olivetti, IBM, SNI, and SunSoft. OMG Document 94-05-05, available at Scholar
  16. 16.
    Basic Reference Model of ODP — Part 1: Overview and Guide to Use of the Reference Model, ISO 10746-1, ITU X.901.Google Scholar
  17. 17.
    Dominique Sidou, Sandro Mazziotta, and Rolf Eberhardt. TIMS: a TMN-based Information Model Simulator, Principles and Application to a Simple Case Study. In Sixth International Workshop on Distributed Systems: Operations & Management, Ottawa — Canada, 1995. IFIP / IEEE. Available at Scholar
  18. 18.
    TINA Information Modelling Concepts, 1994. Available at Scholar
  19. 19.
    TINA Object Definition Language (TINA-ODL) Manual, 1995. Available at Scholar
  20. 20.
    User Manual for the IFAD VDM-SL Toolbox, 1996. Available at Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Dominique Sidou
    • 1
  1. 1.Institut EurécomSophia Antipolis CedexFrance

Personalised recommendations