Abstract
In the domain of information systems, behaviour is typically described without a formal foundation. These systems could benefit from the use of formal behaviour modeling. However, the perceived costs for integrating a formal behaviour modeling approach seems to be higher than the expected benefits. A framework for formal behaviour modeling and execution could help bringing the benefits of formal modeling to this domain when it imposes a low barrier for integrating the approach. To achieve this, we present our approach for designing and executing behaviour models which are encoded with well-defined source code structures. In our approach the model is statically represented in the program code. Therefore the model does not exist as a first class citizen, but is extracted from the code at design time and run time. These models can be integrated within a context of arbitrary other program code, that does not follow the semantics of the model type. They therefore impose only a small barrier for their use.
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
Notes
- 1.
- 2.
This is actually a recommendation, not a requirement. For protocol machines with more than 3 or four states, we found it practical to use subpackages for structuring reasons.
- 3.
- 4.
References
Balz, M.: Embedding Model Specifications in Object-Oriented Program Code: A Bottom-up Approach for Model-based Software Development. Ph.D. thesis, Universitt Duisburg-Essen, Mai (2011)
Blair, G., Bencomo, N., France, R.: Models@ run.time. Computer 42(10), 22–27 (2009)
Brown, A., Conallen, J., Tropeano, D.: Introduction: models, modeling, and model-driven architecture (mda) model-driven software development. In: Beydeda, S., Book, M., Gruhn, V. (eds.) Model-Driven Software Development, ch. 1, pp. 1–16. Springer, Heidelberg (2005)
Hoare, C.A.R.: Communicating sequential processes, vol. 178. Prentice-hall, Englewood Cliffs (1985). http://www.usingcsp.com/
Konersmann, M., Goedicke, M.: A conceptual framework and experimental workbench for architectures. In: Heisel, M. (ed.) Software Service and Application Engineering. LNCS, vol. 7365, pp. 36–52. Springer, Heidelberg (2012)
McNeile, A.T., Roubtsova, E.E.: Programming in protocols - a paradigm of behavioral programming. In: Gonzalez-Perez, C., Jablonski, S. (eds.) ENASE, pp. 23–30. INSTICC Press, Portugal (2008)
McNeile, A.T., Simons, N.: Protocol modelling: a modelling approach that supports reusable behavioural abstractions. Softw. Syst. Model. 5(1), 91–107 (2006)
Nickel, U.A., Niere, J., Wadsack, J.P., Zündorf, A.: Roundtrip engineering with FUJABA. In: Proceedings of 2nd Workshop on Software-Reengineering (WSR), Bad Honnef, Germany (2000)
OMG. OMG Unified Modeling Language (OMG UML), Superstructure, Version 2.4.1, August 2011
Stahl, T., Voelter, M., Czarnecki, K.: Model-Driven Software Development: Technology, Engineering, Management. Wiley, New York (2006)
Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0, 2nd edn. Addison-Wesley Professional, Singapore (2009)
Acknowledgements
Parts of the meta model presented in this paper are based on the work of Noyan Kurt from the institute paluno at the University of Duisburg-Essen. The work presented in this paper is partially funded by the DFG (German Research Foundation) under the grant number GO 774/7-1 within the Priority Programme SPP1593: Design For Future Managed Software Evolution.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Konersmann, M., Goedicke, M. (2015). Integrating Protocol Contracts with Program Code – A Leightweight Approach for Applied Behaviour Models that Respect Their Execution Context. In: Roubtsova, E., McNeile, A., Kindler, E., Gerth, C. (eds) Behavior Modeling -- Foundations and Applications. Lecture Notes in Computer Science(), vol 6368. Springer, Cham. https://doi.org/10.1007/978-3-319-21912-7_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-21912-7_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-21911-0
Online ISBN: 978-3-319-21912-7
eBook Packages: Computer ScienceComputer Science (R0)