Skip to main content
SpringerLink
Log in
Book cover

International Conference on Web Information Systems Engineering

WISE 2010: Web Information Systems Engineering – WISE 2010 Workshops pp 142–155Cite as

Business Rules for Creating Process Flexibility: Mapping RIF Rules and BDI Rules

  • Conference paper

  • 1012 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 6724))

Abstract

Business rules and software agents can be used for creating flexible business processes. The Rule Interchange Format (RIF) is a new W3C recommendation standard for exchanging rules among disparate systems. Yet, the impact that the introduction of RIF has on the design of flexible business processes is unclear. Intelligent software agents can be used to create dynamic business processes. The BDI architectural style is regarded as the predominant approach for the implementation of intelligent agents. It is expected that using RIF can enhance the reasoning capability of agents. Yet, these two developments are not connected. In this research, an approach is developed for integrating RIF and BDI agents. This approach consists of an integration architecture and equivalence principles for rule translation. The equivalence principles are demonstrated using examples. The results show that the approach allows the integration of RIF with BDI agent programming and in this way enhances agent reasoning capabilities.

This is a preview of subscription content, 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   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. Gong, Y., Janssen, M.: Agent-Based Simulation for Evaluating Flexible and Agile Business Processes: Separating Knowledge Rules, Process Rules and Information Resources. In: Barjis, J. (ed.) EOMAS 2010. Lecture Notes in Business Information Processing, vol. 63, pp. 41–58. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  2. Pesic, M., van der Aalst, W.M.P.: A Declarative Approach for Flexible Business Processes Management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169–180. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  3. Overbeek, S., Klievink, B., Janssen, M.: A Flexible, Event-Driven, Service-Oriented Architecture for Orchestrating Service Delivery. IEEE Intelligent Systems 24, 31–41 (2009)

    Article  Google Scholar 

  4. Orriëns, B., Yang, J., Papazoglou, M.P.: A Framework for Business Rule Driven Web Service Composition. In: Jeusfeld, M.A., Pastor, Ó. (eds.) ER Workshops 2003. LNCS, vol. 2814, pp. 52–64. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  5. OMG: Semantics of Business Vocabulary and Business Rules (SBVR), v1.0. Object Management Group (2008)

    Google Scholar 

  6. Janssen, M., Verbraeck, A.: An Agent-based Simulation Testbed for Evaluating Internet-based Matching Mechanisms. Simulation Modelling Practice and Theory 13, 371–388 (2005)

    Article  Google Scholar 

  7. Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice Hall, Upper Saddle River (2003)

    MATH  Google Scholar 

  8. Luck, M., McBurney, P., Shehory, O., Willmott, S.: Agent Technology: Computing as Interaction (A Roadmap for Agent Based Computing). AgentLink (2005)

    Google Scholar 

  9. Lu, R., Sadiq, W.: A Survey of Comparative Business Process Modeling Approaches. In: Abramowicz, W. (ed.) BIS 2007. LNCS, vol. 4439, pp. 82–94. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  10. Wooldridge, M.: Reasoning about Rational Agents. The MIT Press, Cambridge (2000)

    MATH  Google Scholar 

  11. Mascardi, V., Demergasso, D., Ancona, D.: Languages for Programming BDI-style Agents: an Overview. In: Corradini, F., De Paoli, F., Merelli, E., Omicini, A. (eds.) 6th AI*IA/TABOO Joint Workshop “From Objects to Agents”: Simulation and Formal Analysis of Complex Systems, pp. 9–15. Pitagora Editrice Bologna (2005)

    Google Scholar 

  12. Klapiscak, T., Bordini, R.H.: JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS (LNAI), vol. 5397, pp. 91–110. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  13. Bordini, R.H., Hübner, J.F.: BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper). In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 143–164. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  14. Bordini, R.H., Moreira, Á.F.: Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. Electronic Notes in Theoretical Computer Science 70, 108–125 (2002)

    Article  MATH  Google Scholar 

  15. Moreira, Á.F., Bordini, R.H.: An Operational Semantics for a BDI Agent-Oriented Programming Language. In: Proceedings of the Workshop on Logics for Agent-Based Systems (LABS 2002), held in conjunction with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), Toulouse, France, pp. 45–59 (2002)

    Google Scholar 

  16. Hu, Y.-J., Yeh, C.-L., Laun, W.: Challenges for Rule Systems on the Web. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 4–16. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  17. Horn, A.: On Sentences Which are True of Direct Unions of Algebras. The Journal of Symbolic Logic 16, 14–21 (1951)

    Article  MATH  MathSciNet  Google Scholar 

  18. Niemelä, I.: Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence 25, 241–273 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  19. Madden, N., Logan, B.: Modularity and compositionality in Jason. In: Braubach, L., Briot, J.-P., Thangarajah, J. (eds.) ProMAS 2009. LNCS, vol. 5919, pp. 237–253. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  20. Ross, R.G.: Principles of the Business Rule Approach. Addison-Wesley Professional, Reading (2003)

    Google Scholar 

  21. Hübner, J.F., Bordini, R.H.: Jason Home page (2009), http://jason.sourceforge.net/JasonWebSite/Jason%20Home.php

  22. W3C: Implementations - RIF. World Wide Web Consortium (2010), http://www.w3.org/2005/rules/wiki/Implementations

  23. W3C: RIF Overview (W3C Working Group Note 22 June 2010). World Wide Web Consortium (2010), http://www.w3.org/TR/2010/NOTE-rif-overview-20100622/

  24. W3C: RIF Basic Logic Dialect (W3C Proposed Recommendation 22 June 2010). World Wide Web Consortium (2010), http://www.w3.org/TR/2010/REC-rif-bld-20100622/

  25. W3C: RIF Core Dialect (W3C Proposed Recommendation 22 June 2010). World Wide Web Consortium (2010), http://www.w3.org/TR/2010/REC-rif-core-20100622/

  26. W3C: RIF Framework for Logic Dialects (W3C Proposed Recommendation 22 June 2010). World Wide Web Consortium (2010), http://www.w3.org/TR/2010/REC-rif-fld-20100622/

  27. W3C: RIF Production Rule Dialect (W3C Proposed Recommendation 22 June 2010). World Wide Web Consortium (2010), http://www.w3.org/TR/2010/REC-rif-prd-20100622/

