{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:57:36Z","timestamp":1725569856852},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540300076"},{"type":"electronic","value":"9783540314837"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11580850_17","type":"book-chapter","created":{"date-parts":[[2005,12,6]],"date-time":"2005-12-06T05:50:36Z","timestamp":1133848236000},"page":"319-333","source":"Crossref","is-referenced-by-count":6,"title":["Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies"],"prefix":"10.1007","author":[{"given":"James","family":"Skene","sequence":"first","affiliation":[]},{"given":"Wolfgang","family":"Emmerich","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"AndroMDA code generation tool, \n                  \n                    http:\/\/www.andromda.org\/"},{"key":"17_CR2","unstructured":"Apache Jakarta Tomcat servlet container, \n                  \n                    http:\/\/jakarta.apache.org\/tomcat\/"},{"key":"17_CR3","unstructured":"Apache JMeter, \n                  \n                    http:\/\/jakarta.apache.org\/jmeter\/"},{"key":"17_CR4","unstructured":"Java 2 Enterprise Edition, \n                  \n                    http:\/\/java.sun.com\/j2ee\/index.jsp"},{"key":"17_CR5","unstructured":"Java Server Pages JSP v. 2.0 specification, \n                  \n                    http:\/\/java.sun.com\/products\/jsp\/"},{"key":"17_CR6","unstructured":"Novosoft Metadata Framework and UML Library (NSUML), \n                  \n                    http:\/\/nsuml.sourceforge.net\/"},{"key":"17_CR7","unstructured":"PHP: PHP Hypertext Preprocessor, \n                  \n                    http:\/\/www.php.net\/"},{"key":"17_CR8","unstructured":"The Eclipse Modelling Framework (EMF), \n                  \n                    http:\/\/www.eclipse.org\/emf\/"},{"key":"17_CR9","unstructured":"The Kent Modelling Framework (KMF), \n                  \n                    http:\/\/www.cs.kent.ac.uk\/projects\/kmf\/documents.html"},{"key":"17_CR10","unstructured":"The Netbeans Meta-Data Repository (MDR) Project, \n                  \n                    http:\/\/mdr.netbeans.org\/"},{"key":"17_CR11","unstructured":"The Velocity Template Engine v1.4, \n                  \n                    http:\/\/jakarta.apache.org\/velocity\/"},{"key":"17_CR12","unstructured":"Akehurst, D., Linington, P., Patrascoiu, O.: OCL 2.0: Implementing the Standard. Technical report, Computer Laboratory, University of Kent (November 2003)"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/3-540-46852-8_11","volume-title":"UML 1999 - The Unified Modeling Language. Beyond the Standard","author":"A.S. Evans","year":"1999","unstructured":"Evans, A.S., Kent, S.: Meta-modelling semantics of UML: the pUML approach. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 140\u2013155. Springer, Heidelberg (1999)"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"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\u201359 (1998)","DOI":"10.1109\/IWSSD.1998.667919"},{"key":"17_CR15","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Monitoring java programs with java pathexplorer","author":"K. Havelund","year":"2001","unstructured":"Havelund, K., Rosu, G.: Monitoring java programs with java pathexplorer. Electronic Notes in Theoretical Computer Science, vol.\u00a055. Elsevier Science Publishers, Amsterdam (2001)"},{"key":"17_CR16","volume-title":"Electronic Notes in Theoretical Computer Science","author":"M. Kim","year":"2001","unstructured":"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.\u00a055. Elsevier, Amsterdam (2001)"},{"key":"17_CR17","volume-title":"Electronic Notes in Theoretical Computer Science","author":"M. Kim","year":"2002","unstructured":"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.\u00a070. Elsevier, Amsterdam (2002)"},{"key":"17_CR18","volume-title":"Data and Knowledge Engineering","author":"P.F. Linington","year":"2004","unstructured":"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.\u00a051. Elsevier, Amsterdam (2004)"},{"key":"17_CR19","volume-title":"Proc. of the EDOC 2004 Workshop on Contract Architectures and Languages","author":"P.F. Linington","year":"2004","unstructured":"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)"},{"key":"17_CR20","unstructured":"The Object Management Group (OMG). The Meta-Object Facility v1.4, formal\/2002-04-03 edition (April 2002)"},{"key":"17_CR21","unstructured":"The Object Management Group (OMG). XML Metadata Interchange (XMI), v1.2, formal\/02-01-01 edition (January 2002)"},{"key":"17_CR22","unstructured":"The Object Management Group (OMG). The Unified Modelling Language v1.5, formal\/2003-03-01 edition (March 2003)"},{"key":"17_CR23","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1109\/ICSE.2004.1317440","volume-title":"Proc. of the 26th Int. Conference on Software Engineering","author":"J. Skene","year":"2004","unstructured":"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\u2013188. IEEE Computer Society Press, Los Alamitos (2004)"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11580850_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T04:09:51Z","timestamp":1553227791000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11580850_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540300076","9783540314837"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11580850_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}