Timed-Gamma and Its Coordination Language

Mousavi, Mohammad Reza,1978-Eindhoven University of Technology, Eindhoven, Netherlands (författare)

This paper proposes a theoretical framework for separation of concerns in the formal specification of reactive and real-time systems. This framework consists of the syntax and the semantics of three languages (and all meaningful combinations thereof) that each address a separate concern. The first language, Gamma (a variant of an existing language) is used to define the functionality of a system (by means of a set of basic data transformations). Our additions are a simple language of intervals specifying timing-properties of basic transformations and a language (called Schedules) for specifying the coordination of the basic Gamma transformations. Each of these languages formally models a separate aspect of a system and statements in these languages can be reused, changed or analyzed in their own right. Our key contribution is that we provide a formal framework in which different combinations of aspects have a well-defined semantics.

Basten, TwanEindhoven University of Technology, Eindhoven, Netherlands (författare)
Reniers, Michel A.Eindhoven University of Technology, Eindhoven, Netherlands (författare)
Chaudron, MichelLeiden Institute of Advanced Computer Science, Leiden, Netherlands (författare)
Eindhoven University of Technology, Eindhoven, NetherlandsLeiden Institute of Advanced Computer Science, Leiden, Netherlands (creator_code:org_t)

Ingår i:Nordic Journal of ComputingHelsinki : University of Helsinki15:2, s. 75-1111236-6064

Av författaren/redakt...: Mousavi, Mohamma ...; Basten, Twan; Reniers, Michel ...; Chaudron, Michel

Om ämnet

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.