Sentence examples for a specification language from inspiring English sources

Planguage consists of a specification language and a corresponding set of process descriptions.

In this paper we describe a specification language and a multi-agent system architecture for monitoring medical protocols.

The advantage of using DE is that it provides a semantic foundation that is simple, time-aware, deterministic and natural as a specification language for many applications.

The calculus is closely connected to a substructural modal logic that may be used as a specification language for properties of models.

The reason for using JML as a specification language is that several tools are available to check (parts of) the specification w.r.t. an implementation.

Our work uses a subset of the SVO logic, which we view as a specification language and proof system and also as a "protocol programming language".

This paper presents a generic change propagation approach that is based on the Refined Process Structure Tree, i.e., the approach is independent of a specific process specification language.

We believe that having such a range of tools available for a single specification language is an important step towards the acceptance of formal methods in industry.

We propose to use a formal specification language as a high-level hardware description language.

In this paper a prototype of a visual specification language called Visual Coordination Diagrams (VCD) for high-level design of concurrent systems with heterogeneous coordination models is presented.

Agents use a content specification language based on an extended object model to specify the requirements, constraints, and negotiation strategic rules, which are used by the negotiation server to conduct a negotiation.