Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies

  • Conference paper
Trustworthy Global Computing (TGC 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3705))

Included in the following conference series:

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

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. AndroMDA code generation tool, http://www.andromda.org/

  2. Apache Jakarta Tomcat servlet container, http://jakarta.apache.org/tomcat/

  3. Apache JMeter, http://jakarta.apache.org/jmeter/

  4. Java 2 Enterprise Edition, http://java.sun.com/j2ee/index.jsp

  5. Java Server Pages JSP v. 2.0 specification, http://java.sun.com/products/jsp/

  6. Novosoft Metadata Framework and UML Library (NSUML), http://nsuml.sourceforge.net/

  7. PHP: PHP Hypertext Preprocessor, http://www.php.net/

  8. The Eclipse Modelling Framework (EMF), http://www.eclipse.org/emf/

  9. The Kent Modelling Framework (KMF), http://www.cs.kent.ac.uk/projects/kmf/documents.html

  10. The Netbeans Meta-Data Repository (MDR) Project, http://mdr.netbeans.org/

  11. The Velocity Template Engine v1.4, http://jakarta.apache.org/velocity/

  12. Akehurst, D., Linington, P., Patrascoiu, O.: OCL 2.0: Implementing the Standard. Technical report, Computer Laboratory, University of Kent (November 2003)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. Havelund, K., Rosu, G.: Monitoring java programs with java pathexplorer. Electronic Notes in Theoretical Computer Science, vol. 55. Elsevier Science Publishers, Amsterdam (2001)

    Google Scholar 

  16. 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)

    Google Scholar 

  17. 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)

    Google Scholar 

  18. 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)

    Google Scholar 

  19. 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)

    Google Scholar 

  20. The Object Management Group (OMG). The Meta-Object Facility v1.4, formal/2002-04-03 edition (April 2002)

    Google Scholar 

  21. The Object Management Group (OMG). XML Metadata Interchange (XMI), v1.2, formal/02-01-01 edition (January 2002)

    Google Scholar 

  22. The Object Management Group (OMG). The Unified Modelling Language v1.5, formal/2003-03-01 edition (March 2003)

    Google Scholar 

  23. 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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, University College London, Gower St, London, WC1E 6BT, UK

    James Skene & Wolfgang Emmerich

Authors
  1. James Skene
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wolfgang Emmerich
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Sistemi e Informatica, Università di Firenze, Italy

    Rocco De Nicola

  2. Università di Bologna, Italy

    Davide Sangiorgi

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation