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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
Denti, E., Omicini, A., Ricci, A.: Multi-paradigm Java–Prolog integration in tuProlog. Science of Computer Programming 57(2), 217–250 (2005)
D’Hondt, M.: Explicit domain knowledge in software engineering (2002)
D’Hondt, M.: A survey of systems that integrate logic reasoning and object-oriented programming. Technical Report (2003)
D’Hondt, M.: Hybrid aspects for integrating rule-based knowledge and object-oriented functionality. Ph.D. thesis, Citeseer (2004)
D’Hondt, M., D’Hondt, T., et al.: Is domain knowledge an aspect? Lecture notes in Computer science pp. 293–293 (1999)
Elrad, T., Filman, R.E., Bader, A.: Aspect-oriented programming: Introduction. Communications of the ACM 44(10), 29–32 (2001)
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)
Lu, R.: From hardware to software to knowware: It’s third liberation? IEEE Intelligent Systems 20(2), 82–85 (2005)
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)
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)
Parsia, B., Sirin, E.: Pellet: An owl dl reasoner. In: Third International Semantic Web Conference-Poster, p. 18 (2004)
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
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)