Abstract
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties that data must exhibit, the OCL. Off-the-shelf tools can generate meta-data repositories and perform consistency checking over the data they contain. In this paper we describe how these tools can be used to implement runtime requirements monitoring of systems by modelling the required behaviour of the system, implementing a meta-data repository to collect system data, and consistency checking the repository to discover violations. We evaluate the approach by implementing a contract checker for the SLAng service-level agreement language, a language defined using a MOF meta-model, and integrating the checker into an Enterprise JavaBeans application. We discuss scalability issues resulting from immaturities in the applied technologies, leading to recommendations for their future development.
This work was partially funded by the TAPAS project, IST-2001-34069.
An erratum to this chapter can be found at http://dx.doi.org/10.1007/11580850_20 .
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.
Similar content being viewed by others
References
AndroMDA code generation tool, http://www.andromda.org/
Apache Jakarta Tomcat servlet container, http://jakarta.apache.org/tomcat/
Apache JMeter, http://jakarta.apache.org/jmeter/
Java 2 Enterprise Edition, http://java.sun.com/j2ee/index.jsp
Java Server Pages JSP v. 2.0 specification, http://java.sun.com/products/jsp/
Novosoft Metadata Framework and UML Library (NSUML), http://nsuml.sourceforge.net/
PHP: PHP Hypertext Preprocessor, http://www.php.net/
The Eclipse Modelling Framework (EMF), http://www.eclipse.org/emf/
The Kent Modelling Framework (KMF), http://www.cs.kent.ac.uk/projects/kmf/documents.html
The Netbeans Meta-Data Repository (MDR) Project, http://mdr.netbeans.org/
The Velocity Template Engine v1.4, http://jakarta.apache.org/velocity/
Akehurst, D., Linington, P., Patrascoiu, O.: OCL 2.0: Implementing the Standard. Technical report, Computer Laboratory, University of Kent (November 2003)
Evans, A.S., Kent, S.: Meta-modelling semantics of UML: the pUML approach. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 140–155. Springer, Heidelberg (1999)
Feather, M.S., Fickas, S., van Lamsweerde, A., Ponsard, C.: Reconciling system requirements and runtime behavior. In: Proceedings of the 9th International Workshop on Software Specification and Design, pp. 50–59 (1998)
Havelund, K., Rosu, G.: Monitoring java programs with java pathexplorer. Electronic Notes in Theoretical Computer Science, vol. 55. Elsevier Science Publishers, Amsterdam (2001)
Kim, M., Kannan, S., Lee, I., Sokolsky, O., Viswanathan, M.: Java-mac: a run-time assurance tool for java programs. In: Havelund, K., Rosu, G. (eds.) Electronic Notes in Theoretical Computer Science, vol. 55. Elsevier, Amsterdam (2001)
Kim, M., Kannan, S., Lee, I., Sokolsky, O., Viswanathan, M.: Computational analysis of run-time monitoring - fundamentals of java-mac. Electronic Notes in Theoretical Computer Science, vol. 70. Elsevier, Amsterdam (2002)
Linington, P.F., Milosevic, Z., Cole, J., Gibson, S., Kilkarni, S., Neal, S.: A unified behavioural model and a contract for extended enterprise. In: Data and Knowledge Engineering, vol. 51. Elsevier, Amsterdam (2004)
Linington, P.F.: Automating support for e-business contracts. In: Proc. of the EDOC 2004 Workshop on Contract Architectures and Languages, Monterey, California. IEEE Computer Society Press, Los Alamitos (2004)
The Object Management Group (OMG). The Meta-Object Facility v1.4, formal/2002-04-03 edition (April 2002)
The Object Management Group (OMG). XML Metadata Interchange (XMI), v1.2, formal/02-01-01 edition (January 2002)
The Object Management Group (OMG). The Unified Modelling Language v1.5, formal/2003-03-01 edition (March 2003)
Skene, J., Lamanna, D., Emmerich, W.: Precise service level agreements. In: Proc. of the 26th Int. Conference on Software Engineering, Edinburgh, UK, May 2004, pp. 179–188. IEEE Computer Society Press, Los Alamitos (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Skene, J., Emmerich, W. (2005). Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies. In: De Nicola, R., Sangiorgi, D. (eds) Trustworthy Global Computing. TGC 2005. Lecture Notes in Computer Science, vol 3705. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11580850_17
Download citation
DOI: https://doi.org/10.1007/11580850_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30007-6
Online ISBN: 978-3-540-31483-7
eBook Packages: Computer ScienceComputer Science (R0)