Boilerplates for reconfigurable systems: a language and its semantics

Citation:
Madeira A, Martins M, Barbosa LS.  2013.  Boilerplates for reconfigurable systems: a language and its semantics. Simpósio Brasileiro de Linguagens de Programação - SBLP. 8129:75–89.

Date Presented:

October

Abstract:

Boilerplates are simpli ed, normative English texts, intended to capture software requirements in a controlled way. This paper proposes a pallet of boilerplates as a requirements modelling language for recon gurable systems, i.e., systems structured in di erent modes of execution among which they can dynamically commute. The language semantics is given as an hybrid logic, in an institutional setting. The mild use made of the theory of institutions, which, to a large extent, may be hidden from the working software engineer, not only provides a rigorous and generic semantics, but also paves the way to tool-supported validation.

Citation Key:

1511

DOI:

10.1007/978-3-642-40922-6_6

PreviewAttachmentSize
1305.6115.pdf368.27 KB