Abstract
In this paper the most difficult step of a method is presented by which requirements in the duration calculus (DC) can be transformed into occam programs such that the implementation is correct by construction. Several rules for correct transformations from DC towards an important intermediate stage, the specification language SLtime, will be shown. In particular we shall explain the interplay between requirements and a control program, the introduction of parallelism and the change from the state based DC-description to the event based SLtime description.
Author supplied keywords
Cite
CITATION STYLE
Schenke, M. (1994). Specification and transformation of reactive systems with time restrictions and concurrency. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 863 LNCS, pp. 605–620). Springer Verlag. https://doi.org/10.1007/3-540-58468-4_186
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