Download references

Author information

Authors and Affiliations

  1. Faculty of Technology, Policy and Management, Delft University of Technology, Jaffalaan 5, 2628 BX, Delft, The Netherlands

    Yiwei Gong, Sietse Overbeek & Marijn Janssen

Authors
  1. Yiwei Gong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sietse Overbeek
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marijn Janssen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dickson Computer Systems, 7A Victory Avenue 4/F Homantin, Kowloon, Hong Kong, China

    Dickson K. W. Chiu

  2. Ecole Nationale Supérieure de Mécanique et d’Aréotechnique, Laboratoire d’Informatique Scientifique et Industrielle, Téléport 2 - avenue Clément Ader, 86961, Futuroscope Chasseneuil Cedex, France

    Ladjel Bellatreche

  3. Dept. of Computer Science and Engineering, Ritsumeikan University, Wakakusa 6-4-10, 525-0045, Kusatu, Shiga, Japan

    Hideyasu Sasaki

  4. Department of Computer Science and Engineering, The Chinese University of Hong Kong, Sha Tin, Hong Kong, China

    Ho-fung Leung

  5. Department of Computer Science and Engineering, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong, China

    Shing-Chi Cheung

  6. School of Computer Science, Hangshou Dianzi University, Xiasha Higher Education Zone, 310018, Hanshou City, Zhejiang, China

    Haiyang Hu

  7. Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Parkville, Victoria, Australia

    Jie Shao

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gong, Y., Overbeek, S., Janssen, M. (2011). Business Rules for Creating Process Flexibility: Mapping RIF Rules and BDI Rules. In: Chiu, D.K.W., et al. Web Information Systems Engineering – WISE 2010 Workshops. WISE 2010. Lecture Notes in Computer Science, vol 6724. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24396-7_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-24396-7_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-24395-0

  • Online ISBN: 978-3-642-24396-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation