Behavioural contracts with request-response operations, Sci. Comp. Program, vol.78, issue.2, pp.248-267, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01054626
Interface Automata, ESEC/FSE, pp.109-120, 2001. ,
A Theory of Timed Automata, Theoret. Comp. Sci, vol.126, issue.2, pp.183-235, 1994. ,
, Feature-Oriented Software Product Lines: Concepts and Implementation, 2013.
Controller Synthesis for Timed Automata, IFAC Proc, vol.31, issue.18, pp.447-452, 1998. ,
Automated Service Composition Via Supervisory Control Theory, pp.28-35, 2016. ,
Contract automata: An operational view of contracts between interactive parties, Artif. Intell. Law, vol.24, issue.3, pp.203-243, 2016. ,
Compliance in Behavioural Contracts: A Brief Survey, Programming Languages with Applications to Biology and Security, vol.9465, pp.103-121, 2015. ,
Controller synthesis of service contracts with variability, Science of Computer Programming, 2019. ,
,
Orchestration Synthesis for Real-Time Service Contracts, VECoS. LNCS, vol.11181, pp.31-47, 2018. ,
Automata for Specifying and Orchestrating Service Contracts, Log. Meth. Comp. Sci, vol.12, issue.6, pp.1-51, 2016. ,
Playing with Our CAT and Communication-Centric Applications, FORTE. LNCS, vol.9688, pp.62-73, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01432928
Relating two automata-based models of orchestration and choreography, J. Log. Algebr. Meth. Program, vol.85, issue.3, pp.425-446, 2016. ,
Specifying Variability in Service Contracts, pp.20-27, 2017. ,
Feature Models, Grammars, and Propositional Formulas, SPLC. LNCS, vol.3714, pp.7-20, 2005. ,
CIF 3: Model-Based Engineering of Supervisory Controllers, TACAS. LNCS, vol.8413, pp.575-580, 2014. ,
Web Service Composition Approaches: From Industrial Standards to Formal Methods, 2007. ,
Communication Requirements for Team Automata, COORDINATION. LNCS, vol.10319, pp.256-277, 2017. ,
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints, J. Log. Algebr. Meth. Program, vol.85, issue.2, pp.287-315, 2016. ,
Supervisory Controller Synthesis for Product Lines Using CIF 3, ISoLA. LNCS, vol.9952, pp.856-873, 2016. ,
Family-Based Model Checking with mCRL2, FASE. LNCS, vol.10202, pp.387-405, 2017. ,
A Service Computing Manifesto: The Next 10 Years, Commun. ACM, vol.60, issue.4, pp.64-72, 2017. ,
Multiparty Sessions in SOC, COORDI-NATION, vol.5052, pp.67-82, 2008. ,
Introduction to Discrete Event Systems, 2006. ,
Efficient On-the-Fly Algorithms for the Analysis of Timed Games, CONCUR. LNCS, vol.3653, pp.66-80, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00350475
On Global Types and Multi-Party Sessions, Log. Meth. Comp. Sci, vol.8, issue.1, pp.1-45, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00694636
A Theory of Contracts for Web Services, ACM Trans. Program. Lang. Syst, vol.31, issue.5, p.61, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00694649
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking, IEEE Trans. Softw. Eng, vol.39, issue.8, pp.1069-1089, 2013. ,
An Overview of the mCRL2 Toolset and Its Recent Advances, TACAS. LNCS, vol.7795, pp.199-213, 2013. ,
Supervisory Control for Modal Specifications of Services, IFAC Proc, vol.43, issue.12, pp.418-425, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00472736
Timed I/O Automata: A Complete Specification Theory for Real-time Systems, pp.91-100, 2010. ,
Sessions and Session Types: An Overview, WS-FM, vol.6194, pp.1-28, 2010. ,
Modal Specifications for the Control Theory of Discrete Event Systems, Discrete Event Dyn. Syst, vol.17, issue.2, pp.211-232, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00555754
Reducing Adapter Synthesis to Controller Synthesis, IEEE Trans. Services Computing, vol.5, issue.1, pp.72-85, 2012. ,
On the complexity of supervisory control design in the RW framework, Man, Cybern. B, Cybern, vol.30, issue.5, pp.643-652, 2000. ,
Multiparty Asynchronous Session Types, POPL, pp.273-284, 2008. ,
Foundations of Session Types and Behavioural Contracts, ACM Comput. Surv, vol.49, issue.1, pp.1-3, 2016. ,
Web Services Choreography Description Language v1, 2005. ,
30 Years of Modal Transition Systems: Survey of Extensions and Analysis, Models, Algorithms, Logics and Tools, vol.10460, pp.36-74, 2017. ,
An algebraic theory for web service contracts, Form. Asp. Comp, vol.27, issue.4, pp.613-640, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01229401
From Communicating Machines to Graphical Choreographies, POPL, pp.221-232, 2015. ,
Modal I/O Automata for Interface and Product Line Theories, ESOP. LNCS, vol.4421, pp.64-79, 2007. ,
An Introduction to Input/Output Automata, CWI Q, vol.2, pp.219-246, 1989. ,
Session types for safe Web service orchestration, J. Log. Algebr. Program, vol.82, issue.8, pp.282-310, 2013. ,
Web Services Orchestration and Choreography, IEEE Comp, vol.36, issue.10, pp.46-52, 2003. ,
, Software Product Line Engineering: Foundations, Principles, and Techniques, 2005.
Supervisory control of a class of discrete event processes, SIAM J. Control Optim, vol.25, issue.1, pp.206-230, 1987. ,
Deploying and managing Web services: issues, solutions, and directions, VLDB J, vol.17, issue.3, pp.735-572, 2008. ,