Engineering runtime requirements-monitoring systems using MDA technologies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3705 LNCS, Issue , 2005, Pages 319-333

  Skene, James ^a   Emmerich, Wolfgang ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; JAVA PROGRAMMING LANGUAGE; METADATA; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

CONSISTENCY CHECKING; ENTERPRISE JAVABEANS APPLICATION; MODEL DRIVEN ARCHITECTURE (MDA) TECHNOLOGY; SLANG SERVICE-LEVEL AGREEMENT LANGUAGE;

COMPUTER ARCHITECTURE;

EID: 33646183788     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11580850_17     Document Type: Conference Paper

References (23)

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. hrefhttp://mdr.netbeans.org/org/.
11. The Velocity Template Engine v1.4. http://jakarta.apache.org/velocity/.
12. David Akehurst, Peter Linington, and Octavian Patrascoiu. OCL 2.0: Implementing the Standard. Technical report, Computer Laboratory, University of Kent, November 2003.
13. A. S Evans and S. Kent. Meta-modelling semantics of UML: the pUML approach. In 2nd International Conference on the Unified Modeling Language, volume 1723 of Lecture Notes in Computer Science (LNCS), pages 140-155, Colorado, USA, 1999. Springer-Verlag.
14. M. S. Feather, S. Fickas, A. van Lamsweerde, and C. Ponsard. Reconciling system requirements and runtime behavior. In Proceedings of the 9th International Workshop on Software Specification and Design, pages 50-59, 1998.
15. Klaus Havelund and Grigore Rosu. Monitoring Java programs with Java pathexplorer. In Electronic Notes in Theoretical Computer Science, volume 55. Elsevier Science Publishers, 2001.
16. Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, and Mahesh Viswanathan. Java-mac: a run-time assurance tool for Java programs. In Klaus Havelund and Grigore Rosu, editors, Electronic Notes in Theoretical Computer Science, volume 55. Elsevier Science Publishers, 2001.
17. Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, and Mahesh Viswanathan. Computational analysis of run-time monitoring - fundamentals of java-mac. In Electronic Notes in Theoretical Computer Science, volume 70. Elsevier Science Publishers, 2002.
18. P. F. Linington, Z. Milosevic, J. Cole, S. Gibson, S. Kilkarni, and S. Neal. A unified behavioural model and a contract for extended enterprise. In Data and Knowledge Engineering, volume 51. Elsevier Science Publishers, 2004.
19. Peter F. Linington. Automating support for e-business contracts. In Proc. of the EDOC 2004 Workshop on Contract Architectures and Languages, Monterey, California. IEEE Computer Society Press, 2004.
20. The Object Management Group (OMG). The Meta-Object Facility v1.4, formal/2002-04-03 edition, April 2002.
21. The Object Management Group (OMG). XML Metadata Interchange (XMI), v1.2, formal/02-01-01 edition, January 2002.
22. The Object Management Group (OMG). The Unified Modelling Language v1.5, formal/2003-03-01 edition, March 2003.
23. J. Skene, D. Lamanna, and W. Emmerich. Precise service level agreements. In Proc. of the 26th Int. Conference on Software Engineering, Edinburgh, UK, pages 179-188. IEEE Computer Society Press, May 2004.