{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:36:18Z","timestamp":1725896178057},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642371851"},{"type":"electronic","value":"9783642371868"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37186-8_23","type":"book-chapter","created":{"date-parts":[[2013,4,9]],"date-time":"2013-04-09T23:01:39Z","timestamp":1365548499000},"page":"350-361","source":"Crossref","is-referenced-by-count":0,"title":["Misbehavior Discovery through Unified Software-Knowledge Models"],"prefix":"10.1007","author":[{"given":"Iaakov","family":"Exman","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"2004","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Boston (2004)","edition":"2"},{"key":"23_CR2","unstructured":"UML \u2013 Unifying Modelling Language \u2013 Version 2.4 Beta 2, OMG \u2013 Object Management Group Specification (March 2011), Web site: \n                    \n                      http:\/\/www.omg.org\/spec\/UML\/2.4\/"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-540-30080-9_6","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"B. Selic","year":"2004","unstructured":"Selic, B.: On the Semantic Foundations of Standard UML 2.0. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 181\u2013199. Springer, Heidelberg (2004)"},{"key":"23_CR4","volume-title":"Design Patterns \u2013 Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns \u2013 Elements of Reusable Object-Oriented Software. Addison-Wesley, Boston (1995)"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Harel, D.: On Visual Formalisms. Comm. of the ACM\u00a031(5) (1988)","DOI":"10.1145\/42411.42414"},{"key":"23_CR6","unstructured":"Exman, I.: Systematic Construction of Statecharts for Design Patterns (to be published)"},{"key":"23_CR7","volume-title":"Computer Networking \u2013 A Top-Down Approach","author":"J.F. Kurose","year":"2010","unstructured":"Kurose, J.F., Ross, K.W.: Computer Networking \u2013 A Top-Down Approach, 5th edn. Pearson, Boston (2010)","edition":"5"},{"key":"23_CR8","unstructured":"Weisstein, E.W.: Graph, From MathWorld \u2013 A Wolfram Web Resource, Web Site: \n                    \n                      http:\/\/mathworld.wolfram.com\/Graph.html"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Teplitsky, M., Exman, I.: Measuring Behavioral Software Design Patterns. In: Proc. IEEEI-2006, 24th IEEE Convention of Electrical & Electronics Engineers in Israel, Eilat, Israel, pp. 384\u2013388 (2006)","DOI":"10.1109\/EEEI.2006.321116"},{"key":"23_CR10","unstructured":"Design Pattern Ontologies, \n                    \n                      http:\/\/www.cs.uwm.edu\/~alnusair\/ontologies\/patterns.html"},{"key":"23_CR11","volume-title":"The Design Pattern Intent Ontology \u2013 Finding the Pattern you need","author":"H. Kampffmeyer","year":"2007","unstructured":"Kampffmeyer, H.: The Design Pattern Intent Ontology \u2013 Finding the Pattern you need. VDM Verlag Dr. Muller, Saarbrucken (2007)"},{"key":"23_CR12","unstructured":"Yacoub, S.M., Ammar, H.H.: A Pattern Language of Statecharts. In: Proc. PLoP 1998 Conference (1998)"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Huang, H.D., Chuang, T.Y., Tsai, Y.L., Lee, C.S.: Ontology-based Intelligent System for Malware Behavioral Analysis. In: Proc. WCCI 2010 (2010)","DOI":"10.1109\/FUZZY.2010.5584325"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Barcellos, M.P., Falbo, R.A., Rocha, A.R.: A Well-founded Software Process Behavior Ontology to Support Business Goals Monitoring in High Maturity Software Organizations. In: 14th IEEE Int. Enterprise Distributed Object Computing Conf. Workshops, pp. 253\u2013262 (2010)","DOI":"10.1109\/EDOCW.2010.15"},{"key":"23_CR15","volume-title":"Model Checking","author":"E.M. Clarke Jr.","year":"1999","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"23_CR16","first-page":"1","volume":"24","author":"M. Clavel","year":"2009","unstructured":"Clavel, M., Egea, M., de Dios, M.A.G.: Checking Unsatisfiability for OCL Constraints. Elec. Comm. EAAST\u00a024, 1\u201313 (2009)","journal-title":"Elec. Comm. EAAST"},{"key":"23_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/11901181_37","volume-title":"Conceptual Modeling - ER 2006","author":"A. Queralt","year":"2006","unstructured":"Queralt, A., Teniente, E.: Reasoning on UML Class Diagrams with OCL Constraints. In: Embley, D.W., Oliv\u00e9, A., Ram, S. (eds.) ER 2006. LNCS, vol.\u00a04215, pp. 497\u2013512. Springer, Heidelberg (2006)"},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Flake, S., Mueller, W.: Formal semantics of static and temporal state-oriented OCL constraints. Softw. Syst. Model (2003)","DOI":"10.1007\/s10270-003-0026-x"}],"container-title":["Communications in Computer and Information Science","Knowledge Discovery, Knowledge Engineering and Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37186-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T01:38:32Z","timestamp":1557625112000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37186-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642371851","9783642371868"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37186-8_23","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}