Towards a formal framework for product level agreements
Year of publication: |
2017
|
---|---|
Authors: | Khalfallah, Malik ; Figay, Nicolas ; Barhamgi, Mahmoud ; Ghodous, Parisa |
Published in: |
International journal of business process integration and management : IJBPIM. - Olney, Bucks : Inderscience Enterprises, ISSN 1741-8763, ZDB-ID 2193360-1. - Vol. 8.2017, 1, p. 31-52
|
Subject: | collaboration contracts | cross-organisational processes | COPs | mediation | temporal logic | automata |
-
Specifying and Resolving Temporal Commitments
Mallya, Ashok Ullal, (2002)
-
Towards Inference and Learning in Dynamic Bayesian Networks using Generalized Evidence
Langmead, Christopher J., (2008)
-
Mean-payoff games with ω-regular specifications
Gutierrez, Julian, (2022)
- More ...
-
Cross-organizational business processes modeling using design-by-contract approach
Khalfallah, Malik, (2013)
-
Dynamic manufacturing network : from flat semantic graphs to composite models
Tchoffa, David, (2019)
-
A Predictive Map Task Scheduler for Optimizing Data Locality in MapReduce Clusters
Merabet, Mohamed, (2018)
- More ...