Composing Specifications, ACM Transactions on Programming Languages and Systems, vol.15, pp.73-132, 1993. ,
A logical view of composition, Theoretical Computer Science, vol.114, pp.3-30, 1993. ,
Interface Automata, Foundation of Software Engineering (ESEC/FES-9, pp.109-120, 2001. ,
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
On the development of reactive systems, Logics Models of Concurrent Systems, vol.13, pp.477-498, 1984. ,
On the construction of submodule specifications and communication protocols, ACM Transactions on Programming Languages and Systems, vol.5, pp.1-25, 1983. ,
Active Workspace: A Dynamic Collaborative Business Process Model for Disease Surveillance Systems, Health Informatics and Medical Systems, pp.58-64, 2016. ,
Origins of the Calculus of Binary Relations, IEEE Logic in Computer Science (LICS'92), pp.248-254, 1992. ,
Residual for Component Specifications, Electronic Notes in Theoretical Computer Science, vol.215, pp.93-110, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00141898
A mathematical theory of evidence, 1976. ,
Fuzzy Sets as the Basis for a Theory of Possibility, Fuzzy Sets and Systems, vol.1, pp.3-28, 1978. ,
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. ,
Role-Based Access Control, 15th NIST-NCSC National Computer Security Conference, pp.554-563, 1992. ,
Role-based Approaches to Development of Multi-Agent Systems: A Survey, WDS'10 Proceedings of Contributed Papers, pp.19-24, 2010. ,
Role mechanisms in collaborative systems, International Journal of Production Research, vol.44, issue.1, pp.181-193, 2006. ,
A role agent model for collaborative systems, International Conference on Information and Knowledge Engineering, vol.2, pp.438-444, 2003. ,
, BPMN and Microservices Orchestration, Part 1 of 2: Flow Languages, Engines, and Timeless Patterns, 2018.
The Role of "Roles" in Use Case Diagrams, EPFL-DSC CH-1015 Lausanne, 2000. ,
Role-Based Access Control Models, Computer, vol.29, pp.38-47, 1996. ,
The Microservices Workflow Automation Cheat Sheet, 2018. ,
Generative programming-methods, tools and applications, 2000. ,