{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:49:08Z","timestamp":1725472148918},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540489283"},{"type":"electronic","value":"9783540489290"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11925040_3","type":"book-chapter","created":{"date-parts":[[2006,11,1]],"date-time":"2006-11-01T05:15:01Z","timestamp":1162358101000},"page":"26-41","source":"Crossref","is-referenced-by-count":2,"title":["A Rule Markup Language and Its Application to UML"],"prefix":"10.1007","author":[{"given":"Joost","family":"Jacob","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"AML website. url: \n                  \n                    http:\/\/homepages.cwi.nl\/jacob\/aml"},{"key":"3_CR2","unstructured":"The Archimate project. url: \n                  \n                    http:\/\/www.telin.nl\/NetworkedBusiness\/Archimate\/ENindex.htm"},{"issue":"1","key":"3_CR3","doi-asserted-by":"publisher","first-page":"19","DOI":"10.2498\/cit.2002.01.02","volume":"10","author":"A. Berlea","year":"2002","unstructured":"Berlea, A., Seidl, H.: fxt a transformation language for XML documents. Journal of Computing and Information Technology\u00a010(1), 19\u201335 (2002)","journal-title":"Journal of Computing and Information Technology"},{"key":"3_CR4","unstructured":"Bzivin, J., Dup, G., Jouault, F., Pitette, G., Rougui, J.: First experiments with the ATL model transformation language: Transforming XSLT into XQuery. In: OOPSLA 2003 Workshop, Anaheim, California, October 27 (2003), \n                  \n                    http:\/\/modelware.inria.fr\/rubrique12.html"},{"issue":"2","key":"3_CR5","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-39656-7_3","volume-title":"Formal Methods for Components and Objects","author":"W. Damm","year":"2003","unstructured":"Damm, W., Josko, B., Pnueli, A., Votintseva, A.: Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 71\u201398. Springer, Heidelberg (2003)"},{"key":"3_CR7","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Workshop on Software Model-Checking, associated with CAV 2001","author":"M. Bozga","year":"2001","unstructured":"Bozga, M., Graf, S., Mounier, L.: Automated validation of distributed software using the IF environment. In: Stoller, S.D., Visser, W. (eds.) CAV 2001. Electronic Notes in Theoretical Computer Science, vol.\u00a055. Elsevier Science Publishers, Amsterdam (2001)"},{"key":"3_CR8","unstructured":"UML Kernel model semantics demonstration. url: \n                  \n                    http:\/\/homepages.cwi.nl\/~jacob\/km\/cgikm.html"},{"key":"3_CR9","unstructured":"Mathematical markup language (MathML) Version 2.0 (2nd Edition), W3C recommendation (August 2003), url: \n                  \n                    http:\/\/www.w3.org\/Math\/"},{"key":"3_CR10","unstructured":"OMEGA project: correct development of real-time embedded systems. url: \n                  \n                    http:\/\/www-omega.imag.fr"},{"key":"3_CR11","unstructured":"The object management group (OMG). url: \n                  \n                    http:\/\/www.omg.org\/"},{"key":"3_CR12","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN 19, Department of Computer Science, University of Aarhus, Denmark (1981)"},{"key":"3_CR13","unstructured":"Owre, S., Shankar, N., Rushby, J.M., Stringer-Calvert, D.W.J.: PVS system guide version 2.4 (December 2001), url: \n                  \n                    http:\/\/pvs.csl.sri.com\/"},{"key":"3_CR14","unstructured":"van Rossum, G.: Python reference manual. Centrum voor Wiskunde en Informatica (CWI), report ISSN 0169-118X (April 1995), url: \n                  \n                    http:\/\/www.python.org\/"},{"key":"3_CR15","unstructured":"Clark, J.: The design of RELAX NG. (December 6, 2001), url: http:\/\/ \n                  \n                    http:\/\/www.thaiopensource.com\/relaxng\/design.html"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/3-540-58402-1_10","volume-title":"Programming Language Implementation and Logic Programming","author":"M. Pettersson","year":"1994","unstructured":"Pettersson, M.: RML - A new language and implementation for natural semantics. In: Penjam, J. (ed.) PLILP 1994. LNCS, vol.\u00a0844, pp. 117\u2013131. Springer, Heidelberg (1994)"},{"key":"3_CR17","unstructured":"RML website. url: \n                  \n                    http:\/\/homepages.cwi.nl\/~jacob\/rml"},{"key":"3_CR18","unstructured":"The rule markup initiative community. url: \n                  \n                    http:\/\/www.dfki.uni-kl.de\/ruleml\/"},{"key":"3_CR19","volume-title":"The unified modeling language reference manual","author":"G. Booch","year":"1999","unstructured":"Booch, G., Jacobson, I., Rumbaugh, J.: The unified modeling language reference manual. Addison-Wesley, Reading (1999)"},{"key":"3_CR20","unstructured":"World wide web consortium (W3C). url: \n                  \n                    http:\/\/www.w3c.org"},{"key":"3_CR21","unstructured":"XML metadata interchange (XMI) v2.0, OMG (May 2003), url: \n                  \n                    http:\/\/www.omg.org\/technology\/documents\/formal\/xmi.htm"},{"key":"3_CR22","unstructured":"Extensible markup language (XML) 1.0 (Second Edition), W3C recommendation (October 2000), url: \n                  \n                    http:\/\/www.w3c.org\/XML\/"},{"key":"3_CR23","unstructured":"Costello, R.L.: XML schema tutorial, W3C (September 2001), \n                  \n                    http:\/\/www.w3.org\/XML\/Schema"},{"key":"3_CR24","unstructured":"XSL transformations (XSLT) version 1.0, W3C recommendation (November 1999), url: \n                  \n                    http:\/\/www.w3c.org\/TRxslt"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11925040_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:45:14Z","timestamp":1619509514000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11925040_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540489283","9783540489290"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11925040_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}