{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:41:47Z","timestamp":1725896507986},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642314902"},{"type":"electronic","value":"9783642314919"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31491-9_29","type":"book-chapter","created":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T21:28:19Z","timestamp":1340314099000},"page":"384-399","source":"Crossref","is-referenced-by-count":11,"title":["OCL-Based Runtime Monitoring of Applications with Protocol State Machines"],"prefix":"10.1007","author":[{"given":"Lars","family":"Hamann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oliver","family":"Hofrichter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Gogolla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-71209-1_12","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Anand","year":"2007","unstructured":"Anand, S., P\u0103s\u0103reanu, C.S., Visser, W.: JPF\u2013SE: A Symbolic Execution Extension to Java PathFinder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 134\u2013138. Springer, Heidelberg (2007)"},{"key":"29_CR2","unstructured":"Avila, C., Sarcar, A., Cheon, Y., Yeep, C.: Runtime Constraint Checking Approaches for OCL, A Critical Comparison. In: SEKE (2010)"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Balasubramanian, D., Pasareanu, C.S., Whalen, M.W., Karsai, G., Lowry, M.R.: Polyglot: modeling and analysis for multiple Statechart formalisms. In: Dwyer, M.B., Tip, F. (eds.) ISSTA, pp. 45\u201355. ACM (2011)","DOI":"10.1145\/2001420.2001427"},{"key":"29_CR4","unstructured":"Balz, M., Striewe, M., Goedicke, M.: Monitoring Model Specifications in Program Code Patterns. In: Proc. of the 5th Int. WS Models@run.time, pp. 60\u201371 (2010)"},{"key":"29_CR5","volume-title":"ESEC\/FSE 2011","author":"E. Bodden","year":"2011","unstructured":"Bodden, E.: Stateful breakpoints: a practical approach to defining parameterized runtime monitors. In: ESEC\/FSE 2011. ACM, New York (2011)"},{"issue":"3","key":"29_CR6","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1093\/logcom\/exn077","volume":"20","author":"E. Bodden","year":"2010","unstructured":"Bodden, E., Hendren, L.J., Lam, P., Lhot\u00e1k, O., Naeem, N.A.: Collaborative Runtime Verification with Tracematches. J. Log. Comput.\u00a020(3), 707\u2013723 (2010)","journal-title":"J. Log. Comput."},{"issue":"9","key":"29_CR7","doi-asserted-by":"publisher","first-page":"1459","DOI":"10.1016\/j.jss.2009.03.009","volume":"82","author":"J. Cabot","year":"2009","unstructured":"Cabot, J., Teniente, E.: Incremental integrity checking of UML\/OCL conceptual schemas. Journal of Systems and Software\u00a082(9), 1459\u20131478 (2009)","journal-title":"Journal of Systems and Software"},{"key":"29_CR8","unstructured":"Demuth, B., Wilke, C.: Model and object verification by using Dresden OCL. In: Proceedings of the Russian-German Workshop Innovation Information Technologies: Theory and Practice, Ufa, Russia, pp. 687\u2013690 (2009)"},{"key":"29_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/11663430_2","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"W.J. Dzidek","year":"2006","unstructured":"Dzidek, W.J., Briand, L.C., Labiche, Y.: Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 10\u201319. Springer, Heidelberg (2006)"},{"key":"29_CR10","first-page":"313","volume-title":"Proc. of ICSE 2007","author":"L. Froihofer","year":"2007","unstructured":"Froihofer, L., Glos, G., Osrael, J., Goeschka, K.M.: Overview and Evaluation of Constraint Validation Approaches in Java. In: Proc. of ICSE 2007, pp. 313\u2013322. IEEE Computer Society, Washington, DC (2007)"},{"key":"29_CR11","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M. Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming\u00a069, 27\u201334 (2007)","journal-title":"Science of Computer Programming"},{"key":"29_CR12","unstructured":"Gogolla, M., Hamann, L., Xu, J., Zhang, J.: Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques. In: Proc. 10th Int. Workshop on Graph Transformation and Visual Modeling Techniques\u00a0(GT-VMT 2011) (2011)"},{"key":"29_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-642-02949-3_8","volume-title":"Tests and Proofs","author":"M. Gogolla","year":"2009","unstructured":"Gogolla, M., Kuhlmann, M., Hamann, L.: Consistency, Independence and Consequences in UML and OCL Models. In: Dubois, C. (ed.) TAP 2009. LNCS, vol.\u00a05668, pp. 90\u2013104. Springer, Heidelberg (2009)"},{"key":"29_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-89247-2_10","volume-title":"Runtime Verification","author":"M. Gopinathan","year":"2008","unstructured":"Gopinathan, M., Rajamani, S.K.: Runtime Monitoring of Object Invariants with Guarantee. In: Leucker, M. (ed.) RV 2008. LNCS, vol.\u00a05289, pp. 158\u2013172. Springer, Heidelberg (2008)"},{"key":"29_CR15","doi-asserted-by":"crossref","unstructured":"Hamann, L., Gogolla, M., Kuhlmann, M.: OCL-Based Runtime Monitoring of JVM Hosted Applications. In: Proc. WS OCL and Textual Modelling. ECEASST (2011)","DOI":"10.1007\/978-3-642-31491-9_29"},{"key":"29_CR16","doi-asserted-by":"crossref","unstructured":"Hamann, L., Vid\u00e1cs, L., Gogolla, M., Kuhlmann, M.: Abstract Runtime Monitoring with USE. In: Proc. CSMR 2012, pp. 549\u2013552 (2012)","DOI":"10.1109\/CSMR.2012.73"},{"key":"29_CR17","unstructured":"Katoen, J.P., Baier, C.: Principles of Model Checking. MIT Press (2008)"},{"issue":"1-3","key":"29_CR18","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/j.scico.2004.05.015","volume":"55","author":"G.T. Leavens","year":"2005","unstructured":"Leavens, G.T., Cheon, Y., Clifton, C., Ruby, C., Cok, D.R.: How the design of JML accommodates both runtime assertion checking and formal verification. Sci. Comput. Program.\u00a055(1-3), 185\u2013208 (2005)","journal-title":"Sci. Comput. Program."},{"key":"29_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/978-3-642-24485-8_30","volume-title":"Model Driven Engineering Languages and Systems","author":"Y. Moffett","year":"2011","unstructured":"Moffett, Y., Beaulieu, A., Dingel, J.: Verifying UML-RT Protocol Conformance Using Model Checking. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 410\u2013424. Springer, Heidelberg (2011)"},{"key":"29_CR20","unstructured":"UML Superstructure 2.2. Object Management Group (OMG) (February 2009), \n                  \n                    http:\/\/www.omg.org\/spec\/UML\/2.2\/Superstructure\/PDF\/"},{"key":"29_CR21","unstructured":"Object Constraint Language 2.2. Object Management Group (OMG) (February 2010), \n                  \n                    http:\/\/www.omg.org\/spec\/OCL\/2.2\/"},{"key":"29_CR22","unstructured":"Oracle: JavaTMPlatform Debugger Architecture - Structure Overview (2011), \n                  \n                    http:\/\/download.oracle.com\/javase\/6\/docs\/technotes\/guides\/jpda\/architecture.html"},{"key":"29_CR23","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1109\/ICST.2010.62","volume-title":"Int. Conf. on Software Testing, Verification, and Validation","author":"I. Porres","year":"2010","unstructured":"Porres, I., Rauf, I.: From Nondeterministic UML Protocol Statemachines to Class Contracts. In: Int. Conf. on Software Testing, Verification, and Validation, pp. 107\u2013116. IEEE Computer Society, Los Alamitos (2010)"},{"key":"29_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-642-12261-3_16","volume-title":"Models in Software Engineering","author":"S.M.A. Shah","year":"2010","unstructured":"Shah, S.M.A., Anastasakis, K., Bordbar, B.: From UML to Alloy and Back Again. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol.\u00a06002, pp. 158\u2013171. Springer, Heidelberg (2010)"},{"key":"29_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-21768-5_12","volume-title":"Tests and Proofs","author":"M. Soeken","year":"2011","unstructured":"Soeken, M., Wille, R., Drechsler, R.: Encoding OCL Data Types for SAT-Based Verification of UML\/OCL Models. In: Gogolla, M., Wolff, B. (eds.) TAP 2011. LNCS, vol.\u00a06706, pp. 152\u2013170. Springer, Heidelberg (2011)"},{"key":"29_CR26","unstructured":"Song, H., Huang, G., Chauvel, F., Sun, Y.: Applying MDE Tools at Runtime: Experiments upon Runtime Models. In: Models@run.time, pp. 25\u201336 (2010)"},{"issue":"2","key":"29_CR27","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G.P., Park, S., Lerda, F.: Model Checking Programs. Autom. Softw. Eng.\u00a010(2), 203\u2013232 (2003)","journal-title":"Autom. Softw. Eng."},{"key":"29_CR28","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML, 2nd edn. Addison-Wesley (2003)"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31491-9_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:03:34Z","timestamp":1620129814000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31491-9_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642314902","9783642314919"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31491-9_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}