Time Aware System Refinement | Zendy

Tomi Westerlund | Zendy; Juha Plosila | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Time Aware System Refinement

Author(s) -

Tomi Westerlund,

Juha Plosila

Publication year - 2007

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2006.08.046

Subject(s) - computer science , refinement calculus , formalism (music) , extension (predicate logic) , theoretical computer science , action (physics) , algorithm , complex system , algebra over a field , programming language , mathematics , artificial intelligence , pure mathematics , art , musical , physics , quantum mechanics , visual arts

We propose a formal, time aware refinement of systems. The proposed timewise refinement method is a direct extension of the traditional refinement calculus of Action Systems. The adaptation provides a well-founded mathematical basis for the stepwise refinement of systems modelled with the time spiced Action Systems formalism. In the refinement of an abstract system into a more concrete one a designer must show that conditions of both functional and temporal properties are satisfied

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research