Abstract
UML statecharts are a widely accepted standard for modeling software behavior. But, despite the increasing importance of semantics for software behavior, semantics has been treated within UML as mere reasoning add-ons. We propose fully integration of UML statecharts with behavioral knowledge obtained from novel behavioral ontologies into a Unified Software-Knowledge model. These unified models have two important characteristics: first, misbehaviors are explicitly represented; second, behavioral ontologies generate graphs isomorphic to UML statecharts, by construction. This approach is applicable to run time measurements, to check the actual software behavior correctness and efficiency. Measurement discrepancies may trigger knowledge discovery mechanisms to update the unified models. The approach is illustrated with statechart examples from the domain of GOF software design patterns.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Boston (2004)
UML – Unifying Modelling Language – Version 2.4 Beta 2, OMG – Object Management Group Specification (March 2011), Web site: http://www.omg.org/spec/UML/2.4/
Selic, B.: On the Semantic Foundations of Standard UML 2.0. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 181–199. Springer, Heidelberg (2004)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns – Elements of Reusable Object-Oriented Software. Addison-Wesley, Boston (1995)
Harel, D.: On Visual Formalisms. Comm. of the ACM 31(5) (1988)
Exman, I.: Systematic Construction of Statecharts for Design Patterns (to be published)
Kurose, J.F., Ross, K.W.: Computer Networking – A Top-Down Approach, 5th edn. Pearson, Boston (2010)
Weisstein, E.W.: Graph, From MathWorld – A Wolfram Web Resource, Web Site: http://mathworld.wolfram.com/Graph.html
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–388 (2006)
Design Pattern Ontologies, http://www.cs.uwm.edu/~alnusair/ontologies/patterns.html
Kampffmeyer, H.: The Design Pattern Intent Ontology – Finding the Pattern you need. VDM Verlag Dr. Muller, Saarbrucken (2007)
Yacoub, S.M., Ammar, H.H.: A Pattern Language of Statecharts. In: Proc. PLoP 1998 Conference (1998)
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)
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–262 (2010)
Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
Clavel, M., Egea, M., de Dios, M.A.G.: Checking Unsatisfiability for OCL Constraints. Elec. Comm. EAAST 24, 1–13 (2009)
Queralt, A., Teniente, E.: Reasoning on UML Class Diagrams with OCL Constraints. In: Embley, D.W., Olivé, A., Ram, S. (eds.) ER 2006. LNCS, vol. 4215, pp. 497–512. Springer, Heidelberg (2006)
Flake, S., Mueller, W.: Formal semantics of static and temporal state-oriented OCL constraints. Softw. Syst. Model (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Exman, I. (2013). Misbehavior Discovery through Unified Software-Knowledge Models. In: Fred, A., Dietz, J.L.G., Liu, K., Filipe, J. (eds) Knowledge Discovery, Knowledge Engineering and Knowledge Management. IC3K 2011. Communications in Computer and Information Science, vol 348. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37186-8_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-37186-8_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-37185-1
Online ISBN: 978-3-642-37186-8
eBook Packages: Computer ScienceComputer Science (R0)