publications:
- title: "An Event-Driven Approach for Runtime Verification of Inter-Organizational Choreographies"
  author:
  - name: "Aymen Baouab"
    link: "http://www.loria.fr/~baouabmo/"
  - name: "Perrin, Olivier"
    link: "https://researchr.org/alias/perrin%2C-olivier"
  - name: "Godart, Claude"
    link: "https://researchr.org/alias/godart%2C-claude"
  year: "2011"
  month: "Jul"
  doi: "10.1109/SCC.2011.55"
  abstract: "In todays economy, collaborative computing grows in importance. Inter-organizational service-based processes are increasingly adopted by different companies when they cannot achieve goals on their own. As a result, conformance problems arise and it must be ensured that the integrity of processes execution remains guaranteed. In this paper, we propose new components, to be deployed along the boundaries of each participating organization, offering external flow control, and notification in case of violation detection, while providing process execution traceability. To achieve our goals, we propose an event-based approach in which inter-organizational exchanges are perceived as events. We define event patterns for filtering the desirable incoming and outgoing messages."
  links:
    "url": "http://hal.inria.fr/inria-00596454"
  tags:
  - "deployment"
  - "collaborative filtering"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/baouab%3Ainria-00596454"
  cites: 0
  citedby: 0
  pages: "640-647"
  booktitle: "The 8th International Conference on Services Computing (IEEE SCC 2011)"
  address: "Washington, US"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "baouab:inria-00596454"
- title: "Security meta-services orchestration architecture"
  author:
  - name: "Aymen Baouab"
    link: "http://www.loria.fr/~baouabmo/"
  - name: "Olivier Perrin"
    link: "https://researchr.org/alias/olivier-perrin"
  - name: "Nicolas Biri"
    link: "https://researchr.org/alias/nicolas-biri"
  - name: "Claude Godart"
    link: "https://researchr.org/alias/claude-godart"
  year: "2009"
  doi: "http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5394146&isnumber=5394078"
  links:
    doi: "http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5394146&isnumber=5394078"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/apscc/BaouabPBG09"
  tags:
  - "meta-model"
  - "architecture"
  - "security"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/BaouabPBG09"
  cites: 0
  citedby: 0
  pages: "28-33"
  booktitle: "4th IEEE Asia-Pacific Services Computing Conference, IEEE APSCC 2009, Singapore, December 7-11 2009, Proceedings"
  editor:
  - name: "Markus Kirchberg"
    link: "https://researchr.org/alias/markus-kirchberg"
  - name: "Patrick C. K. Hung"
    link: "https://researchr.org/alias/patrick-c.-k.-hung"
  - name: "Barbara Carminati"
    link: "https://researchr.org/alias/barbara-carminati"
  - name: "Chi-Hung Chi"
    link: "https://researchr.org/alias/chi-hung-chi"
  - name: "Rajaraman Kanagasabai"
    link: "https://researchr.org/alias/rajaraman-kanagasabai"
  - name: "Emanuele Della Valle"
    link: "https://researchr.org/alias/emanuele-della-valle"
  - name: "Kun-Chan Lan"
    link: "https://researchr.org/alias/kun-chan-lan"
  - name: "Ling-Jyh Chen"
    link: "https://researchr.org/alias/ling-jyh-chen"
  publisher: "IEEE"
  isbn: "978-1-4244-5336-8"
  kind: "inproceedings"
  key: "BaouabPBG09"
- title: "Towards Decentralized Monitoring of Supply Chains"
  author:
  - name: "Aymen Baouab"
    link: "http://www.loria.fr/~baouabmo/"
  - name: "Fdhila, Walid"
    link: "https://researchr.org/alias/fdhila%2C-walid"
  - name: "Perrin, Olivier"
    link: "https://researchr.org/alias/perrin%2C-olivier"
  - name: "Godart, Claude"
    link: "https://researchr.org/alias/godart%2C-claude"
  year: "2012"
  month: "Jun"
  abstract: "Cross-organizational service-based processes are increasingly adopted by different companies when they can not achieve goals on their own. In order to guarantee that all involved partners are informed about errors that may happen in the collaboration, it is necessary to monitor the execution process by continuously observing and checking message exchanges during runtime. This allows a global process tracking and evaluation of process metrics. In this paper, we present an approach for decentralized monitoring of cross-organizational choreographies. We introduce the concept of External Flow Monitoring and define a hierarchical propagation model for exchanging external notifications between the collaborating parties. We also introduce the concept of EFM-view which allows partners to track the state of the choreography beyond their own processes. The collected monitoring data can be further used for the evaluation of global process metrics by expressing and evaluating statistical queries over execution traces."
  links:
    "url": "http://hal.inria.fr/hal-00718203"
  tags:
  - "rule-based"
  - "process monitoring"
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "process modeling"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/baouab%3Ahal-00718203"
  cites: 0
  citedby: 0
  booktitle: "The 2012 IEEE Nineteenth International Conference on Web Services (ICWS 2012)"
  address: "Honolulu, {\\'E}tats-Unis"
  publisher: "IEEE Service Computing"
  kind: "inproceedings"
  key: "baouab:hal-00718203"
