Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Blackburn, P.: Arthur Prior and hybrid logic. Synthese 150(3), 329–372 (2006)
Brauner, T.: Hybrid Logic and its Proof-Theory. Applied Logic Series. Springer (2010)
Diaconescu, R.: Institution-independent Model Theory. Studies in Universal Logic. Birkhäuser Basel (2008)
Diaconescu, R., Madeira, A.: Encoding hybridized institutions into first order logic (submitted, 2013)
Diaconescu, R., Tutu, I.: On the algebra of structured specifications. Theor. Comput. Sci. 412(28), 3145–3174 (2011)
Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. J. ACM 39(1), 95–146 (1992)
Götzmann, D., Kaminski, M., Smolka, G.: Spartacus: A tableau prover for hybrid logic. Electr. Notes Theor. Comput. Sci. 262, 127–139 (2010)
Hoffmann, G., Areces, C.: Htab: a terminating tableaux system for hybrid logic. Electr. Notes Theor. Comput. Sci. 231, 3–19 (2009)
Hull, M.E.C., Jackson, K., Dick, J.: Requirements engineering, 2nd edn. Springer (2005)
Madeira, A.: Foundations and techniques for software reconfigurability. PhD thesis, University of Minho, Portugal (Joint MAP-i Doctoral Program) (2013)
Madeira, A., Faria, J.M., Martins, M.A., Barbosa, L.S.: Hybrid specification of reactive systems: An institutional approach. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol. 7041, pp. 269–285. Springer, Heidelberg (2011)
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)
Martins, M.A., Madeira, A., Diaconescu, R., Barbosa, L.S.: Hybridization of institutions. In: Corradini, A., Klin, B., Cîrstea, C. (eds.) CALCO 2011. LNCS, vol. 6859, pp. 283–297. Springer, Heidelberg (2011)
Mossakowski, T.: Foundations of heterogeneous specification. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 359–375. Springer, Heidelberg (2003)
Mossakowski, T., Maeder, C., Codescu, M., Lucke, D.: HETS User Guide - Version 0.99. Technical report, DFKI Lab Bremen (April 2013)
Mossakowski, T., Maeder, C., Lüttich, K.: The heterogeneous tool set, hets. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 519–522. Springer, Heidelberg (2007)
Neves, R., Madeira, A., Martins, M.A., Barbosa, L.S.: Hybridisation at work. In: CALCO TOOLS. LNCS. Springer (to appear, 2013)
Schröder, L., Mossakowski, T.: Hascasl: Towards integrated specification and development of functional programs. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol. 2422, pp. 99–116. Springer, Heidelberg (2002)
van Eijck, J.: Hylotab-tableau-based theorem proving for hybrid logics. Technical report, CWI, Amsterdam (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Madeira, A., Martins, M.A., Barbosa, L.S. (2013). Boilerplates for Reconfigurable Systems: A Language and Its Semantics. In: Du Bois, A.R., Trinder, P. (eds) Programming Languages. SBLP 2013. Lecture Notes in Computer Science, vol 8129. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40922-6_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-40922-6_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40921-9
Online ISBN: 978-3-642-40922-6
eBook Packages: Computer ScienceComputer Science (R0)