Abstract
We consider the problem of run-time discovery and continuous monitoring of new components that live in an open environment. We focus on extracting a formal model—which may not be available upfront—by observing the behavior of the running component. We show how the model built at run time can be enriched through new observations (dynamic model update). We also use the inferred model to perform run-time verification. That is, we try to identify if any changes are made to the component that modify its original behavior, contradict the previous observations, and invalidate the inferred model.
This research has been partially funded by the European Commission, Programme IDEAS-ERC, Project 227977-SMScom.
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
Oracle, java se 6.0 doc. (2011), http://download.oracle.com/javase/6/docs/index.html
Spy at runtime (2011), http://home.dei.polimi.it/mocci/spy/runtime/
Baresi, L., Guinea, S.: Self-supervising bpel processes. In: IEEE TSE (2011)
Dallmeier, V., Knopp, N., Mallon, C., Hack, S., Zeller, A.: Generating test cases for specification mining. In: ISSTA 2010, Trento, Italy (2010)
de Caso, G., Braberman, V., Garbervetsky, D., Uchitel, S.: Automated abstractions for contract validation. In: IEEE TSE (2010)
Di Nitto, E., Ghezzi, C., Metzger, A., Papazoglou, M., Pohl, K.: A journey to highly dynamic, self-adaptive service-based applications. In: ASE (2008)
Ghezzi, C., Mocci, A., Monga, M.: Synthesizing intensional behavior models by graph transformation. In: ICSE 2009, Vancouver, Canada (2009)
Guttag, J.V., Liskov, B.: Program Development in Java: Abstraction, Specification and Object-Oriented Design. Addison-Wesley (2001)
Hooman, J., Hendriks, T.: Model-based run-time error detection. In: Models@run.time 2007, Nashville, USA (2007)
Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press (2006)
Maoz, S.: Using model-based traces as runtime models. Computer (2009)
Mocci, A.: Behavioral Modeling, Inference and Validation for Stateful Component Specifications. Ph.D. thesis, Politecnico di Milano, Milano, Italy (2010)
Morin, B., Barais, O., Jezequel, J.-M., Fleurey, F., Solberg, A.: Models@ run.time to support dynamic adaptation. Computer 42(10), 44–51 (2009)
Murphy, C., Kaiser, G., Vo, I., Chu, M.: Quality assurance of software applications using the in vivo testing approach. In: ICST 2009, Denver, Colorado (2009)
Strom, R.E., Yemini, S.: Typestate: A programming language concept for enhancing software reliability. In: IEEE TSE (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ghezzi, C., Mocci, A., Sangiorgio, M. (2012). Runtime Monitoring of Functional Component Changes with Behavior Models. In: Kienzle, J. (eds) Models in Software Engineering. MODELS 2011. Lecture Notes in Computer Science, vol 7167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29645-1_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-29645-1_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29644-4
Online ISBN: 978-3-642-29645-1
eBook Packages: Computer ScienceComputer Science (R0)