References

  1. James F. Allen & George Ferguson (1994): Actions and Events in Interval Temporal Logic. J. Log. Comput. 4(5), pp. 531–579, doi:10.1093/logcom/4.5.531.
  2. Marco Autili & Massimo Tivoli (2014): Distributed Enforcement of Service Choreographies. In: Proceedings Int'l Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA, pp. 18–35, doi:10.4204/EPTCS.175.2.
  3. Imran Sarwar Bajwa, Mark G. Lee & Behzad Bordbar (2011): SBVR Business Rules Generation from Natural Language Specification. In: Proceedings of AAAI Spring Symposium: AI for Business Agility, pp. 2–8.
  4. Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini & Paolo Torroni (2010): Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?. In: A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP, pp. 204–230, doi:10.1007/978-3-642-14309-0_10.
  5. Tevfik Bultan & Xiang Fu (2007): Specification of Realizable Service Conversations Using Collaboration Diagrams. In: In Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, SOCA, pp. 122–132, doi:10.1109/SOCA.2007.41.
  6. J. Camara, G. Salaun, C. Canal & M. Ouederni (2009): Interactive Specification and Verification of Behavioural Adaptation Contracts. In: Proceedings of the 9th International Conference on Quality Software, doi:10.1109/QSIC.2009.17.
  7. C. J. Date (2000): What not How - The Business Rules Approach to Application Development. Addison-Wesley.
  8. C. J. Date (2004): An Introduction to Database Systems. Addison-Wesley.
  9. Marlon Dumas, Murray Spork & Kenneth Wang (2006): Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation. In: Schahram Dustdar, JoséLuiz Fiadeiro & AmitP. Sheth: Business Process Management, Lecture Notes in Computer Science, pp. 65–80, doi:10.1007/11841760_6.
  10. Dirk Fahland, Daniel Lübke, Jan Mendling, Hajo A. Reijers, Barbara Weber, Matthias Weidlich & Stefan Zugal (2009): Declarative versus Imperative Process Modeling Languages: The Issue of Understandability. In: Enterprise, Business-Process and Information Systems Modeling, 10th International Workshop, BPMDS, and 14th International Conference, EMMSAD, pp. 353–366, doi:10.1007/978-3-642-01862-6_29.
  11. Juliana Küster Filipe & Sotiris Moschoyiannis (2007): Concurrent Logic and Automata Combined: A Semantics for Components. In: Proceedings Int'l Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA, Elec. Notes in Theort. Comp. Sci., pp. 135–151, doi:10.1016/j.entcs.2007.03.008.
  12. Howard Foster, Sebastian Uchitel, Jeff Magee & Jeff Kramer (2006): LTSA-WS: A Tool for Model-based Verification of Web Service Compositions and Choreography. In: Proceedings of the 28th International Conference on Software Engineering, doi:10.1145/1134285.1134408.
  13. Michael Huth & Mark Dermot Ryan (2004): Logic in Computer Science - Modelling and Reasoning about Systems. Cambridge University Press, doi:10.1017/CBO9780511810275.
  14. M. Usman Iftikhar & Danny Weyns (2012): A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System. In: Proceedings 11th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA, pp. 45–62, doi:10.4204/EPTCS.91.4.
  15. Jean-Marie Jacquet, Isabelle Linden & Mihail-Octavian Staicu (2013): On the Introduction of Time in Distributed Blackboard Rules Jean-Marieq. In: Proceedings 12th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA, pp. 144–203, doi:10.1007/978-3-642-45364-9_13.
  16. François Lévy & Adeline Nazarenko (2013): Formalization of Natural Language Regulations through SBVR Structured English - (Tutorial). In: Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML, pp. 19–33, doi:10.1007/978-3-642-39617-5_5.
  17. A. Marinos & P. Krause (2009): What, Not How: A Generative Approach to Service Composition. In: 3rd IEEE International Conference on Digital Ecosystems and Technologies, pp. 115–120, doi:10.1109/DEST.2009.5276716.
  18. Alexandros Marinos, Pagan Gazzard & Paul J Krause (2011): An SBVR Editor with Highlighting and Auto-completion. In: Semantic Web Rules - International Symposium, RuleML, pp. 111–118.
  19. Alexandros Marinos & Paul J. Krause (2009): An SBVR Framework for RESTful Web Applications. In: Rule Interchange and Applications, International Symposium, RuleML 2009 5858. LNCS, pp. 144–158, doi:10.1007/978-3-642-04985-9_15.
  20. Alexandros Marinos, Sotiris Moschoyiannis & Paul J Krause (2010): An SBVR to SQL Compiler. In: Proceedings of the RuleML-2010 Challenge, at the 4th Int'l Web Rule Symposium 649. Available at http://ceur-ws.org/Vol-649/paper7.pdf.
  21. Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello & Sergio Storari: Declarative Specification and Verification of Service Choreographies. ACM Transactions on the Web, TWEB 4(1), pp. 3:1–3:62.
  22. Sotiris Moschoyiannis & Paul J. Krause (2015): True Concurrency in Long-running Transactions for Digital Ecosystems. Fundamenta Informaticae 138(4), pp. 483–514, doi:10.3233/FI-2015-1222.
  23. Sotiris Moschoyiannis, Alexandros Marinos & Paul J. Krause (2010): Generating SQL Queries from SBVR Rules. In: Semantic Web Rules - International Symposium, RuleML, pp. 128–143, doi:10.1007/978-3-642-16289-3_12.
  24. OASIS (2007): Web Services Business Process Execution Language Version 2.0. Technical Report. Available at https://www.oasis-open.org/committees/tc_home.php?wg_abbrev=wsbpel..
  25. OMG (2013): Business Process Model and Notation (BPMN). Technical Report. Available at http://www.omg.org/spec/BPMN.
  26. OMG (2013): Semantics Of Business Vocabulary And Business Rules (SBVR), V1.2. Technical Report. Available at http://www.omg.org/spec/SBVR/1.2/PDF.
  27. OMG (2015): Date-Time Vocabulary (DTV). Technical Report. Available at http://www.omg.org/spec/DTV/.
  28. OMG (2015): Object Constraint Language (OCL). Technical Report. Available at www.omg.org/spec/OCL/.
  29. Alexandra S. Penn, Christopher J. Knight & et al. Georgios Chalkias (2015): Extending Participatory Fuzzy Cognitive Mapping with a Control Nodes Methodology: A Case Study of the Development of a Bio-based Economy in the Humber Region, UK. In: Steven Gray, Michael Paolisso, Rebecca Jordan & Stefan Gray: Environmental Modeling with Stakeholders. Springer. In press.
  30. R. G. Ross (2003): The Business Rules Manifesto, Version 2. Technical Report. Business Rules Group.
  31. Dmitry Solomakhin (2011): Logical Formalization of Semantic Business Vocabulary and Rules.
  32. Dmitry Solomakhin, Enrico Franconi & Alessandro Mosca (2013): Logic-based Reasoning Support for SBVR. Fundamenta Informaticae 124(4), doi:10.3233/FI-2013-848.
  33. Jianwen Su, Tevfik Bultan, Xiang Fu & Xiangpeng Zhao (2007): Towards a Theory of Web Service Choreographies. In: Web Services and Formal Methods, 4th International Workshop, WS-FM, pp. 1–16, doi:10.1007/978-3-540-79230-7_1.
  34. W3C (2006): Web Services Choreography Description Language. Technical Report. Available at http://www.w3.org/TR/ws-cdl-10-primer/.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org