Skip to main content

2018 | OriginalPaper | Buchkapitel

3. Selected Applications of Rules

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this chapter we discuss several applications of rules and rule-based systems. Applications discussed in this chapter are mostly related to the areas of business and software engineering. They relevant for the applications of the semantic knowledge engineering approach. We begin with the discussion of the business rules approach. With time rules systems had to be integrated into other business management systems using business processes. Recently Web-based applications of the Semantic Web project played an important role. A number of past knowledge engineering experiences were placed in a new technological context. However, integration of classic rule-based systems with the Semantic Web technologies is quite challenging. Furthermore, we discuss some common uses of rules in the area of software engineering. A recent emerging computing paradigm of context-aware systems is also an important area for rules. Finally, we take a look at rules as a general programming paradigm.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
13
This is a common problem in some recommender systems, especially based upon user-provided feedback. When the system is being bootstrapped there is no data from users, thus it is hard to assure reliable operation of the system [116].
 
14
As KBS are mostly software systems, in the 21st century the development methodologies for KBS seem to be more and more absorbed by diverse software engineering tools and techniques. However, for many KE experts it is clear that KE is distinct from SE [121] There are many reasons for this distinction. Some common arguments include the fact that KE is much more focused on declarative and reusable knowledge than dynamics or operation of the system.
 
27
For purists: these are not always programming languages in the sense of expressing algorithms, or object-oriented models. SQL is mostly defined as a query language and its core is separated from procedural extensions such as PL/SQL. Similarly OCL is not a general programming language.
 
Literatur
1.
Zurück zum Zitat Giurca, A., Gašević, D., Taveter, K. (eds.): Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. Information Science Reference. Hershey, New York (May (2009) Giurca, A., Gašević, D., Taveter, K. (eds.): Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. Information Science Reference. Hershey, New York (May (2009)
3.
Zurück zum Zitat von Halle, B.: Business Rules Applied: Building Better Systems Using the Business Rules Approach. Wiley, New York (2001) von Halle, B.: Business Rules Applied: Building Better Systems Using the Business Rules Approach. Wiley, New York (2001)
4.
Zurück zum Zitat Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (2001) Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (2001)
5.
Zurück zum Zitat Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC, Bocca Raton (2009) Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC, Bocca Raton (2009)
6.
Zurück zum Zitat Hay, D., Kolber, A., Healy, K.A.: Defining Business Rules - what they really are. Final Report. Technical report, Business Rules Group (2000) Hay, D., Kolber, A., Healy, K.A.: Defining Business Rules - what they really are. Final Report. Technical report, Business Rules Group (2000)
7.
Zurück zum Zitat Burns, A., Dobbing, B., Vardanega, T.: Defining business rules. what are they really? Technical Report revision 1.3, The Business Rules Group (2000) Burns, A., Dobbing, B., Vardanega, T.: Defining business rules. what are they really? Technical Report revision 1.3, The Business Rules Group (2000)
8.
Zurück zum Zitat Nalepa, G.J.: Business rules design and analysis approaches. In: Presentation given at the 6th European Business Rules Conference (2007) Nalepa, G.J.: Business rules design and analysis approaches. In: Presentation given at the 6th European Business Rules Conference (2007)
9.
Zurück zum Zitat Ross, R.G.: Principles of the Business Rule Approach, 1st edn. Addison-Wesley Professional, Boston (2003) Ross, R.G.: Principles of the Business Rule Approach, 1st edn. Addison-Wesley Professional, Boston (2003)
10.
Zurück zum Zitat Object Management Group (OMG): Semantics of Business Vocabulary and Business Rules (SBVR) — Version 1.0, Framingham, Massachusetts (2008) Object Management Group (OMG): Semantics of Business Vocabulary and Business Rules (SBVR) — Version 1.0, Framingham, Massachusetts (2008)
11.
Zurück zum Zitat Object Management Group (OMG): Business Semantics of Business Rules – Request for Proposal (2004) Object Management Group (OMG): Business Semantics of Business Rules – Request for Proposal (2004)
12.
Zurück zum Zitat Nelson, M.L., Rariden, R.L., Sen, R.: A Lifecycle Approach towards Business Rules Management. In: Proceedings of the 41st Annual Hawaii International Conference on System Sciences, pp. 113–113 (2008) Nelson, M.L., Rariden, R.L., Sen, R.: A Lifecycle Approach towards Business Rules Management. In: Proceedings of the 41st Annual Hawaii International Conference on System Sciences, pp. 113–113 (2008)
13.
Zurück zum Zitat Browne, P.: JBoss Drools Business Rules. Packt Publishing, Birmingham (2009) Browne, P.: JBoss Drools Business Rules. Packt Publishing, Birmingham (2009)
14.
Zurück zum Zitat Luckham, D.: Complex event processing (CEP). Softw. Eng. Notes 25(1), 99–100 (2000)CrossRef Luckham, D.: Complex event processing (CEP). Softw. Eng. Notes 25(1), 99–100 (2000)CrossRef
15.
Zurück zum Zitat van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business process management: A survey. In: Proceedings of Business Process Management: International Conference, BPM. Lecture Notes in Computer Science, vol. 2678, pp. 1–12. Springer, Eindhoven, The Netherlands, 26–27 June 2003 (2003) van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business process management: A survey. In: Proceedings of Business Process Management: International Conference, BPM. Lecture Notes in Computer Science, vol. 2678, pp. 1–12. Springer, Eindhoven, The Netherlands, 26–27 June 2003 (2003)
16.
Zurück zum Zitat Knolmayer, G., Endl, R., Pfahrer, M.: Modeling processes and workflows by business rules. Business Process Management. Models, Techniques, and Empirical Studies, pp. 16–29. Springer, London, UK (2000) Knolmayer, G., Endl, R., Pfahrer, M.: Modeling processes and workflows by business rules. Business Process Management. Models, Techniques, and Empirical Studies, pp. 16–29. Springer, London, UK (2000)
17.
Zurück zum Zitat Lee, R., Dale, B.: Business process management: a review and evaluation. Bus. Process Manag. J. 4(3), 214–225 (1998)CrossRef Lee, R., Dale, B.: Business process management: a review and evaluation. Bus. Process Manag. J. 4(3), 214–225 (1998)CrossRef
18.
Zurück zum Zitat OMG: Business Process Model and Notation (BPMN): Version 2.0 specification. Technical Report formal/2011-01-03, Object Management Group (2011) OMG: Business Process Model and Notation (BPMN): Version 2.0 specification. Technical Report formal/2011-01-03, Object Management Group (2011)
19.
Zurück zum Zitat Object Management Group (OMG): Decision model and notation request for proposal. Technical Report bmi/2011-03-04, Object Management Group, 140 Kendrick Street, Building A Suite 300, Needham, MA 02494, USA (2011) Object Management Group (OMG): Decision model and notation request for proposal. Technical Report bmi/2011-03-04, Object Management Group, 140 Kendrick Street, Building A Suite 300, Needham, MA 02494, USA (2011)
20.
Zurück zum Zitat Dumas, M., La Rosa, M., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management. Springer, Berlin (2013)CrossRef Dumas, M., La Rosa, M., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management. Springer, Berlin (2013)CrossRef
21.
Zurück zum Zitat Weske, M.: Business Process Management: Concepts, Languages, Architectures, 2nd edn. Springer, Berlin (2012)CrossRef Weske, M.: Business Process Management: Concepts, Languages, Architectures, 2nd edn. Springer, Berlin (2012)CrossRef
22.
Zurück zum Zitat Davenport, T.H.: Process Innovation: Reengineering Work Through Information Technology. Harvard Business School Press, Boston (1993) Davenport, T.H.: Process Innovation: Reengineering Work Through Information Technology. Harvard Business School Press, Boston (1993)
23.
Zurück zum Zitat Hammer, M., Champy, J.: Reengineering the Corporation: A Manifesto for Business Revolution. Harper Business, New York (1993) Hammer, M., Champy, J.: Reengineering the Corporation: A Manifesto for Business Revolution. Harper Business, New York (1993)
24.
Zurück zum Zitat White, S.A., Miers, D.: BPMN Modeling and Reference Guide: Understanding and Using BPMN. Future Strategies Inc., Lighthouse Point, Florida, USA (2008) White, S.A., Miers, D.: BPMN Modeling and Reference Guide: Understanding and Using BPMN. Future Strategies Inc., Lighthouse Point, Florida, USA (2008)
25.
Zurück zum Zitat Lindsay, A., Dawns, D., Lunn, K.: Business processes – attempts to find a definition. Inf. Softw. Technol. 45(15), 1015–1019 (2003). Elsevie Lindsay, A., Dawns, D., Lunn, K.: Business processes – attempts to find a definition. Inf. Softw. Technol. 45(15), 1015–1019 (2003). Elsevie
26.
Zurück zum Zitat Owen, M., Raj, J.: BPMN and Business Process Management. Introduction to the new business process modeling standard. Technical report, OMG (2006) Owen, M., Raj, J.: BPMN and Business Process Management. Introduction to the new business process modeling standard. Technical report, OMG (2006)
28.
Zurück zum Zitat Lawrence, P. (ed.): Workflow Handbook. Wiley, New York (1997) Lawrence, P. (ed.): Workflow Handbook. Wiley, New York (1997)
29.
Zurück zum Zitat zur Muehlen, M., Ho, D.T.Y.: Risk management in the BPM lifecycle. In: Business Process Management Workshops, pp. 454–466 (2005) zur Muehlen, M., Ho, D.T.Y.: Risk management in the BPM lifecycle. In: Business Process Management Workshops, pp. 454–466 (2005)
30.
Zurück zum Zitat OMG: BPMN 2.0 by Example. Technical Report dtc/2010-06-02, Object Management Group (2010) OMG: BPMN 2.0 by Example. Technical Report dtc/2010-06-02, Object Management Group (2010)
32.
Zurück zum Zitat Allweyer, T.: BPMN 2.0. Introduction to the Standard for Business Process Modeling. BoD, Norderstedt (2010) Allweyer, T.: BPMN 2.0. Introduction to the Standard for Business Process Modeling. BoD, Norderstedt (2010)
33.
Zurück zum Zitat Silver, B.: BPMN Method and Style. Cody-Cassidy Press (2009) Silver, B.: BPMN Method and Style. Cody-Cassidy Press (2009)
34.
Zurück zum Zitat Chinosi, M., Trombetta, A.: BPMN: an introduction to the standard. Comput. Stand. Interfaces 34(1), 124–134 (2012)CrossRef Chinosi, M., Trombetta, A.: BPMN: an introduction to the standard. Comput. Stand. Interfaces 34(1), 124–134 (2012)CrossRef
35.
Zurück zum Zitat Wong, P.Y.H., Gibbons, J.: Formalisations and applications of bpmn. Sci. Comput. Program. 76(8), 633–650 (2011)CrossRefMATH Wong, P.Y.H., Gibbons, J.: Formalisations and applications of bpmn. Sci. Comput. Program. 76(8), 633–650 (2011)CrossRefMATH
36.
Zurück zum Zitat Krużel, T., Werewka, J.: Application of BPMN for the PMBOK standard modelling to scale project management efforts in IT enterprises. In: et al., Z.W., ed.: Information systems architecture and technology: information as the intangible assets and company value source, pp. 171–182. Oficyna Wydawnicza Politechniki Wrocławskiej, Wrocław (2011) Krużel, T., Werewka, J.: Application of BPMN for the PMBOK standard modelling to scale project management efforts in IT enterprises. In: et al., Z.W., ed.: Information systems architecture and technology: information as the intangible assets and company value source, pp. 171–182. Oficyna Wydawnicza Politechniki Wrocławskiej, Wrocław (2011)
37.
Zurück zum Zitat Ligęza, A.: A note on a logical model of an inference process : from ARD and RBS to BPMN. In: Małgorzata Nycz, M.L.O. (ed.) Knowledge acquisition and management. Research Papers of Wrocław University of Economics. 232 edn, pp. 41–49. Wrocław: Publishing House of Wrocław University of Economics (2011). ISSN 1899-3192 Ligęza, A.: A note on a logical model of an inference process : from ARD and RBS to BPMN. In: Małgorzata Nycz, M.L.O. (ed.) Knowledge acquisition and management. Research Papers of Wrocław University of Economics. 232 edn, pp. 41–49. Wrocław: Publishing House of Wrocław University of Economics (2011). ISSN 1899-3192
38.
Zurück zum Zitat Lubke, D., Schneider, K., Weidlich, M.: Visualizing use case sets as bpmn processes. In: Requirements Engineering Visualization, 2008. REV ’08, pp. 21–25 (2008) Lubke, D., Schneider, K., Weidlich, M.: Visualizing use case sets as bpmn processes. In: Requirements Engineering Visualization, 2008. REV ’08, pp. 21–25 (2008)
39.
Zurück zum Zitat Szpyrka, M., Nalepa, G.J., Ligęza, A., Kluza, K.: Proposal of formal verification of selected BPMN models with Alvis modeling language. In: Brazier, F.M., Nieuwenhuis, K., Pavlin, G., Warnier, M., Badica, C. (eds.) Intelligent Distributed Computing V. Proceedings of the 5th International Symposium on Intelligent Distributed Computing – IDC 2011. Studies in Computational Intelligence, vol. 382, pp. 249–255. Springer, Delft, The Netherlands (2011) Szpyrka, M., Nalepa, G.J., Ligęza, A., Kluza, K.: Proposal of formal verification of selected BPMN models with Alvis modeling language. In: Brazier, F.M., Nieuwenhuis, K., Pavlin, G., Warnier, M., Badica, C. (eds.) Intelligent Distributed Computing V. Proceedings of the 5th International Symposium on Intelligent Distributed Computing – IDC 2011. Studies in Computational Intelligence, vol. 382, pp. 249–255. Springer, Delft, The Netherlands (2011)
40.
Zurück zum Zitat Kluza, K., Maślanka, T., Nalepa, G.J., Ligęza, A.: Proposal of representing BPMN diagrams with XTT2-based business rules. In: Brazier, F.M.T., Nieuwenhuis, K., Pavlin, G., Warnier, M., Badica, C. (eds.) Intelligent Distributed Computing V. Proceedings of the 5th International Symposium on Intelligent Distributed Computing – IDC 2011. Studies in Computational Intelligence, vol. 382, pp. 243–248. Springer, Delft, The Netherlands (2011) Kluza, K., Maślanka, T., Nalepa, G.J., Ligęza, A.: Proposal of representing BPMN diagrams with XTT2-based business rules. In: Brazier, F.M.T., Nieuwenhuis, K., Pavlin, G., Warnier, M., Badica, C. (eds.) Intelligent Distributed Computing V. Proceedings of the 5th International Symposium on Intelligent Distributed Computing – IDC 2011. Studies in Computational Intelligence, vol. 382, pp. 243–248. Springer, Delft, The Netherlands (2011)
41.
Zurück zum Zitat Kluza, K., Nalepa, G.J., Łysik, Ł.: Visual inference specification methods for modularized rulebases. Overview and integration proposal. In: Nalepa, G.J., Baumeister, J. (eds.) Proceedings of the 6th Workshop on Knowledge Engineering and Software Engineering (KESE6) at the 33rd German Conference on Artificial Intelligence September 21, 2010, Karlsruhe, Germany, Karlsruhe, Germany, pp. 6–17 (2010) Kluza, K., Nalepa, G.J., Łysik, Ł.: Visual inference specification methods for modularized rulebases. Overview and integration proposal. In: Nalepa, G.J., Baumeister, J. (eds.) Proceedings of the 6th Workshop on Knowledge Engineering and Software Engineering (KESE6) at the 33rd German Conference on Artificial Intelligence September 21, 2010, Karlsruhe, Germany, Karlsruhe, Germany, pp. 6–17 (2010)
42.
Zurück zum Zitat Nalepa, G.J., Kluza, K., Ernst, S.: Modeling and analysis of business processes with business rules. In: Beckmann, J. (ed.) Business Process Modeling: Software Engineering, Analysis and Applications. Business Issues, Competition and Entrepreneurship, pp. 135–156. Nova Science Publishers (2011) Nalepa, G.J., Kluza, K., Ernst, S.: Modeling and analysis of business processes with business rules. In: Beckmann, J. (ed.) Business Process Modeling: Software Engineering, Analysis and Applications. Business Issues, Competition and Entrepreneurship, pp. 135–156. Nova Science Publishers (2011)
43.
Zurück zum Zitat Hohwiller, J., Schlegel, D., Grieser, G., Hoekstra, Y.: Integration of bpm and brm. In: Dijkman, R., Hofstetter, J., Koehler, J. (eds.) Business Process Model and Notation. Lecture Notes in Business Information Processing, vol. 95, pp. 136–141. Springer, Berlin (2011)CrossRef Hohwiller, J., Schlegel, D., Grieser, G., Hoekstra, Y.: Integration of bpm and brm. In: Dijkman, R., Hofstetter, J., Koehler, J. (eds.) Business Process Model and Notation. Lecture Notes in Business Information Processing, vol. 95, pp. 136–141. Springer, Berlin (2011)CrossRef
44.
Zurück zum Zitat Kluza, K.: Modeling of business processes consistent with business rules. PAR Pomiary Automatyka Robotyka 15(12), 194–195 (2011). ISSN 1427-9126 Kluza, K.: Modeling of business processes consistent with business rules. PAR Pomiary Automatyka Robotyka 15(12), 194–195 (2011). ISSN 1427-9126
45.
Zurück zum Zitat Di Bona, D., Lo Re, G., Aiello, G., Tamburo, A., Alessi, M.: A methodology for graphical modeling of business rules. In: 2011 5th UKSim European Symposium on Computer Modeling and Simulation (EMS), pp. 102–106 (2011) Di Bona, D., Lo Re, G., Aiello, G., Tamburo, A., Alessi, M.: A methodology for graphical modeling of business rules. In: 2011 5th UKSim European Symposium on Computer Modeling and Simulation (EMS), pp. 102–106 (2011)
46.
Zurück zum Zitat Milanovic, M., Gaševic, D.: Towards a language for rule-enhanced business process modeling. In: Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing, EDOC’09, pp. 59–68. IEEE Press, Piscataway, NJ, USA (2009) Milanovic, M., Gaševic, D.: Towards a language for rule-enhanced business process modeling. In: Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing, EDOC’09, pp. 59–68. IEEE Press, Piscataway, NJ, USA (2009)
47.
Zurück zum Zitat Adams, M., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Worklets: A service-oriented implementation of dynamic flexibility in workflows. OTM Conferences 1, 291–308 (2006) Adams, M., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Worklets: A service-oriented implementation of dynamic flexibility in workflows. OTM Conferences 1, 291–308 (2006)
48.
Zurück zum Zitat van Eijndhoven, T., Iacob, M.E., Ponisio, M.: Achieving business process flexibility with business rules. In: Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008 EDOC ’08, pp. 95–104 (2008) van Eijndhoven, T., Iacob, M.E., Ponisio, M.: Achieving business process flexibility with business rules. In: Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008 EDOC ’08, pp. 95–104 (2008)
49.
Zurück zum Zitat Müller, R., Greiner, U., Rahm, E.: Agent work: a workflow system supporting rule-based workflow adaptation. Data Knowl. Eng. 51(2), 223–256 (2004)CrossRef Müller, R., Greiner, U., Rahm, E.: Agent work: a workflow system supporting rule-based workflow adaptation. Data Knowl. Eng. 51(2), 223–256 (2004)CrossRef
50.
Zurück zum Zitat zur Muehlen, M., Indulska, M., Kamp, G.: Business process and business rule modeling languages for compliance management: a representational analysis. In: Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling, vol. 83. ER ’07, pp. 127–132. Darlinghurst, Australia, Australia, Australian Computer Society, Inc (2007) zur Muehlen, M., Indulska, M., Kamp, G.: Business process and business rule modeling languages for compliance management: a representational analysis. In: Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling, vol. 83. ER ’07, pp. 127–132. Darlinghurst, Australia, Australia, Australian Computer Society, Inc (2007)
51.
Zurück zum Zitat zur Muehlen, M., Indulska, M., Kittel, K.: Towards integrated modeling of business processes and business rules. In: 19th Australasian Conference on Information Systems ACIS 2008. Christchurch, New Zealand (2008) zur Muehlen, M., Indulska, M., Kittel, K.: Towards integrated modeling of business processes and business rules. In: 19th Australasian Conference on Information Systems ACIS 2008. Christchurch, New Zealand (2008)
52.
Zurück zum Zitat Ouyang, C., Dumas, M., ter Hofstede, A.H., van der Aalst, W.M.: From bpmn process models to bpel web services. In: IEEE International Conference on Web Services (ICWS’06) (2006) Ouyang, C., Dumas, M., ter Hofstede, A.H., van der Aalst, W.M.: From bpmn process models to bpel web services. In: IEEE International Conference on Web Services (ICWS’06) (2006)
53.
Zurück zum Zitat Ouyang, C., Wil M.P. van der Aalst, M.D., ter Hofstede, A.H.: Translating BPMN to BPEL. Technical report, Faculty of Information Technology, Queensland University of Technology, GPO Box 2434, Brisbane QLD 4001, Australia Department of Technology Management, Eindhoven University of Technology, GPO Box 513, NL-5600 MB, The Netherlands (2006) Ouyang, C., Wil M.P. van der Aalst, M.D., ter Hofstede, A.H.: Translating BPMN to BPEL. Technical report, Faculty of Information Technology, Queensland University of Technology, GPO Box 2434, Brisbane QLD 4001, Australia Department of Technology Management, Eindhoven University of Technology, GPO Box 513, NL-5600 MB, The Netherlands (2006)
54.
Zurück zum Zitat Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and automated analysis of BPMN process models. preprint 7115. Technical report, Queensland University of Technology, Brisbane, Australia (2007) Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and automated analysis of BPMN process models. preprint 7115. Technical report, Queensland University of Technology, Brisbane, Australia (2007)
55.
Zurück zum Zitat Dijkman, R.M., Gorp, P.V.: Bpmn 2.0 execution semantics formalized as graph rewrite rules. In: Mendling, J., Weidlich, M., Weske, M. (eds.) Proceedings from the Business Process Modeling Notation – Second International Workshop, BPMN 2010. Lecture Notes in Business Information Processing, vol. 67, pp. 16–30. Springer, Potsdam, Germany 13–14 Oct 2010 (2011) Dijkman, R.M., Gorp, P.V.: Bpmn 2.0 execution semantics formalized as graph rewrite rules. In: Mendling, J., Weidlich, M., Weske, M. (eds.) Proceedings from the Business Process Modeling Notation – Second International Workshop, BPMN 2010. Lecture Notes in Business Information Processing, vol. 67, pp. 16–30. Springer, Potsdam, Germany 13–14 Oct 2010 (2011)
56.
Zurück zum Zitat Speck, A., Feja, S., Witt, S., Pulvermüller, E., Schulz, M.: Formalizing business process specifications. Comput. Sci. Inf. Syst./ComSIS 8(2), 427–446 (2011) Speck, A., Feja, S., Witt, S., Pulvermüller, E., Schulz, M.: Formalizing business process specifications. Comput. Sci. Inf. Syst./ComSIS 8(2), 427–446 (2011)
57.
Zurück zum Zitat Wong, P.Y.H., Gibbons, J.: A process semantics for bpmn. In: Liu, S., Maibaum, T.S.E., Araki, K. (eds.) ICFEM 2008 Proceedings from the 10th International Conference on Formal Engineering Methods. Lecture Notes in Computer Science, vol. 5256, pp. 355-374. Springer, Kitakyushu-City, Japan, 27–31 Oct 2008 (2008) Wong, P.Y.H., Gibbons, J.: A process semantics for bpmn. In: Liu, S., Maibaum, T.S.E., Araki, K. (eds.) ICFEM 2008 Proceedings from the 10th International Conference on Formal Engineering Methods. Lecture Notes in Computer Science, vol. 5256, pp. 355-374. Springer, Kitakyushu-City, Japan, 27–31 Oct 2008 (2008)
58.
Zurück zum Zitat Lam, V.S.W.: Equivalences of BPMN processes. Serv. Oriented Comput. Appl. 3(3), 189–204 (2009)CrossRef Lam, V.S.W.: Equivalences of BPMN processes. Serv. Oriented Comput. Appl. 3(3), 189–204 (2009)CrossRef
59.
Zurück zum Zitat Lam, V.S.W.: Foundation for equivalences of BPMN models. Theor. Appl. Inf. 24(1), 33–66 (2012) Lam, V.S.W.: Foundation for equivalences of BPMN models. Theor. Appl. Inf. 24(1), 33–66 (2012)
60.
Zurück zum Zitat Ligęza, A.: BPMN - a logical model and property analysis. Decis. Making Manuf. Serv. 5(1–2), 57–67 (2011)MathSciNetMATH Ligęza, A.: BPMN - a logical model and property analysis. Decis. Making Manuf. Serv. 5(1–2), 57–67 (2011)MathSciNetMATH
61.
Zurück zum Zitat Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E. (eds.): Extensible Markup Language (XML) 1.0, 2nd edn, Technical report, World Wide Web Consortium, W3C Recommendation (2000). http://www.w3.org/TR/REC-xml Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E. (eds.): Extensible Markup Language (XML) 1.0, 2nd edn, Technical report, World Wide Web Consortium, W3C Recommendation (2000). http://​www.​w3.​org/​TR/​REC-xml
66.
Zurück zum Zitat Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S.: OWL 2 Web Ontology Language – primer. W3C recommendation, W3C (2009) Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S.: OWL 2 Web Ontology Language – primer. W3C recommendation, W3C (2009)
67.
Zurück zum Zitat Motik, B., Grau, B.C., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology Language: Profiles. W3C recommendation, W3C (2009) Motik, B., Grau, B.C., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology Language: Profiles. W3C recommendation, W3C (2009)
68.
Zurück zum Zitat Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)MATH Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)MATH
69.
Zurück zum Zitat Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining OWL and RuleML, W3C member submission 21 May 2004. Technical report, W3C (2004) Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining OWL and RuleML, W3C member submission 21 May 2004. Technical report, W3C (2004)
70.
Zurück zum Zitat Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: combining logic programs with description logic. Proceedings of the Twelfth International World Wide Web Conference, WWW 2003, 48–57 (2003)CrossRef Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: combining logic programs with description logic. Proceedings of the Twelfth International World Wide Web Conference, WWW 2003, 48–57 (2003)CrossRef
71.
Zurück zum Zitat Horrocks, I., Parsia, B., Patel-Schneider, P., Hendler, J.: Semantic web architecture: stack or two towers? In: Fages, F., Soliman, S. (eds.) Principles and Practice of Semantic Web Reasoning. Lecture Notes in Computer Science, vol. 3703, pp. 37–41. Springer (2005) Horrocks, I., Parsia, B., Patel-Schneider, P., Hendler, J.: Semantic web architecture: stack or two towers? In: Fages, F., Soliman, S. (eds.) Principles and Practice of Semantic Web Reasoning. Lecture Notes in Computer Science, vol. 3703, pp. 37–41. Springer (2005)
72.
Zurück zum Zitat Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., Tompits, H.: Reasoning with rules and ontologies. In: Proceedings of Summer School Reasoning Web 2006 REWERSE (2006). Lecture Notes in Computer Science, vol. 4126, pp. 93–127. Lisbon, Portugal (4–8 Sept 2006) Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., Tompits, H.: Reasoning with rules and ontologies. In: Proceedings of Summer School Reasoning Web 2006 REWERSE (2006). Lecture Notes in Computer Science, vol. 4126, pp. 93–127. Lisbon, Portugal (4–8 Sept 2006)
73.
Zurück zum Zitat Bratko, I.: Prolog Programming for Artificial Intelligence, 3rd edn. Addison Wesley, Upper Saddle River (2000)MATH Bratko, I.: Prolog Programming for Artificial Intelligence, 3rd edn. Addison Wesley, Upper Saddle River (2000)MATH
74.
Zurück zum Zitat Adrian, W.T., Nalepa, G.J., Kaczor, K., Noga, M.: Overview of selected approaches to rule representation on the Semantic Web. Technical Report CSLTR 2/2010, AGH University of Science and Technology (2010) Adrian, W.T., Nalepa, G.J., Kaczor, K., Noga, M.: Overview of selected approaches to rule representation on the Semantic Web. Technical Report CSLTR 2/2010, AGH University of Science and Technology (2010)
75.
Zurück zum Zitat Antoniou, G., van Harmelen, F.: A Semantic Web Primer. The MIT Press, Cambridge (2008) Antoniou, G., van Harmelen, F.: A Semantic Web Primer. The MIT Press, Cambridge (2008)
77.
Zurück zum Zitat Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol. I. Computer Science Press, New York (1988) Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol. I. Computer Science Press, New York (1988)
78.
Zurück zum Zitat Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4), 741–843 (1995)MathSciNetCrossRefMATH Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4), 741–843 (1995)MathSciNetCrossRefMATH
79.
Zurück zum Zitat Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: \(\cal{AL}\)-log: integrating datalog and description logics. J. Intell. Coop. Inf. Syst. 10, 227–252 (1998)CrossRef Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: \(\cal{AL}\)-log: integrating datalog and description logics. J. Intell. Coop. Inf. Syst. 10, 227–252 (1998)CrossRef
80.
81.
Zurück zum Zitat Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and logic programming live together happily ever after? Semant. Web - ISWC 2006, 501–514 (2006) Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and logic programming live together happily ever after? Semant. Web - ISWC 2006, 501–514 (2006)
83.
Zurück zum Zitat Parsia, B., Sirin, E., Grau, B.C., Ruckhaus, E., Hewlett, D.: Cautiously Approaching SWRL. Technical report, Technical report, University of Maryland (2005) Parsia, B., Sirin, E., Grau, B.C., Ruckhaus, E., Hewlett, D.: Cautiously Approaching SWRL. Technical report, Technical report, University of Maryland (2005)
85.
Zurück zum Zitat Boley, H., Tabet, S., Wagner, G.: Design rationale for RuleML: A markup language for semantic web rules. In: Cruz, I.F., Decker, S., Euzenat, J., McGuinness, D.L. (eds.) SWWS, pp. 381–401 (2001) Boley, H., Tabet, S., Wagner, G.: Design rationale for RuleML: A markup language for semantic web rules. In: Cruz, I.F., Decker, S., Euzenat, J., McGuinness, D.L. (eds.) SWWS, pp. 381–401 (2001)
86.
Zurück zum Zitat Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. In: Journal of Web Semantics, pp. 549–563. Springer (2004) Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. In: Journal of Web Semantics, pp. 549–563. Springer (2004)
87.
Zurück zum Zitat Krötzsch, M., Rudolph, S., Hitzler, P.: ELP: Tractable rules for OWL 2. In: 7th International Semantic Web Conference (ISWC2008) (2008) Krötzsch, M., Rudolph, S., Hitzler, P.: ELP: Tractable rules for OWL 2. In: 7th International Semantic Web Conference (ISWC2008) (2008)
88.
Zurück zum Zitat Knorr, M., Hitzler, P., Maier, F.: Reconciling OWL and non-monotonic rules for the semantic web. In: Raedt, L.D., Bessière, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F., Lucas, P.J.F. (eds.) ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track. Frontiers in Artificial Intelligence and Applications, vol. 242, pp. 474–479. IOS Press, Montpellier, France, 27–31 Aug 2012 (2012) Knorr, M., Hitzler, P., Maier, F.: Reconciling OWL and non-monotonic rules for the semantic web. In: Raedt, L.D., Bessière, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F., Lucas, P.J.F. (eds.) ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track. Frontiers in Artificial Intelligence and Applications, vol. 242, pp. 474–479. IOS Press, Montpellier, France, 27–31 Aug 2012 (2012)
89.
Zurück zum Zitat Martínez, D.C., Hitzler, P.: Extending description logic rules. In: Simperl, E., Cimiano, P., Polleres, A., Corcho, Ó., Presutti, V. (eds.) Proceedings of the Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012. Lecture Notes in Computer Science, vol. 7295, pp. 345–359. Springer, Heraklion, Crete, Greece, 27–31 May 2012 (2012) Martínez, D.C., Hitzler, P.: Extending description logic rules. In: Simperl, E., Cimiano, P., Polleres, A., Corcho, Ó., Presutti, V. (eds.) Proceedings of the Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012. Lecture Notes in Computer Science, vol. 7295, pp. 345–359. Springer, Heraklion, Crete, Greece, 27–31 May 2012 (2012)
91.
Zurück zum Zitat Mutharaju, R., Mateti, P., Hitzler, P.: Towards a rule based distributed OWL reasoning framework. In: Tamma, V.A.M., Dragoni, M., Gonçalves, R., Lawrynowicz, A. (eds.) Ontology Engineering - 12th International Experiences and Directions Workshop on OWL, OWLED 2015, co-located with ISWC 2015, Revised Selected Papers. Lecture Notes in Computer Science, vol. 9557, pp. 87–92. Springer, Bethlehem, PA, USA, 9–10 Oct. 2015 (2015) Mutharaju, R., Mateti, P., Hitzler, P.: Towards a rule based distributed OWL reasoning framework. In: Tamma, V.A.M., Dragoni, M., Gonçalves, R., Lawrynowicz, A. (eds.) Ontology Engineering - 12th International Experiences and Directions Workshop on OWL, OWLED 2015, co-located with ISWC 2015, Revised Selected Papers. Lecture Notes in Computer Science, vol. 9557, pp. 87–92. Springer, Bethlehem, PA, USA, 9–10 Oct. 2015 (2015)
92.
Zurück zum Zitat Coutaz, J., Crowley, J.L., Dobson, S., Garlan, D.: Context is key. Commun. ACM 48(3), 49–53 (2005)CrossRef Coutaz, J., Crowley, J.L., Dobson, S., Garlan, D.: Context is key. Commun. ACM 48(3), 49–53 (2005)CrossRef
93.
Zurück zum Zitat Want, R., Falcao, V., Gibbons, J.: The active badge location system. ACM Trans. Inf. Syst. 10, 91–102 (1992)CrossRef Want, R., Falcao, V., Gibbons, J.: The active badge location system. ACM Trans. Inf. Syst. 10, 91–102 (1992)CrossRef
94.
Zurück zum Zitat Schilit, B.N., Adams, N., Want, R.: Context-aware computing applications. In: Proceedings of the Workshop on Mobile Computing Systems and Applications. IEEE Computer Society, Washington, DC, USA, pp. 85–90 (1994) Schilit, B.N., Adams, N., Want, R.: Context-aware computing applications. In: Proceedings of the Workshop on Mobile Computing Systems and Applications. IEEE Computer Society, Washington, DC, USA, pp. 85–90 (1994)
95.
Zurück zum Zitat Loke, S.W.: Representing and reasoning with situations for context-aware pervasive computing: a logic programming perspective. Knowl. Eng. Rev. 19(3), 213–233 (2004)CrossRef Loke, S.W.: Representing and reasoning with situations for context-aware pervasive computing: a logic programming perspective. Knowl. Eng. Rev. 19(3), 213–233 (2004)CrossRef
96.
Zurück zum Zitat Ranganathan, A., Campbell, R.H.: An infrastructure for context-awareness based on first order logic. Personal Ubiquitous Comput. 7(6), 353–364 (2003)CrossRef Ranganathan, A., Campbell, R.H.: An infrastructure for context-awareness based on first order logic. Personal Ubiquitous Comput. 7(6), 353–364 (2003)CrossRef
97.
Zurück zum Zitat Ranganathan, A., Al-Muhtadi, J., Campbell, R.H.: Reasoning about uncertain contexts in pervasive computing environments. IEEE Pervasive Comput. 3(2), 62–70 (2004)CrossRef Ranganathan, A., Al-Muhtadi, J., Campbell, R.H.: Reasoning about uncertain contexts in pervasive computing environments. IEEE Pervasive Comput. 3(2), 62–70 (2004)CrossRef
98.
Zurück zum Zitat Hu, B., Wang, Z., Dong, Q.: A modeling and reasoning approach using description logic for context-aware pervasive computing. In: Lei, J., Wang, F., Deng, H., Miao, D. (eds.) Emerging Research in Artificial Intelligence and Computational Intelligence. Communications in Computer and Information Science, pp. 155–165. Springer, Berlin (2012) Hu, B., Wang, Z., Dong, Q.: A modeling and reasoning approach using description logic for context-aware pervasive computing. In: Lei, J., Wang, F., Deng, H., Miao, D. (eds.) Emerging Research in Artificial Intelligence and Computational Intelligence. Communications in Computer and Information Science, pp. 155–165. Springer, Berlin (2012)
99.
Zurück zum Zitat Henricksen, K., Indulska, J.: Developing context-aware pervasive computing applications: models and approach. Pervasive Mob. Comput. 2(1), 37–64 (2006)CrossRef Henricksen, K., Indulska, J.: Developing context-aware pervasive computing applications: models and approach. Pervasive Mob. Comput. 2(1), 37–64 (2006)CrossRef
100.
Zurück zum Zitat Wang, X., Zhang, D., Gu, T., Pung, H.K.: Ontology based context modeling and reasoning using OWL. In: 2nd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2004 Workshops), pp. 18–22. Orlando, FL, USA, 14–17 March 2004 (2004) Wang, X., Zhang, D., Gu, T., Pung, H.K.: Ontology based context modeling and reasoning using OWL. In: 2nd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2004 Workshops), pp. 18–22. Orlando, FL, USA, 14–17 March 2004 (2004)
101.
Zurück zum Zitat Chen, H., Perich, F., Finin, T.W., Joshi, A.: SOUPA: Standard ontology for ubiquitous and pervasive applications. In: 1st Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2004), Networking and Services, pp. 258–267. IEEE Computer Society, Cambridge, MA, USA, 22–25 Aug 2004 (2004) Chen, H., Perich, F., Finin, T.W., Joshi, A.: SOUPA: Standard ontology for ubiquitous and pervasive applications. In: 1st Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2004), Networking and Services, pp. 258–267. IEEE Computer Society, Cambridge, MA, USA, 22–25 Aug 2004 (2004)
102.
Zurück zum Zitat Chen, H., Finin, T.W., Joshi, A.: Semantic web in the context broker architecture. In: PerCom, pp. 277–286. IEEE Computer Society (2004) Chen, H., Finin, T.W., Joshi, A.: Semantic web in the context broker architecture. In: PerCom, pp. 277–286. IEEE Computer Society (2004)
103.
Zurück zum Zitat Ranganathan, A., McGrath, R.E., Campbell, R.H., Mickunas, M.D.: Use of ontologies in a pervasive computing environment. Knowl. Eng. Rev. 18(3), 209–220 (2003)CrossRef Ranganathan, A., McGrath, R.E., Campbell, R.H., Mickunas, M.D.: Use of ontologies in a pervasive computing environment. Knowl. Eng. Rev. 18(3), 209–220 (2003)CrossRef
104.
Zurück zum Zitat Gu, T., Pung, H.K., Zhang, D.Q.: A middleware for building context-aware mobile services. In: 2004 IEEE 59th Vehicular Technology Conference, VTC 2004, vol. 5, pp. 2656–2660. Springer (2004) Gu, T., Pung, H.K., Zhang, D.Q.: A middleware for building context-aware mobile services. In: 2004 IEEE 59th Vehicular Technology Conference, VTC 2004, vol. 5, pp. 2656–2660. Springer (2004)
105.
Zurück zum Zitat Floch, J., Fra, C., Fricke, R., Geihs, K., Wagner, M., Lorenzo, J., Soladana, E., Mehlhase, S., Paspallis, N., Rahnama, H., Ruiz, P.A., Scholz, U.: Playing music – building context-aware and self-adaptive mobile applications. Softw.: Pract. Exp. 43(3), 359–388 (2013) Floch, J., Fra, C., Fricke, R., Geihs, K., Wagner, M., Lorenzo, J., Soladana, E., Mehlhase, S., Paspallis, N., Rahnama, H., Ruiz, P.A., Scholz, U.: Playing music – building context-aware and self-adaptive mobile applications. Softw.: Pract. Exp. 43(3), 359–388 (2013)
106.
Zurück zum Zitat Jaroucheh, Z., Liu, X., Smith, S.: Recognize contextual situation in pervasive environments using process mining techniques. J. Ambient Intelligence and Humanized Comput. 2(1), 53–69 (2011)CrossRef Jaroucheh, Z., Liu, X., Smith, S.: Recognize contextual situation in pervasive environments using process mining techniques. J. Ambient Intelligence and Humanized Comput. 2(1), 53–69 (2011)CrossRef
107.
Zurück zum Zitat Brezillon, P., Pasquier, L., Pomerol, J.C.: Reasoning with contextual graphs. Eur. J. Operation. Res. 136(2), 290–298 (2002)CrossRefMATH Brezillon, P., Pasquier, L., Pomerol, J.C.: Reasoning with contextual graphs. Eur. J. Operation. Res. 136(2), 290–298 (2002)CrossRefMATH
108.
Zurück zum Zitat van der Aalst, W.M.P.: Process Mining - Discovery. Conformance and Enhancement of Business Processes. Springer, Berlin (2011)CrossRefMATH van der Aalst, W.M.P.: Process Mining - Discovery. Conformance and Enhancement of Business Processes. Springer, Berlin (2011)CrossRefMATH
109.
Zurück zum Zitat Dey, A.K.: Understanding and using context. Pers. Ubiquitous Comput. 5(1), 4–7 (2001)CrossRef Dey, A.K.: Understanding and using context. Pers. Ubiquitous Comput. 5(1), 4–7 (2001)CrossRef
110.
Zurück zum Zitat Etter, R., Costa, P.D., Broens, T.: A rule-based approach towards context-aware user notification services. In: 2006 ACS/IEEE International Conference on Pervasive Services, pp. 281–284 (2006) Etter, R., Costa, P.D., Broens, T.: A rule-based approach towards context-aware user notification services. In: 2006 ACS/IEEE International Conference on Pervasive Services, pp. 281–284 (2006)
111.
Zurück zum Zitat Wang, H., Mehta, R., Chung, L., Supakkul, S., Huang, L.: Rule-based context-aware adaptation: a goal-oriented approach. Int. J. Pervasive Comput. Commun. 8(3), 279–299 (2012)CrossRef Wang, H., Mehta, R., Chung, L., Supakkul, S., Huang, L.: Rule-based context-aware adaptation: a goal-oriented approach. Int. J. Pervasive Comput. Commun. 8(3), 279–299 (2012)CrossRef
112.
Zurück zum Zitat Dey, A.K.: Providing architectural support for building context-aware applications. Ph.D. thesis, Atlanta, GA, USA (2000) AAI9994400 Dey, A.K.: Providing architectural support for building context-aware applications. Ph.D. thesis, Atlanta, GA, USA (2000) AAI9994400
113.
Zurück zum Zitat Biegel, G., Cahill, V.: A framework for developing mobile, context-aware applications. In: 2004 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications, PerCom 2004, pp. 361–365 (2004) Biegel, G., Cahill, V.: A framework for developing mobile, context-aware applications. In: 2004 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications, PerCom 2004, pp. 361–365 (2004)
114.
Zurück zum Zitat Dey, A.K.: Modeling and intelligibility in ambient environments. J. Ambient Intell. Smart Environ. 1(1), 57–62 (2009)MathSciNet Dey, A.K.: Modeling and intelligibility in ambient environments. J. Ambient Intell. Smart Environ. 1(1), 57–62 (2009)MathSciNet
115.
Zurück zum Zitat Ricci, F., Rokach, L., Shapira, B., Kantor, P.B.: Recommender Systems Handbook, 1st edn. Springer, New York (2010)MATH Ricci, F., Rokach, L., Shapira, B., Kantor, P.B.: Recommender Systems Handbook, 1st edn. Springer, New York (2010)MATH
116.
Zurück zum Zitat Jannach, D., Zanker, M., Felfernig, A., Friedrich, G.: Recommender Systems An Introduction. Cambridge University Press, Cambridge (2011) Jannach, D., Zanker, M., Felfernig, A., Friedrich, G.: Recommender Systems An Introduction. Cambridge University Press, Cambridge (2011)
117.
Zurück zum Zitat Adomavicius, G., Tuzhilin, A.: In: Context-Aware Recommender Systems, pp. 217–253. Springer, Boston(2011) Adomavicius, G., Tuzhilin, A.: In: Context-Aware Recommender Systems, pp. 217–253. Springer, Boston(2011)
118.
Zurück zum Zitat Bobek, S., Nalepa, G.J., Ślażyński, M.: Challenges for migration of rule-based reasoning engine to a mobile platform. In: Dziech, A., Czyżewski, A. (eds.) Multimedia Communications, Services and Security. Communications in Computer and Information Science, vol. 429, pp. 43–57. Springer, Berlin, Heidelberg (2014)CrossRef Bobek, S., Nalepa, G.J., Ślażyński, M.: Challenges for migration of rule-based reasoning engine to a mobile platform. In: Dziech, A., Czyżewski, A. (eds.) Multimedia Communications, Services and Security. Communications in Computer and Information Science, vol. 429, pp. 43–57. Springer, Berlin, Heidelberg (2014)CrossRef
119.
Zurück zum Zitat Bobek, S., Nalepa, G.J.: Uncertain context data management in dynamic mobile environments. Future Gener. Comput. Syst. 66, 110–124 (2017)CrossRef Bobek, S., Nalepa, G.J.: Uncertain context data management in dynamic mobile environments. Future Gener. Comput. Syst. 66, 110–124 (2017)CrossRef
120.
Zurück zum Zitat Sommerville, I.: Software Engineering, 7th edn. International Computer Science, Pearson Education Limited (2004)MATH Sommerville, I.: Software Engineering, 7th edn. International Computer Science, Pearson Education Limited (2004)MATH
121.
Zurück zum Zitat Guida, G., Lamperti, G., Zanella, M.: Software Prototyping in Data and Knowledge Engineering. Kluwer Academic Publishers, Norwell (1999)CrossRefMATH Guida, G., Lamperti, G., Zanella, M.: Software Prototyping in Data and Knowledge Engineering. Kluwer Academic Publishers, Norwell (1999)CrossRefMATH
122.
Zurück zum Zitat Wagner, G.: How to design a general rule markup language. XML Technology for the Semantic Web (XSW 2002). Lecture Notes in Informatics, pp. 19–37. HU, Berlin (2002) Wagner, G.: How to design a general rule markup language. XML Technology for the Semantic Web (XSW 2002). Lecture Notes in Informatics, pp. 19–37. HU, Berlin (2002)
123.
Zurück zum Zitat Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Springer, New York (1990)CrossRef Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Springer, New York (1990)CrossRef
124.
Zurück zum Zitat Seipel, D.: Practical applications of extended deductive databases in Datalog*. In: Proceedings of the 23rd Workshop on Logic Programming (WLP 2009) (2009) Seipel, D.: Practical applications of extended deductive databases in Datalog*. In: Proceedings of the 23rd Workshop on Logic Programming (WLP 2009) (2009)
125.
Zurück zum Zitat OMG: Unified Modeling Language (OMG UML) version 2.2. superstructure. Technical Report formal/2009-02-02, Object Management Group (2009) OMG: Unified Modeling Language (OMG UML) version 2.2. superstructure. Technical Report formal/2009-02-02, Object Management Group (2009)
126.
Zurück zum Zitat Pilone, D., Pitman, N.: UML 2.0 in a Nutshell. O’Reilly (2005) Pilone, D., Pitman, N.: UML 2.0 in a Nutshell. O’Reilly (2005)
128.
Zurück zum Zitat Cuadra, D., Aljumaily, H., Castro, E., de Diego, M.V.: An OCL-based approach to derive constraint test cases for database applications. Int. J. Softw. Eng. Knowl. Eng. 21(5), 621–645 (2011)CrossRef Cuadra, D., Aljumaily, H., Castro, E., de Diego, M.V.: An OCL-based approach to derive constraint test cases for database applications. Int. J. Softw. Eng. Knowl. Eng. 21(5), 621–645 (2011)CrossRef
129.
Zurück zum Zitat Lukichev, S., Wagner, G.: Visual rules modeling. In: Sixth International Andrei Ershov Memorial Conference Perspectives of System Informatics. Lecture Notes in Computer Science. Springer, Novosibirsk, Russia (2005) Lukichev, S., Wagner, G.: Visual rules modeling. In: Sixth International Andrei Ershov Memorial Conference Perspectives of System Informatics. Lecture Notes in Computer Science. Springer, Novosibirsk, Russia (2005)
130.
Zurück zum Zitat Brockmans, S., Haase, P., Hitzler, P., Studer, R.: A metamodel and UML profile for rule-extended OWL DL ontologies. Lect. Notes Comput. Sci. 4011, 303–316 (2006)CrossRef Brockmans, S., Haase, P., Hitzler, P., Studer, R.: A metamodel and UML profile for rule-extended OWL DL ontologies. Lect. Notes Comput. Sci. 4011, 303–316 (2006)CrossRef
131.
Zurück zum Zitat Stallman, R.M.: GNU Make Reference Manual. Samurai Media Limited (2015) Stallman, R.M.: GNU Make Reference Manual. Samurai Media Limited (2015)
132.
Zurück zum Zitat Nalepa, G.J., Kaczor, K.: Proposal of a rule-based testing framework for the automation of the unit testing process. In: Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation ETFA 2012. Kraków, Poland, 28 Sept 2012 (2012) Nalepa, G.J., Kaczor, K.: Proposal of a rule-based testing framework for the automation of the unit testing process. In: Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation ETFA 2012. Kraków, Poland, 28 Sept 2012 (2012)
134.
Zurück zum Zitat Erl, T.: Service-Oriented Architecture (SOA): Concepts, Technology, and Design. Prentice Hall PTR, Upper Saddle River (2005) Erl, T.: Service-Oriented Architecture (SOA): Concepts, Technology, and Design. Prentice Hall PTR, Upper Saddle River (2005)
135.
Zurück zum Zitat Pant, K., Juric, M.: Business Process Driven SOA using BPMN and BPEL: From Business Process Modeling to Orchestration and Service Oriented Architecture. Packt Publishing, Birmingham (2008) Pant, K., Juric, M.: Business Process Driven SOA using BPMN and BPEL: From Business Process Modeling to Orchestration and Service Oriented Architecture. Packt Publishing, Birmingham (2008)
136.
Zurück zum Zitat Rosenberg, F., Dustdar, S.: Business rules integration in bpel - a service-oriented approach. In: Seventh IEEE International Conference on E-Commerce Technology (CEC’05), pp. 476–479 (2005) Rosenberg, F., Dustdar, S.: Business rules integration in bpel - a service-oriented approach. In: Seventh IEEE International Conference on E-Commerce Technology (CEC’05), pp. 476–479 (2005)
137.
Zurück zum Zitat Ribarić, M. et al.: Modeling of Web Services using Reaction Rules. Information Science Reference. In: Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. IGI Global (2009) Ribarić, M. et al.: Modeling of Web Services using Reaction Rules. Information Science Reference. In: Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. IGI Global (2009)
139.
Zurück zum Zitat Benslimane, D., Dustdar, S., Sheth, A.: Services mashups: the new generation of web applications. IEEE Internet Comput. 12(5), 13–15 (2008)CrossRef Benslimane, D., Dustdar, S., Sheth, A.: Services mashups: the new generation of web applications. IEEE Internet Comput. 12(5), 13–15 (2008)CrossRef
140.
Zurück zum Zitat Nalepa, G.J., Ligęza, A.: Designing reliable Web security systems using rule-based systems approach. In: Menasalvas, E., Segovia, J., Szczepaniak, P.S. (eds.) Advances in Web Intelligence. First International Atlantic Web Intelligence Conference AWIC 2003. Lecture Notes in Artificial Intelligence, vol. 2663, pp. 124–133. Springer, Berlin, Heidelberg, Madrid, Spain, 5-6 May 2003 (2003) Nalepa, G.J., Ligęza, A.: Designing reliable Web security systems using rule-based systems approach. In: Menasalvas, E., Segovia, J., Szczepaniak, P.S. (eds.) Advances in Web Intelligence. First International Atlantic Web Intelligence Conference AWIC 2003. Lecture Notes in Artificial Intelligence, vol. 2663, pp. 124–133. Springer, Berlin, Heidelberg, Madrid, Spain, 5-6 May 2003 (2003)
141.
Zurück zum Zitat Nalepa, G.J., Ligęza, A.: Security systems design and analysis using an integrated rule-based systems approach. In: Szczepaniak, P.S., Kacprzyk, J., Niewiadomski, A. (eds.) Advances in Web Intelligence: 3rd international Atlantic Web Intelligence Conference AWIC 2005. Lecture Notes in Artificial Intelligence, vol. 3528, pp. 334–340. Springer, Berlin, Heidelberg, New York, Lodz, Poland, 6-9 June 2005 (2005) Nalepa, G.J., Ligęza, A.: Security systems design and analysis using an integrated rule-based systems approach. In: Szczepaniak, P.S., Kacprzyk, J., Niewiadomski, A. (eds.) Advances in Web Intelligence: 3rd international Atlantic Web Intelligence Conference AWIC 2005. Lecture Notes in Artificial Intelligence, vol. 3528, pp. 334–340. Springer, Berlin, Heidelberg, New York, Lodz, Poland, 6-9 June 2005 (2005)
142.
Zurück zum Zitat Nalepa, G.J.: A unified firewall model for web security. In: Węgrzyn-Wolska, K.M., Szczepaniak, P.S. (eds.) Advances in Intelligent Web Mastering, Proceedings of the 5th Atlantic Web Intelligence Conference – AWIC’2007. Advances in Soft Computing, vol. 43, pp. 248–253. Springer, Berlin, Heidelberg, New York, Fontainebleau, France (2007) Nalepa, G.J.: A unified firewall model for web security. In: Węgrzyn-Wolska, K.M., Szczepaniak, P.S. (eds.) Advances in Intelligent Web Mastering, Proceedings of the 5th Atlantic Web Intelligence Conference – AWIC’2007. Advances in Soft Computing, vol. 43, pp. 248–253. Springer, Berlin, Heidelberg, New York, Fontainebleau, France (2007)
143.
Zurück zum Zitat Nalepa, G.J.: Application of the XTT rule-based model for formal design and verifcation of internet security systems. In Saglietti, F., Oster, N. (eds.) Computer safety, reliability, and security: 26th international conference, SAFECOMP 2007. Lecture Notes in Computer Science, vol. 4680, pp. 81–86. Springer, Berlin, Heidelberg, Nuremberg, Germany, 18–21 Sept 2007 (2007) Nalepa, G.J.: Application of the XTT rule-based model for formal design and verifcation of internet security systems. In Saglietti, F., Oster, N. (eds.) Computer safety, reliability, and security: 26th international conference, SAFECOMP 2007. Lecture Notes in Computer Science, vol. 4680, pp. 81–86. Springer, Berlin, Heidelberg, Nuremberg, Germany, 18–21 Sept 2007 (2007)
144.
Zurück zum Zitat Paton, N.W., Díaz, O.: Active database systems. ACM Comput. Surv. 31(1), 63–103 (1999)CrossRef Paton, N.W., Díaz, O.: Active database systems. ACM Comput. Surv. 31(1), 63–103 (1999)CrossRef
145.
Zurück zum Zitat Luckham, D.: The power of events: an introduction to complex event processing in distributed enterprise systems. Addison Wesley Professional, Boston (2002) Luckham, D.: The power of events: an introduction to complex event processing in distributed enterprise systems. Addison Wesley Professional, Boston (2002)
146.
Zurück zum Zitat Paschke, A., Boley, H.: Rules Capturing Events and Reactivity. Information Science Reference. In: Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. IGI Global (2009) Paschke, A., Boley, H.: Rules Capturing Events and Reactivity. Information Science Reference. In: Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. IGI Global (2009)
147.
Zurück zum Zitat Paschke, A., Vincent, P., Alves, A., Moxey, C.: Tutorial on advanced design patterns in event processing. In: Bry, F., Paschke, A., Eugster, P.T., Fetzer, C., Behrend, A. (eds.) Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, DEBS 2012, pp. 324–334. ACM, Berlin, Germany, 16–20 July 2012 (2012) Paschke, A., Vincent, P., Alves, A., Moxey, C.: Tutorial on advanced design patterns in event processing. In: Bry, F., Paschke, A., Eugster, P.T., Fetzer, C., Behrend, A. (eds.) Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, DEBS 2012, pp. 324–334. ACM, Berlin, Germany, 16–20 July 2012 (2012)
148.
Zurück zum Zitat Paschke, A.: Reaction ruleml 1.0 for rules, events and actions in semantic complex event processing. In: Bikakis, A., Fodor, P., Roman, D. (eds.) Proceedings of Rules on the Web. From Theory to Applications - 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014. Lecture Notes in Computer Science, vol. 8620, pp. 1–21. Springer, Prague, Czech Republic, 18–20 Aug 2014 (2014) Paschke, A.: Reaction ruleml 1.0 for rules, events and actions in semantic complex event processing. In: Bikakis, A., Fodor, P., Roman, D. (eds.) Proceedings of Rules on the Web. From Theory to Applications - 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014. Lecture Notes in Computer Science, vol. 8620, pp. 1–21. Springer, Prague, Czech Republic, 18–20 Aug 2014 (2014)
149.
Zurück zum Zitat Paschke, A., Boley, H., Zhao, Z., Teymourian, K., Athan, T.: Reaction ruleml 1.0: Standardized semantic reaction rules. In: Bikakis, A., Giurca, A. (eds.) Proceedings of Rules on the Web: Research and Applications - 6th International Symposium, RuleML 2012. Lecture Notes in Computer Science, vol. 7438, pp. 100-119. Springer, Montpellier, France, 27–29 Aug 2012 (2012) Paschke, A., Boley, H., Zhao, Z., Teymourian, K., Athan, T.: Reaction ruleml 1.0: Standardized semantic reaction rules. In: Bikakis, A., Giurca, A. (eds.) Proceedings of Rules on the Web: Research and Applications - 6th International Symposium, RuleML 2012. Lecture Notes in Computer Science, vol. 7438, pp. 100-119. Springer, Montpellier, France, 27–29 Aug 2012 (2012)
150.
Zurück zum Zitat Covington, M.A., Nute, D., Vellino, A.: Prolog Programming in Depth. Prentice-Hall, Upper Saddle River (1996)MATH Covington, M.A., Nute, D., Vellino, A.: Prolog Programming in Depth. Prentice-Hall, Upper Saddle River (1996)MATH
151.
Zurück zum Zitat Ostermayer, L., Seipel, D.: A prolog framework for integrating business rules into java applications. In: Nalepa, G.J., Baumeister, J. (eds.) Proceedings of 9th Workshop on Knowledge Engineering and Software Engineering (KESE9) co-located with the 36th German Conference on Artificial Intelligence (KI2013). CEUR Workshop Proceedings, vol. 1070, Koblenz, Germany, 17 Sept 2013 (2013). http://CEUR-WS.org Ostermayer, L., Seipel, D.: A prolog framework for integrating business rules into java applications. In: Nalepa, G.J., Baumeister, J. (eds.) Proceedings of 9th Workshop on Knowledge Engineering and Software Engineering (KESE9) co-located with the 36th German Conference on Artificial Intelligence (KI2013). CEUR Workshop Proceedings, vol. 1070, Koblenz, Germany, 17 Sept 2013 (2013). http://​CEUR-WS.​org
152.
Zurück zum Zitat Aho, A.V., Kernighan, B.W., Weinberger, P.J.: The AWK Programming Language. Addison-Wesley, Boston (1988)MATH Aho, A.V., Kernighan, B.W., Weinberger, P.J.: The AWK Programming Language. Addison-Wesley, Boston (1988)MATH
153.
Zurück zum Zitat Robbins, A.D.: GAWK: Effective AWK Programming. Free Software Foundation (2016) Robbins, A.D.: GAWK: Effective AWK Programming. Free Software Foundation (2016)
154.
Zurück zum Zitat Ostermayer, L.: Seamless Cooperation of Java and Prolog with CAPJA – A Connector Architecture for Prolog and Java. Ph.D. thesis, Univeristy of Würzburg (2017) Ostermayer, L.: Seamless Cooperation of Java and Prolog with CAPJA – A Connector Architecture for Prolog and Java. Ph.D. thesis, Univeristy of Würzburg (2017)
155.
Zurück zum Zitat Clark, J.: XSL Transformations (XSLT) version 1.0 W3C recommendation 16 november 1999. Technical report, World Wide Web Consortium (W3C) (1999) Clark, J.: XSL Transformations (XSLT) version 1.0 W3C recommendation 16 november 1999. Technical report, World Wide Web Consortium (W3C) (1999)
156.
Zurück zum Zitat Frhwirth, T.: Constraint Handling Rules, 1st edn. Cambridge University Press, New York (2009)CrossRef Frhwirth, T.: Constraint Handling Rules, 1st edn. Cambridge University Press, New York (2009)CrossRef
157.
Zurück zum Zitat Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 3rd edn. Prentice-Hall, Upper Saddle River (2009)MATH Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 3rd edn. Prentice-Hall, Upper Saddle River (2009)MATH
158.
Zurück zum Zitat Hentenryck, P.V.: Constraint Satisfaction in Logic Programming. The MIT Press, Cambridge (1989) Hentenryck, P.V.: Constraint Satisfaction in Logic Programming. The MIT Press, Cambridge (1989)
159.
Zurück zum Zitat Dechter, R.: Constraint Processing. Morgan Kaufmann, The Morgan Kaufmann Series in Artificial Intelligence (2003)MATH Dechter, R.: Constraint Processing. Morgan Kaufmann, The Morgan Kaufmann Series in Artificial Intelligence (2003)MATH
160.
Zurück zum Zitat Apt, K.R.: Principles of Constraint Programming. Cambridge University Press, Cambridge (2003)CrossRefMATH Apt, K.R.: Principles of Constraint Programming. Cambridge University Press, Cambridge (2003)CrossRefMATH
161.
Zurück zum Zitat Wagner, G., Damásio, C.V., Antoniou, G.: Towards a general web rule language. Int. J. Web Eng. Technol. 2(2/3), 181–206 (2005)CrossRef Wagner, G., Damásio, C.V., Antoniou, G.: Towards a general web rule language. Int. J. Web Eng. Technol. 2(2/3), 181–206 (2005)CrossRef
162.
Zurück zum Zitat Fowler, M.: Domain-Specific Languages. Addison Wesley, Boston (2011) Fowler, M.: Domain-Specific Languages. Addison Wesley, Boston (2011)
Metadaten
Titel
Selected Applications of Rules
verfasst von
Grzegorz J. Nalepa
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-66655-6_3