L. Martín-abadi and . Lamport, Composing Specifications, ACM Transactions on Programming Languages and Systems, vol.15, pp.73-132, 1993.

M. Abadi and G. D. Plotkin, A logical view of composition, Theoretical Computer Science, vol.114, pp.3-30, 1993.

. Luca-de, T. A. Alfaro, and . Henzinger, Interface Automata, Foundation of Software Engineering (ESEC/FES-9, pp.109-120, 2001.

E. Badouel, L. Hélouët, G. Kouamou, C. Van, R. Fondze-jr et al., Active Workspaces; Distributed Collaborative Systems based on Guarded Attribute Grammars, ACM SIGAPP Applied Computing Review, vol.15, issue.3, pp.6-34, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01237131

D. Harel and A. Pnueli, On the development of reactive systems, Logics Models of Concurrent Systems, vol.13, pp.477-498, 1984.

P. M. Merlin and G. Von-bochmann, On the construction of submodule specifications and communication protocols, ACM Transactions on Programming Languages and Systems, vol.5, pp.1-25, 1983.

R. Fondze, E. Nsaibirni, G. Badouel, G. Texier, and . Kouamou, Active Workspace: A Dynamic Collaborative Business Process Model for Disease Surveillance Systems, Health Informatics and Medical Systems, pp.58-64, 2016.

V. R. Pratt, Origins of the Calculus of Binary Relations, IEEE Logic in Computer Science (LICS'92), pp.248-254, 1992.

J. Raclet, Residual for Component Specifications, Electronic Notes in Theoretical Computer Science, vol.215, pp.93-110, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00141898

G. Shafer, A mathematical theory of evidence, 1976.

L. Zadeh, Fuzzy Sets as the Basis for a Theory of Possibility, Fuzzy Sets and Systems, vol.1, pp.3-28, 1978.

A. Caetano, . Antonio, J. Silva, and . Tribolet, Business Process Decomposition -An Approach Based on the Principle of Separation of Concerns, Enterprise Modelling and Information Systems Architectures, vol.5, pp.44-57, 2010.

D. Ferraiolo and R. Kuhn, Role-Based Access Control, 15th NIST-NCSC National Computer Security Conference, pp.554-563, 1992.

O. Kazik, Role-based Approaches to Development of Multi-Agent Systems: A Survey, WDS'10 Proceedings of Contributed Papers, pp.19-24, 2010.

H. Zhu, Role mechanisms in collaborative systems, International Journal of Production Research, vol.44, issue.1, pp.181-193, 2006.

. Haibin-zhu, A role agent model for collaborative systems, International Conference on Information and Knowledge Engineering, vol.2, pp.438-444, 2003.

M. Winters, BPMN and Microservices Orchestration, Part 1 of 2: Flow Languages, Engines, and Timeless Patterns, 2018.

A. Wegmann and G. Genilloud, The Role of "Roles" in Use Case Diagrams, EPFL-DSC CH-1015 Lausanne, 2000.

R. S. Sandhu, E. J. Coyne, H. L. Feinstein, and C. E. Youman, Role-Based Access Control Models, Computer, vol.29, pp.38-47, 1996.

. Bernd-r"ucker, The Microservices Workflow Automation Cheat Sheet, 2018.

K. Czarnecki and U. W. Eisenecker, Generative programming-methods, tools and applications, 2000.