This paper presents a rapid prototyping technique for procedural specifications of embedded distributed systems. The technique employs attribute grammars for the description of language constructs and definite clause grammars within the framework of Prolog for low-cost and straightforward translator implementation. The current version of the executable specification tool is aimed at the microcontroller application domain.
展开▼