Abstract | ||
---|---|---|
Specification languages such as LOTOS and SDL play an important role in the design and implementation of distributed systems. Their formal syntax and semantics supports the development of compilers and of verification tools.This paper introduces a generic and uniform approach to support such languages in verification tools. We present a compiler generator which, given the description of a specification language, automatically generates a corresponding implementation. More specifically, the syntax and semantics of the specification language has to be defined using Meseguer's Rewriting Logic formalism, a unified semantic framework for concurrency. From this description a compiler is derived which parses a given system specification and computes the corresponding semantic object, such as a labelled transition system. The latter can be processed further in subsequent analysis and verification phases.Thus we propose some kind of ``meta-prototyping'' approach in the sense that new specification formalisms for distributed systems can easily be tested without the need to develop an implementation by hand. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1109/IWRSP.1999.779032 | IEEE International Workshop on Rapid System Prototyping |
Keywords | Field | DocType |
corresponding implementation,verification phase,new specification formalisms,specification language implementations,corresponding semantic object,compiler generator,system specification,formal syntax,verification tool,specification language,labelled transition system,rapid prototyping,prototypes,distributed systems,semantics,logic,software engineering,rewriting logic,system testing,process design,concurrent computing,application software,distributed system,concurrency,formal verification | Specification language,Computer architecture,Programming language,Programming language specification,Computer science,Formal specification,Compiler,Language Of Temporal Ordering Specification,Formal methods,System requirements specification,Formal verification | Conference |
ISSN | ISBN | Citations |
1074-6005 | 0-7695-0246-6 | 6 |
PageRank | References | Authors |
0.55 | 11 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Martin Leucker | 1 | 1639 | 112.68 |
Thomas Noll | 2 | 20 | 2.32 |