Skip to main content
SpringerLink
Log in

Specialization and Validation of Statecharts in OWL

  • Conference paper
Knowledge Engineering and Management by the Masses (EKAW 2010)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6317))

Abstract

It is germane in the engineering process of knowledge bases to represent a model on different abstraction levels, developed and refined by different engineers. Hence, they are initially described at a level of coarse granularity and then refined into a more specific representation. Given two behavior models like statecharts, it is a challenging task to decide whether one statechart is still a valid specialization of the other, more abstract model. We use OWL to model statecharts and to validate statechart specializations.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. OMG Unified Modeling Language (OMG UML) Superstructure Version 2.2 (2009), http://www.omg.org/spec/UML/2.2/Superstructure/PDF

  2. Stuart Aitken, J., Curtis, J.: A Process Ontology. In: Gómez-Pérez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS (LNAI), vol. 2473, pp. 108–113. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  3. Artale, A., Franconi, E., Wolter, F., Zakharyaschev, M.: A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 98–110. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  4. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook, 2nd edn. Cambridge University, Cambridge (2007)

    Book  MATH  Google Scholar 

  5. Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating Description Logics and Action Formalisms: First Results. In: Proc. of AAAI 2005 (2005)

    Google Scholar 

  6. Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML Class Diagrams. Artificial Intelligence 168(1-2), 70–118 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  7. Bryant, A.: Chinese Encyclopaedias and Balinese Cockfights - Lessons for Business Process Change and Knowledge Management. In: Dieng, R., Corby, O. (eds.) EKAW 2000. LNCS (LNAI), vol. 1937, pp. 274–287. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  8. Drescher, C., Thielscher, M.: Integrating Action Calculi and Description Logics. In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol. 4667, pp. 68–83. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  9. Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of computer programming 8(3), 231–274 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  10. Kitamura, Y., Mizoguchi, R.: Ontology-Based Functional-Knowledge Modeling Methodology and its Deployment. In: Motta, E., Shadbolt, N.R., Stutt, A., Gibbins, N. (eds.) EKAW 2004. LNCS (LNAI), vol. 3257, pp. 99–115. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  11. Krupp, A., Mueller, W., Oliver, I.: Formal Refinement and Model Checking of an Echo Cancellation Unit. In: Proceedings of the Conference on Design, Automation and Test in Europe, vol. 3. IEEE Computer Society, Los Alamitos (2004)

    Google Scholar 

  12. Lutz, C., Sattler, U.: A Proposal for Describing Services with DLs. In: Proceedings of the 2002 International Workshop on Description Logics (2002)

    Google Scholar 

  13. Lutz, C., Wolter, F., Zakharyaschev, M.: Temporal description logics: A survey. In: Int. Symposium on Temporal Representation and Reasoning, pp. 3–14 (2008)

    Google Scholar 

  14. McCluskey, T.L., Simpson, R.M.: Knowledge Formulation for AI Planning. In: Motta, E., Shadbolt, N.R., Stutt, A., Gibbins, N. (eds.) EKAW 2004. LNCS (LNAI), vol. 3257, pp. 449–465. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  15. Mikk, E., Lakhnech, Y., Petersohn, C., Siegel, M.: On Formal Semantics of Statecharts as Supported by STATEMATE. In: Workshop, Ilkley, Citeseer, vol. 14, p. 15 (1997)

    Google Scholar 

  16. Mikk, E., Lakhnech, Y., Siegel, M., Holzmann, G.J.: Implementing statecharts in PROMELA/SPIN. In: Proc. of 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, p. 90 (1998)

    Google Scholar 

  17. Milner, R.: A Calculus of Communicating Systems. LNCS. Springer, Heidelberg (1980)

    Book  MATH  Google Scholar 

  18. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)

    MATH  Google Scholar 

  19. Ng, M.Y., Butler, M.: Towards Formalizing UML State Diagrams in CSP. In: 1st International Conference on Software Engineering and Formal Methods, pp. 138–147. IEEE Computer Society, Los Alamitos (2003)

    Google Scholar 

  20. Roscoe, A.W., Wu, Z.: Verifying Statemate Statecharts Using CSP and FDR. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol. 4260, pp. 324–341. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  21. Sangiorgi, D.: Bisimulation for Higher-Order Process Calculi. Information and Computation 131, 141–178 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  22. Schäfer, T., Knapp, A., Merz, S.: Model Checking UML state Machines and Collaborations. Electronic Notes in Theor. Comp. Science 55(3), 357–369 (2001)

    Article  Google Scholar 

  23. Schrefl, M., Stumptner, M.: Behavior Consistent Refinement of Object Life Cycles. In: Embley, D.W., Goldstein, R.C. (eds.) ER 1997. LNCS, vol. 1331, pp. 155–168. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  24. Studer, R., Benjamins, V.R., Fensel, D.: Knowledge Engineering: Principles and Methods. Data & Knowledge Engineering 25(1-2), 161–197 (1998)

    Article  MATH  Google Scholar 

  25. Stumptner, M., Schrefl, M.: Behavior Consistent Inheritance in UML. In: Laender, A.H.F., Liddle, S.W., Storey, V.C. (eds.) ER 2000. LNCS, vol. 1920, pp. 527–542. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  26. Thielscher, M.: From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem. Artificial Intelligence 111(1), 277–299 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  27. Thielscher, M.: FLUX: A Logic Programming Method for Reasoning Agents. Theory and Practice of Logic Programming 5(4-5), 533–565 (2005)

    Article  MATH  Google Scholar 

  28. Uselton, A., Smolka, S.A.: A Process Algebraic Semantics for Statecharts via State Refinement. In: PROCOMET 1994. Elsevier, Amsterdam (1994)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. WeST — Institute for Web Science and Technologies, University of Koblenz-Landau, Germany

    Gerd Gröner & Steffen Staab

Authors
  1. Gerd Gröner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Steffen Staab
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Cognitive Interaction Technology Excellence Center (CITEC), Universität Bielefeld, Universitätsstraße 21-23, 33615, Bielefeld, Germany

    Philipp Cimiano

  2. IST/DEI, INESC-ID, Rua Alves Redol 9, 1000-029, Lisboa, Portugal

    H. Sofia Pinto

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gröner, G., Staab, S. (2010). Specialization and Validation of Statecharts in OWL. In: Cimiano, P., Pinto, H.S. (eds) Knowledge Engineering and Management by the Masses. EKAW 2010. Lecture Notes in Computer Science(), vol 6317. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16438-5_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16438-5_26

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-16437-8

  • Online ISBN: 978-3-642-16438-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation