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