Component specification language

Development of a Component Specification Language 205 Property index... 

The various chemical requirements of each derivative group are summarized in Table 8.1. In order to implement these requirements, a component specification language has been developed. This specification language contains a combination of keywords, target values, and Boolean operators. A brief summary of these commands is listed in Table 8.2 below. The specification language allows the user to control... 

Denotations of human language expressions in specific contexts may depend on reference acts. A linguistic reference act is an event consisting of at least the following components a language expression, an object (real or abstract) referred to, which is called the referent of the expression, and an utterance situation (or a broader discourse). The utterance situation consists of subcomponents such as the speaker, the speaker s reference act, the space-time location of the utterance, and the listener(s). 

Studies (HiP-HOPS) [12] and Component Fault Trees (CFT) [6]. For specific component-based specification languages, the later two techniques allow tool-supported and automated generation of a safety evaluation model. A limitation of these safety analysis techniques is their inability to handle cycles in the control-or data-flow architecture of the system cycles, of course, appear in most realistic systems. Fault Propagation and Transformation Calculus (FPTC) [15] was one of the first approaches that could automatically carry out failure analysis on systems with cycles by using fixed-point analysis. 

Multiple fault injections between error models and nominal models are possible. An automatic procedure, the so-called model extension, is employed to integrate both models and the given fault injections. It yields a combined specification that represents both the nominal and the faulty behavior of the system. Its semantics is formally defined by a transition system (cf. Definition 1) whose states are determined by the current modes and error states of all components, together with the current values of their data elements. Its transitions are derived from both the (nominal) mode and the (faulty) error state transitions, attaching a unique transition label to each. The latter can be used by the subsequent analyses, such as the failure effect analysis which is described in the present paper, to distinguish different types of transitions. More details on the specification language and its formal semantics can be found in [2]. 

Specific tools and mechanisms are being used worldwide to meet the specified targets. They represent components of the international technical language referred to above (see slide 4). Depending on the particular application, some of these components e.g. standardization, quahty and environmental management, accreditation, are being used on a voluntary basis while others are implemented on a compul- ... 

Support of different abstraction levels. The composition language should highlight the different components and their interplay at different levels of abstraction. This is important to i) facilitate specification analysis and design ii) facilitate cooperative administration and agreement on global policies Hi) support incremental specification by refinement. 

---