- title: "On Evolving Partitioned Web Service Orchestrations"
  author:
  - name: "Walid Fdhila"
    link: "https://researchr.org/alias/walid-fdhila"
  - name: "Stefanie Rinderle-Ma"
    link: "https://researchr.org/alias/stefanie-rinderle-ma"
  - name: "Aymen Baouab"
    link: "http://www.loria.fr/~baouabmo/"
  - name: "Olivier Perrin"
    link: "https://researchr.org/alias/olivier-perrin"
  - name: "Claude Godart"
    link: "https://researchr.org/alias/claude-godart"
  year: "2012"
  tags:
  - "partitioning"
  researchr: "https://researchr.org/publication/FdhilaRinderle-MaBaouabPerrinGodartFdhilaRinderle-MaBaouabPerrinGodart2012"
  cites: 0
  citedby: 0
  kind: "inproceedings"
  key: "FdhilaRinderle-MaBaouabPerrinGodartFdhilaRinderle-MaBaouabPerrinGodart2012"
- title: "Change propagation in decentralized composite web services"
  author:
  - name: "Walid Fdhila"
    link: "https://researchr.org/alias/walid-fdhila"
  - name: "Aymen Baouab"
    link: "http://www.loria.fr/~baouabmo/"
  - name: "Karim Dahman"
    link: "https://researchr.org/alias/karim-dahman"
  - name: "Claude Godart"
    link: "https://researchr.org/alias/claude-godart"
  - name: "Olivier Perrin"
    link: "https://researchr.org/alias/olivier-perrin"
  - name: "Fran\\c{c}ois Charoy"
    link: "https://researchr.org/alias/fran%5Ebc%7Bc%7Dois-charoy"
  year: "2011"
  tags:
  - "change propagation"
  researchr: "https://researchr.org/publication/DBLP%3Aconf-colcom-FdhilaBDGPC11"
  cites: 0
  citedby: 0
  pages: "508-511"
  booktitle: "CollaborateCom"
  kind: "inproceedings"
  key: "DBLP:conf-colcom-FdhilaBDGPC11"
- title: "An Optimized Derivation of Event Queries to Monitor Choreography Violations"
  author:
  - name: "Aymen Baouab"
    link: "http://www.loria.fr/~baouabmo/"
  - name: "Perrin, Olivier"
    link: "https://researchr.org/alias/perrin%2C-olivier"
  - name: "Godart, Claude"
    link: "https://researchr.org/alias/godart%2C-claude"
  year: "2012"
  month: "Nov"
  doi: "10.1007/978-3-642-34321-6\\_15"
  abstract: "The dynamic nature of the cross-organizational business processes poses various challenges to their successful execution. Choreography description languages help to reduce such complexity by providing means for describing complex systems at a higher level. However, this does not necessarily guarantee that erroneous situations cannot occur due to inappropriately specified interactions. Complex event processing can address this concern by analyzing and evaluating message exchange events, to the aim of checking if the actual behavior of the interacting entities effectively adheres to the modeled business constraints. This paper proposes a runtime event-based approach to deal with the problem of monitoring conformance of interaction sequences. Our approach allows for an automatic and optimized generation of rules. After parsing the choreography graph into a hierarchy of canonical blocks, tagging each event by its block ascendancy, an optimized set of monitoring queries is generated. We evaluate the concepts based on a scenario showing how much the number of queries can be significantly reduced."
  links:
    "url": "http://hal.inria.fr/hal-00730253"
  tags:
  - "rule-based"
  - "process monitoring"
  - "model checking"
  - "meta-model"
  - "modeling language"
  - "tagging"
  - "graph query"
  - "language modeling"
  - "business rules"
  - "business process modeling"
  - "constraints"
  - "graph-rewriting"
  - "rules"
  - "Meta-Environment"
  - "parsing"
  - "process modeling"
  - "systematic-approach"
  - "query language"
  researchr: "https://researchr.org/publication/baouab%3Ahal-00730253"
  cites: 0
  citedby: 0
  pages: "222-236"
  booktitle: "10th International Conference on Service Oriented Computing (ICSOC 2012 )"
  volume: "7636"
  series: "Lecture Notes in Computer Science"
  address: "Shanghai, Chine"
  publisher: "Springer"
  kind: "inproceedings"
  key: "baouab:hal-00730253"