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

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

3. 1 What are formal equipment? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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 common sense languages-the Prolog kin. . . . . . . . . . . . . . . . . . . 22 three. 2. 1. thirteen sensible 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 tools and notations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 three. 2. four. 1 SADT. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 three. 2. four. 2 dependent layout . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 three. 2. four. three SSADM and LSDM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 three. 2. four. four JSPandJSD. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 three. 2. four. five HDM and the distinctive language . . . . . . . . . . . . . . . . . . . . . . . . . . 27 three. 2. four. 6 established research and layout of real-time platforms. . 27 three. three help instruments for FDTs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Show description

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

Best nonfiction_8 books

Recombinant DNA Technologies in Neuroendocrinology

This quantity covers new points and destiny instructions in molecular neuroendocrinology, an immense and speedily starting to be zone in neuroendocrinology. one of the a number of neurotransmitters or neuromodulators that play a huge position within the keep watch over of endocrine capabilities, neuropeptides and similar proteins have drawn designated realization as a result of their variety and complexity in motion.

Recent Advances in Fracture Mechanics: Honoring Mel and Max Williams

The papers during this quantity characterize a substantial cross-section of the sector of fracture mechanics, an affidavit to the breadth of curiosity that Mel and Max Williams' neighbors proportion with them. numerous are increased types of papers that got in specified classes honoring them on the 1997 9th foreign convention on Fracture Mechanics in Sydney, Australia.

Advanced Instrumentation, Data Interpretation, and Control of Biotechnological Processes

This publication is the outgrowth of the COMETT II path on complex Instru­ mentation, facts Interpretation, and keep an eye on of Biotechnological tactics geared up through the Katholieke Universiteit Leuven and the Universiteit Gent, and held at Gent, Belgium, October 1994. The editors of the current quantity have been very lucky to discover all invited audio system ready to jot down state of the art expositions in response to their lec­ tures.

Biomass Pyrolysis Liquids Upgrading and Utilization

Biomass pyrolysis has been practised for hundreds of years within the manufacture of charcoal for and relaxation. merely within the final 20 years, notwithstanding, has realization focussed on a greater figuring out of the technology and know-how, with the ensuing advantages of higher designed and regulated strategies that provide excessive yields of liquid items.

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

Example text

Notations used should be the most simple, widely known and easy to learn which are suited to the purpose. Even when not wholly adequate, the value of using a widely known and accessible notation should carry great weight. Such a notation should, where possible, be known to the intended users of the standard, not just widely known in formal methods circles. 1 Office Document Architecture (ODA) What is ODA? ODA is a multi-part International Standard (ISO 8613). Its development was driven by the need for the open transfer of 'fixed' or 'revisable' office documents.

Ways around this have been tried: for example, the definition of the PL/I programming language was written in a stylized version of English. The resulting Standard (ISO 6522) is rather large, very brutal in its approach, and tedious to read, but does have the advantage of being accurate. However, in one sense it is arguably much closer to a formal specification than a natural language one, since it could almost automatically be translated into a mathematical definition. A second approach is to use a compiler, written in an existing programming language, as the definition of a new programming language.

A formal specification of ODA (FODA) is currently being developed within ISO/IEC as a separate, selfcontained, part of the ODA standard (ISO 8613-10); this is expressed as a single formula in first-order predicate calculus. Experience in the field of programming languages is different again. Until recently, no common terms of reference had emerged for the definition of programming languages with, for example, Modula-2 currently being defined formally using VDM-SL but the idea of a formal definition having been totally rejected in the case of C.

Download PDF sample

Rated 4.26 of 5 – based on 29 votes

About the Author

admin