Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen.
type: Item
instance of: scholarly article
title: Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen.
zbMATH Open document ID: 1095.68021
DOI: 10.1007/978-3-540-33193-3
author: Dines Bjørner
published in: Texts in Theoretical Computer Science. An EATCS Series
publication date: 2005-04-25T00:00:00Z
review text: The present volume is the second one of a trilogy on formal development of large scale systems. It supplements the abstraction and modelling tools covered in Volume 1 with some additional ones and mainly focuses on formal specification of systems and languages. The following four aspects are strongly emphasized: advanced specification facets; linguistics; concurrency and temporality; interpreter and compiler definitions. It completes the gallery of tools for abstraction and modelling by adding to the RAISE Specification Language (Volume 1) some other new tools: Petri nets; Sequence Charts (SCs); statecharts; Interval Temporal Logic (ITL) and Duration Calculus (DC). That way the reader is prepared to face the challenges raised by specification of parallel and real time systems and becomes aware of major semiotics principles governing the abstraction and modelling of complex computing systems and languages. The additional principles and techniques for abstraction and modelling are stated by the author as falling along the following axis: an advanced abstraction and modelling axis, covering hierarchical and compositional modelling; a semiotic axis, covering pragmatics, semantics and syntax of design structures; a structuring axis, briefly covering the RSL scheme, class and object concepts as well as UML representation facilities; a concurrency axis, covering both qualitative aspects of timing (Petri nets, SCs, state charts) and quantitative aspects (ITL, DC); a language development axis, covering crucial steps of the development of concrete interpreters and compilers for functional, imperative, modular and parallel programming languages. The book is organized in nine parts. Part I, ``Opening'', is an RSL primer. Part II, ``Specification facets'', deals with the following concepts: hierarchies and compositions; denotations and compositions; context and states. Part III, ``A crucial domain and computing facet'', presents the main principles and techniques according to wh…
reviewed by: Tudor Bălănescu
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N20
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68-01
zbMATH DE Number: 2161253
zbMATH Keywords: algebra
zbMATH Keywords: attribute grammar
zbMATH Keywords: automata
zbMATH Keywords: BNF
zbMATH Keywords: colored Petri nets
zbMATH Keywords: communicating transaction processes
zbMATH Keywords: compiler
zbMATH Keywords: composition
zbMATH Keywords: computational semantics
zbMATH Keywords: concurrency
zbMATH Keywords: denotational semantics
zbMATH Keywords: duration calculus
zbMATH Keywords: hierarchy
zbMATH Keywords: interpreter
zbMATH Keywords: interval temporal logic
zbMATH Keywords: linguistics
zbMATH Keywords: live sequence charts
zbMATH Keywords: message sequence charts
zbMATH Keywords: modularisation
zbMATH Keywords: nondeterminism
zbMATH Keywords: parallelism
zbMATH Keywords: pragmatics
zbMATH Keywords: semantic type
zbMATH Keywords: syntactic type
zbMATH Keywords: syntax
zbMATH Keywords: RAISE Specification Language
zbMATH Keywords: semiotics
zbMATH Keywords: state charts
zbMATH Keywords: temporality
zbMATH Keywords: UML
zbMATH Keywords: XML
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-540-33193-3
OpenAlex ID: W4253411337
description: scientific article; zbMATH DE number 2161253