Unified Software-knowledge Behavioral Model

Iaakov Exman

2011

Abstract

UML is a standard language for modeling software, consisting of separate diagrams for structure, behavior and reasoning add-ons. But, even though semantics is of increasing importance for software behavior, it is not fully integrated within UML. We propose the integration of UML statecharts with novel behavioral ontologies’ knowledge into a Unified Software-Knowledge model. By construction, behavioral ontologies generate graphs isomorphic to UML statecharts, facilitating their integration. This approach is applied to run time measurements, needed to check the actual software behavior correctness. Measurements discrepancies may trigger knowledge discovery mechanisms to update the behavioral ontologies. The approach is illustrated with statechart examples from the domain of GOF software design patterns.

References

  1. Barcellos, M. P., Falbo, R. A. and 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).
  2. Clavel, M., Egea, M. and de Dios, M. A. G.: Checking Unsatisfiability for OCL Constraints, Elec. Comm. EAAST, Vol. 24, 1-13 (2009).
  3. Clarke Jr., E. M., Grumberg, O. and Peled, D. A.: Model Checking, MIT Press, Cambridge, MA, (1999).
  4. Design Pattern Ontologies, http://www.cs.uwm.edu/alnusair/ontologies/patterns.html
  5. Flake, S. and Mueller, W.: Formal semantics of static and temporal state-oriented OCL constraints, Softw Syst Model (2003).
  6. Gamma, E., Helm, R., Johnson, R. and Vlissides, J.: Design Patterns - Elements of Reusable Object-Oriented Software, Addison-Wesley, Boston, MA, (1995).
  7. Harel, D.: On Visual Formalisms, Comm. of the ACM, Vol. 31, No 5, (1988).
  8. Huang, H. D., Chuang, T. Y., Tsai, Y. L. and Lee, C. S.: Ontology-based Intelligent System for Malware Behavioral Analysis, in Proc. WCCI2010, (2010).
  9. Kampffmeyer, H.: The Design Pattern Intent Ontology - Finding the Pattern you need, VDM Verlag Dr. Muller, Saarbrucken, Germany, (2007).
  10. Queralt, A. and Tenient, E.: Reasoning on UML Class Diagrams with OCL Constraints, in D. W. Embley, A. Olive, and S. Ram, editors, Conceptual Modeling, ER, LNCS Volume 4215, 497-512 (2006).
  11. Rumbaugh, J., Jacobson, I. and Booch, G.: The Unified Modeling Language Reference Manual, Addison-Wesley, Boston, MA, 2nd ed. (2004).
  12. Selic, B. V.: On the Semantic Foundations of Standard UML 2.0, in M. Bernardo and F. Corradini (Eds.): SFM-RT 2004, LNCS 3185, pp. 181-199 (2004).
  13. Teplitsky, M. and Exman, I.: Measuring Behavioral Software Design Patterns, in Proc. IEEEI-2006, 24th IEEE Convention of Electrical & Electronics Engineers in Israel, pp. 384- 388, Eilat, Israel (2006).
  14. UML - Unifying Modelling Language - Version 2.4 Beta 2 - March 2011, OMG - Object Management Group Specification, Web site: http://www.omg.org/spec/UML/2.4/.
  15. Weisstein, E. W.: Graph, From MathWorld - A Wolfram Web Resource. Web Site: http://mathworld.wolfram.com/Graph.html
  16. Yacoub, S. M. and Ammar, H. H.: A Pattern Language of Statecharts, in Proc. PLoP-98 Conference (1998).
Download


Paper Citation


in Harvard Style

Exman I. (2011). Unified Software-knowledge Behavioral Model . In Proceedings of the 2nd International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2011) ISBN 978-989-8425-82-9, pages 75-83. DOI: 10.5220/0003705000750083


in Bibtex Style

@conference{sky11,
author={Iaakov Exman},
title={Unified Software-knowledge Behavioral Model},
booktitle={Proceedings of the 2nd International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2011)},
year={2011},
pages={75-83},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003705000750083},
isbn={978-989-8425-82-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2011)
TI - Unified Software-knowledge Behavioral Model
SN - 978-989-8425-82-9
AU - Exman I.
PY - 2011
SP - 75
EP - 83
DO - 10.5220/0003705000750083