Boilerplates for Reconfigurable Systems: A Language and Its Semantics
Boilerplates are simplified, 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 reconfigurable systems, i.e., systems structured in different 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.
KeywordsPropositional Logic Base Logic Kripke Structure Requirement Elicitation Operation Symbol
Unable to display preview. Download preview PDF.
- 2.Brauner, T.: Hybrid Logic and its Proof-Theory. Applied Logic Series. Springer (2010)Google Scholar
- 3.Diaconescu, R.: Institution-independent Model Theory. Studies in Universal Logic. Birkhäuser Basel (2008)Google Scholar
- 4.Diaconescu, R., Madeira, A.: Encoding hybridized institutions into first order logic (submitted, 2013)Google Scholar
- 9.Hull, M.E.C., Jackson, K., Dick, J.: Requirements engineering, 2nd edn. Springer (2005)Google Scholar
- 10.Madeira, A.: Foundations and techniques for software reconfigurability. PhD thesis, University of Minho, Portugal (Joint MAP-i Doctoral Program) (2013)Google Scholar
- 12.Madeira, A., Neves, R., Martins, M.A., Barbosa, L.S.: When even the interface evolves. In: Wang, H., Banach, R. (eds.) Proceedings of TASE the 7th IEEE Symp. on Theoretical Aspects of Software Engineering, TASE, Birmingham, pp. 79–82. IEEE Computer Society (July 2013)Google Scholar
- 15.Mossakowski, T., Maeder, C., Codescu, M., Lucke, D.: HETS User Guide - Version 0.99. Technical report, DFKI Lab Bremen (April 2013)Google Scholar
- 17.Neves, R., Madeira, A., Martins, M.A., Barbosa, L.S.: Hybridisation at work. In: CALCO TOOLS. LNCS. Springer (to appear, 2013)Google Scholar
- 19.van Eijck, J.: Hylotab-tableau-based theorem proving for hybrid logics. Technical report, CWI, Amsterdam (2002)Google Scholar