{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:13:29Z","timestamp":1773148409768,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642166112","type":"print"},{"value":"9783642166129","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16612-9_16","type":"book-chapter","created":{"date-parts":[[2010,11,17]],"date-time":"2010-11-17T11:45:14Z","timestamp":1289994314000},"page":"198-213","source":"Crossref","is-referenced-by-count":6,"title":["Checking the Correspondence between UML Models and Implementation"],"prefix":"10.1007","author":[{"given":"Selim","family":"Ciraci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Somayeh","family":"Malakuti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shmuel","family":"Katz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehmet","family":"Aksit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"UML: Unified modeling language, http:\/\/www.uml.org"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Harel, D.: Lscs: Breathing life into message sequence charts. Formal Methods in System Design\u00a019, 45\u201380 (2001)","journal-title":"Formal Methods in System Design"},{"key":"16_CR3","first-page":"1","volume":"7","author":"J. Kienzle","year":"2010","unstructured":"Kienzle, J., Guelfi, N., Mustafiz, S.: Crisis Management Systems: A Case Study for Aspect-Oriented Modeling. Trans. on Aspect-Oriented Software Development\u00a07, 1\u201322 (2010)","journal-title":"Trans. on Aspect-Oriented Software Development"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Harrison, W., Barton, C., Raghavachari, M.: Mapping uml designs to java. In: OOPSLA 2000, pp. 178\u2013187. ACM, New York (2000)","DOI":"10.1145\/353171.353184"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/j.entcs.2007.08.033","volume":"195","author":"T. Massoni","year":"2008","unstructured":"Massoni, T., Gheyi, R., Borba, P.: A framework for establishing formal conformance between object models and object-oriented programs. Elec. Notes Theor. Comp. Sci.\u00a0195, 189\u2013209 (2008)","journal-title":"Elec. Notes Theor. Comp. Sci."},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Crane, M.L., Dingel, J.: Runtime conformance checking of objects using alloy. In: RV 2003, pp. 2\u201321. Springer, Heidelberg (2003)","DOI":"10.1016\/S1571-0661(04)81040-5"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-540-71156-8_15","volume-title":"Reliable Systems on Unreliable Networked Platforms","author":"M.T. Shing","year":"2007","unstructured":"Shing, M.T., Drusinsky, D.: Architectural design, behavior modeling and run-time verification of network embedded systems. In: Kordon, F., Sztipanovits, J. (eds.) Monterey Workshop 2005. LNCS, vol.\u00a04322, pp. 281\u2013303. Springer, Heidelberg (2007)"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Drusinsky, D.: Semantics and runtime monitoring of tlcharts: Statechart automata with temporal logic conditioned transitions. In: RV 2004, pp. 3\u201321. Springer, Heidelberg (2005)","DOI":"10.1016\/j.entcs.2004.01.025"},{"key":"16_CR9","unstructured":"Stateflow, http:\/\/www.mathworks.com\/products\/stateflow\/"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Seehusen, F., Stolen, K.: A transformational approach to facilitate monitoring of high-level policies. In: Workshop on Policies for Distributed Systems and Networks, pp. 70\u201373 (2008)","DOI":"10.1109\/POLICY.2008.21"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-540-89247-2_9","volume-title":"Runtime Verification","author":"J. Simmonds","year":"2008","unstructured":"Simmonds, J., Chechik, M., Nejati, S., Litani, E., O\u2019Farrell, B.: Property patterns for runtime monitoring of web service conversations. In: Leucker, M. (ed.) RV 2008. LNCS, vol.\u00a05289, pp. 137\u2013157. Springer, Heidelberg (2008)"},{"key":"16_CR12","first-page":"181","volume-title":"ISSTA 2006","author":"K. Kiviluoma","year":"2006","unstructured":"Kiviluoma, K., Koskinen, J., Mikkonen, T.: Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects. In: ISSTA 2006, pp. 181\u2013190. ACM, New York (2006)"},{"key":"16_CR13","first-page":"31","volume-title":"ISSRE 2009","author":"S. Malakuti","year":"2009","unstructured":"Malakuti, S., Bockisch, C., Aksit, M.: Applying the composition filter model for runtime verification of multiple-language software. In: ISSRE 2009, pp. 31\u201340. IEEE, Los Alamitos (2009)"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Kim, M., Viswanathan, M., Kannan, S., Lee, I., Sokolsky, O.: Java-mac: a run-time assurance approach for java programs. Formal methods in system design\u00a024 (2004)","DOI":"10.1023\/B:FORM.0000017719.43755.7c"},{"key":"16_CR15","volume-title":"OOPSLA 2007","author":"F. Chen","year":"2007","unstructured":"Chen, F., Rosu, G.: Mop: an efficient and generic runtime verification framework. In: OOPSLA 2007. ACM, New York (2007)"},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1023\/B:FORM.0000017721.39909.4b","volume":"24","author":"K. Havelund","year":"2004","unstructured":"Havelund, K., Rosu, G.: An overview of the runtime verification tool java pathexplorer. Formal methods in system design\u00a024, 189\u2013215 (2004)","journal-title":"Formal methods in system design"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/3-540-44685-0_5","volume-title":"CONCUR 2001 - Concurrency Theory","author":"J. Hatcliff","year":"2001","unstructured":"Hatcliff, J., Dwyer, M.B.: Using the bandera tool set to model-check properties of concurrent java software. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 39\u201358. Springer, Heidelberg (2001)"},{"key":"16_CR18","unstructured":"Gulesir, G.: Evolvable Behavior Specifications Using Context-Sensitive Wildcards. PhD thesis, University of Twente (2008)"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Cook, T., Drusinsky, D., Shing, M.: Specification, validation and run-time monitoring of soa based system-of-systems temporal behaviors. In: ICSSE 2007, pp. 16\u201318 (2007)","DOI":"10.1109\/SYSOSE.2007.4304313"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/11691617_19","volume-title":"Model Checking Software","author":"H. Kastenberg","year":"2006","unstructured":"Kastenberg, H., Rensink, A.: Model checking dynamic states in groove. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol.\u00a03925, pp. 299\u2013305. Springer, Heidelberg (2006)"},{"key":"16_CR21","unstructured":"de Roo, A., Hendriks, M., Havinga, W., Durr, P., Bergmans, L.: Compose*: a language- and platform-independent aspect compiler for composition filters. In: WASDeTT 2008 (2008)"},{"key":"16_CR22","unstructured":"ArgoUML, http:\/\/argouml.tigris.org"},{"key":"16_CR23","unstructured":"Ciraci, S.: Graph Based Verification of Software Evolution Requirements. PhD thesis, Univ. of Twente, Enschede, CTIT Ph.D. thesis series no. 09-162 (2009)"},{"key":"16_CR24","unstructured":"GrACE: Graph-based adaptation, configuration and evolution modeling, http:\/\/trese.cs.utwente.nl\/willevolve\/"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16612-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T09:57:36Z","timestamp":1559815056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16612-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642166112","9783642166129"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16612-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}