Formal Methods in Standards: A Report from the BCS Working by C. L. N. Ruggles (auth.), C. L. N. Ruggles (eds.)

By C. L. N. Ruggles (auth.), C. L. N. Ruggles (eds.)

3. 1 What are formal tools? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 three. 2 A survey of formal equipment . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 three. 2. 1 FDTs and FSLs for sequential software program . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 three. 2. 1. 1 VDM (Vienna improvement Method). . . . . . . . . . . . . . . . . . . . . 19 three. 2. 1. 2 Z. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 three. 2. 1. three me too . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 three. 2. 1. four HOS and AXES. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 three. 2. 1. five Gist. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 three. 2. 1. 6 transparent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 three. 2. 1. 7 OBJ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 three. 2. 1. eight ACT ONE and ACT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 three. 2. 1. nine CIP-L. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 three. 2. 1. 10 LPG. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 three. 2. 1. eleven Larch. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 three. 2. 1. 12 good judgment languages-the Prolog kin. . . . . . . . . . . . . . . . . . . 22 three. 2. 1. thirteen useful languages. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 three. 2. 2 FDTs and FSLs for concurrent software program. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 three. 2. 2. 1 LOTOS. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 three. 2. 2. 2 Estelle. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 three. 2. 2. three SDL. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 three. 2. 2. four ASN. l . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 three. 2. 2. five TTCN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 three. 2. 2. 6 Gypsy. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 three. 2. three Graphical formalisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 three. 2. three. 1 Petri nets. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 three. 2. three. 2 Higraphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 three. 2. four much less formal equipment and notations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 three. 2. four. 1 SADT. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 three. 2. four. 2 based layout . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 three. 2. four. three SSADM and LSDM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 three. 2. four. four JSPandJSD. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 three. 2. four. five HDM and the targeted language . . . . . . . . . . . . . . . . . . . . . . . . . . 27 three. 2. four. 6 established research and layout of real-time structures. . 27 three. three help instruments for FDTs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Show description

Read Online or Download Formal Methods in Standards: A Report from the BCS Working Group PDF

Similar nonfiction_8 books

Plate Stability by Boundary Element Method

1. 1 old heritage skinny plates and shells are popular structural components in different civil, mechanical, aeronautical and marine engineering layout purposes. flooring slabs, bridge decks, concrete pavements, sheet pile protecting partitions are all, less than common lateral loading conditions, cases of plate bending in civil engineering.

Microwave Materials

Sturdy kingdom fabrics were gaining significance in recent years specially within the context of units that may supply precious infrastructure and suppleness for numerous human endeavours. during this context, microwave fabrics have a special position particularly in a variety of gadget functions in addition to in conversation networks.

Molecular Magnetism: From Molecular Assemblies to the Devices

Molecular Magnetism: From Molecular Assemblies to the units studies the cutting-edge within the sector. it truly is equipped in components, the 1st of which introduces the fundamental options, theories and actual innovations required for the research of the magnetic molecular fabrics, evaluating them with these utilized in the learn of classical magnetic fabrics.

Controlled Release: A Quantitative Treatment

The concept that of managed liberate has attracted expanding recognition during the last 20 years, with the purposes of this know-how proliferating in diversified fields in­ cluding medication, agriculture and biotechnology. study and developmental efforts regarding managed unencumber are multiplying in either and academia.

Extra info for Formal Methods in Standards: A Report from the BCS Working Group

Sample text

A historical view is given of the development of FODA, in addition to an overview of its definition and uses, and future developments in the formal specification of ODA are discussed. Further material on SGML is available in the Bulletin of the SGML Users' Group; see also [Bry88] and [Smi88]. Further material on ODA is referenced in the text. 1 The Standard Generalised Markup Language (SGML) What is SGML? SGML became an International Standard late in 1986 (ISO 8879). The name 'Standard Generalised Markup Language' is indicative.

Gomaa is the developer of DARTS ('Design Approach for Real-Time Systems') [GomS4; GomS6]. The EPOS specification and design technique [Bie79] uses a representation scheme similar to SADT; it was developed to support the description of computer controlled real-time automation systems. Within the UK, the MASCOT design method ('Modular Approach to Software Construction, Operation and Testing') with its ACP ('Activity Channel Pool') diagrams has been used in the description of concurrent systems [MSASO; BatS6; SimS6].

Guidelines on the usage of these three PDTs are being formulated by ISO (ISO 10167). Petri nets, discussed below under 'Graphical Formalisms', can also be classed as a process algebra although they are in practice used simply to describe the structure of concurrent systems in conjunction with analysis tools to establish required properties [Rea88]. The Gypsy system based on axiomatic proof theory also provides for the description of concurrency [Coh86]. Extensions to YOM to handle concurrency have been proposed by Jones [Jon83].

Download PDF sample

Rated 4.70 of 5 – based on 37 votes