Skip to main content

A Knowware Based Infrastructure for Rule Based Control Systems in Smart Spaces

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7925))

Abstract

Many software systems are designed for realising some business logics which can be captured and represented as a set of logic rules, such as the logic rules for controlling devices in smart spaces. These logic rules in traditional software systems are usually coded in procedural style and interweaved with other elements of software such as the interface implementation etc. As we know, the logic rules are usually needed to be changed or updated frequently according to changing environment conditions and software requirements. However, mix of the logic rules and other elements makes it difficult to change and update the logic rules. Therefore, we propose a new infrastructure to separate the logic rules from the interweaved elements. In our infrastructure, the logic rules can be encapsulated as a knowware. The knowware is deployed in a reasoner as an independent component, which can interact with other parts of the system. By this way, the logic rules can be easily changed or updated as an independent component of the software system according to changing environment conditions and software requirements.

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Calejo, M.: InterProlog: Towards a declarative embedding of logic programming in Java. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 714–717. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  2. Castro, S., Mens, K., Moura, P.: Logicobjects: a linguistic symbiosis approach to bring the declarative power of prolog to java. In: Proceedings of the 9th ECOOP Workshop on Reflection, AOP, and Meta-Data for Software Evolution, pp. 11–16. ACM (2012)

    Google Scholar 

  3. Denti, E., Omicini, A., Ricci, A.: Multi-paradigm Java–Prolog integration in tuProlog. Science of Computer Programming 57(2), 217–250 (2005)

    Article  MathSciNet  Google Scholar 

  4. D’Hondt, M.: Explicit domain knowledge in software engineering (2002)

    Google Scholar 

  5. D’Hondt, M.: A survey of systems that integrate logic reasoning and object-oriented programming. Technical Report (2003)

    Google Scholar 

  6. D’Hondt, M.: Hybrid aspects for integrating rule-based knowledge and object-oriented functionality. Ph.D. thesis, Citeseer (2004)

    Google Scholar 

  7. D’Hondt, M., D’Hondt, T., et al.: Is domain knowledge an aspect? Lecture notes in Computer science pp. 293–293 (1999)

    Google Scholar 

  8. Elrad, T., Filman, R.E., Bader, A.: Aspect-oriented programming: Introduction. Communications of the ACM 44(10), 29–32 (2001)

    Article  Google Scholar 

  9. Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M., et al.: Swrl: A semantic web rule language combining owl and ruleml. W3C Member submission 21, 79 (2004)

    Google Scholar 

  10. Lu, R.: From hardware to software to knowware: It’s third liberation? IEEE Intelligent Systems 20(2), 82–85 (2005)

    Article  Google Scholar 

  11. Lu, R., Jin, Z.: From knowledge based software engineering to knowware based software engineering. Science in China Series F: Information Sciences 51(6), 638–660 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  12. Majchrzak, T.A., Kuchen, H.: Logic java: combining object-oriented and logic programming. In: Kuchen, H. (ed.) WFLP 2011. LNCS, vol. 6816, pp. 122–137. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  13. Parsia, B., Sirin, E.: Pellet: An owl dl reasoner. In: Third International Semantic Web Conference-Poster, p. 18 (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lu, Y., Li, G., Jin, Z., Xing, X., Hao, Y. (2013). A Knowware Based Infrastructure for Rule Based Control Systems in Smart Spaces. In: Favaro, J., Morisio, M. (eds) Safe and Secure Software Reuse. ICSR 2013. Lecture Notes in Computer Science, vol 7925. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38977-1_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-38977-1_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-38976-4

  • Online ISBN: 978-3-642-38977-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics