SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

Plan in Maude: Specifying an Active Network Programming Language
 by Dr. Mark-Oliver Stehr & Dr. Carolyn Talcott.

Electronic Notes in Theoretical Computer Science, Volume 71.
From Fourth International Workshop on Rewriting Logic and Its Applications (WRLA'2002), Pisa, Italy, September 19 — 21, 2002.
Elsevier.
2002.


Abstract
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative functional programming in an elegant way that allows for recursive, remote function calls, and it provides a clear mechanism for the interaction between host and mobile code. Techniques for specifying and reasoning about such languages are of growing importance. In this paper we describe our specification of PLAN in the rewriting logic language Maude. We show how techniques for specifying the operational semantics of imperative functional programs (syntax-based semantics) and for formalizing variable binding constructs and mobile environments (CINNI calculus) are used in combination with the natural representation of concurrency and distribution provided by rewriting logic to develop a faithful description of the informal PLAN semantics. We also illustrate the wide-spectrum approach to formal modeling supported by Maude: executing PLAN programs; analyzing PLAN programs using search and model-checking; proving properties of particular PLAN programs; and proving general properties of the PLAN language.
BibTEX Entry
@inproceedings{stehr-talcott-02wrla,
    AUTHOR = {Mark-Oliver Stehr and Carolyn Talcott},
    TITLE = {Plan in Maude: Specifying an Active Network Programming Language},
    BOOKTITLE = {Fourth International Workshop on Rewriting Logic and Its Applications (WRLA'2002), Pisa, Italy, September 19 --- 21, 2002},
    YEAR = {2002},
    SERIES = {Electronic Notes in Theoretical Computer Science},
    VOLUME = {71},
    PUBLISHER = {Elsevier},
    NOTE = {http://www.elsevier.nl/locate/entcs/volume71.html},
    URL = {http://www.csl.sri.com/papers/stehr-talcott-02wrla/}
}
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy