Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
A CASE Environment for TINA-oriented Applications, 1996. Available at http://andromeda.cselt.stet.if:8080/ace/ACE.html.
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.
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.
W. Clinger and J. Rees. Revised 4 Report on the Algorithmic Language Scheme. ACM Lisp Pointers, 4(3), 1991. Available at http://www.cs.indiana.edu/scheme-repository/doc/standards/r4rs.ps.gz.
The Interactive Graph Visualization System daVinci. Available at http://www.informatik.unibremen.de/∼inform/forschung/daVinci/daVinci.html.
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 http://www.ifi.unizh.ch/techreports.
T.R. Eigenschink, D. Love, and A. Jaffer. SLIB: The Portable Scheme Library, 1994.
Norbert E. Fuchs. Specifications are (preferably) executable. Technical Report 92, University of Zurich (CS Dept.), 1992. Available at ftp://ftp.ifi.unizh.ch/pub/techreports/.
Management of the Transport Network — Application of the ODP Framework, ITU-T G851-01, 1996.
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 http://www.ifi.unizh.ch/techreports.
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 http://www.montefiore.ulg.ac.be/services/verif/papers/thesis.ps.Z.
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.
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 http://www.cs.tat.fi/laitos/DisCo/DisCo-english.fm.html.
Object Management Group: Object Analysis and Design RFI, 1995. OMG TC Document 95-9-35.
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 http://www.omg.org/docs/1994/94-05-05.ps.
Basic Reference Model of ODP — Part 1: Overview and Guide to Use of the Reference Model, ISO 10746-1, ITU X.901.
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 http://www.eurecom.fr/∼tims/papers/dsom95-paper.ps.gz.
TINA Information Modelling Concepts, 1994. Available at http://www.tinac.com.
TINA Object Definition Language (TINA-ODL) Manual, 1995. Available at http://www.tinac.com.
User Manual for the IFAD VDM-SL Toolbox, 1996. Available at http://www.ifad.dk/products/toolbox.html.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sidou, D. (1996). A generic and executable model for the specification and validation of distributed behaviors. In: Spaniol, O., Linnhoff-Popien, C., Meyer, B. (eds) Trends in Distributed Systems CORBA and Beyond. TreDS 1996. Lecture Notes in Computer Science, vol 1161. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61842-2_41
Download citation
DOI: https://doi.org/10.1007/3-540-61842-2_41
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61842-3
Online ISBN: 978-3-540-70716-5
eBook Packages: Springer Book Archive