alors la traduction de l'activité receive est la suivante : Receive (?, F, X) (f ) = var X:type (X) in Lock ,
reply " , dans le cas o` u un message est renvoyé, suit le même schéma que celle de l'activité " receive " . Si la variable n'est pas partagée, alors la traduction de l'activité " reply " est la suivante : Reply ,
alors la traduction de l'activité " reply " est la suivante : Reply (?, F, X) (f ) = var X:type (X) in Lock ,
les valeurs sont toujours conformesàconformesà leur type, il n'est donc pas nécessaire de réserver un traitement particulieràparticulierà l'activité " validate ,
X n (de types respectifs T 1 ...T n ) les variables partagées figurant dans l'expression booléenne Expr qui sert de conditionàconditionà l'activité " if, If (Expr, Activity 1 , Activity 2 ) (faux) = var X 1 :T 1 ,...,X n :T n in Read X 1 ,
X n (de types respectifs T 1 ...T n ) les variables partagées figurant dans l'expression booléenne Expr qui sert de condition de continuationàcontinuationà l'activité " while " : While (Expr, Activity) (f ) = var X 1 :T 1 ,
Activity) Pick (f ) = i; Activity (f ) OnAlarmUntil (Expr, Activity) Pick (f ) (B) = i; Activity (f ) OnEvent (?, Activity) Pick (f ) = var X:M in ? ,
OVvdA + 07] ; toute la sémantique des liens de contrôle est traduite, sauf les aspects relevant des données comme les conditions de démarrage et de transitions. Foster [Fos06]BGS07] ne prennent en compte que l'aspect de la sémantique des liens quireì event de la synchronisation entre branchesparalì eles au sein de l'activité " flow, en revanche, les approches de ces différents auteurs occultent les aspects relatifsàrelatifsà la propagation de valeurs sur les liens en cas de levée d'exceptions ,
Activity n Dep, EventHandler n Pick ,
Activity n?1 Dep ; end select Un gestionnaire d'exception ne peut figurer qu'au sein d'une déclaration de service : Def ::= Service (S, ? 1 :? 1 ...? n p :? n p , X 1 :T 1 ...X n x :T n x FaultHandler 0 ,
activité du service (Activity) l` eve une exception, alors il faut associer la valeur " faux " ` a tous les liens sortants de l'activité par un appeì a Activity Dep ,
réside dans la gestion des espaces de noms Ces espaces de noms sont des conteneurs d'identificateurs et sont eux-mêmes nommés de façonfaçonà faciliter l'attribution de noms uniques aux entités (variables, types...) déclarées. Chaque espace de nom est associéassociéà un préfixe. Un préfixe est une cha??necha??ne de caractères qui est souvent très courte et qui sertàsert`sertà identifier localement un espace de nom ,
XMLSchema " et est souvent associé au préfixe " xsd " . C'est pourquoi les constructions Xml Schema sont souvent précédées de " xsd: " , comme par exemple dans <xsd:element>. La déclaration d'une entité avec pour nom, 2001. ,
est importante car, comme nous l'avons vù a la section 8.1, chaqué elément Xml peut redéfinir l'association entre un espace de noms et son préfixe. Nous devons donc constamment maintenantàmaintenantà jour une table de correspondance entre un espace de noms et son préfixe ,
CTL model checking for processing simple XPath queries, 11th International Symposium on Temporal Representation and Reasoning Proceedings, pp.117-124, 2004. ,
Every planar map is four colorable, 1976. ,
DOI : 10.1090/s0002-9904-1976-14122-5
URL : http://projecteuclid.org/download/pdf_1/euclid.bams/1183538218
ATL: a Transformationbased Model Management Framework, Institut de Recherche en Informatique de Nantes, 2003. ,
FIACRE: an Intermediate Language for Model Verification in the TOPCASED Environment, Proceedings of the 4th European Congress on Embedded Real-Time Software ERTS'08 SIA (the French Society of Automobile Engineers), AAAF (the French Society of Aeronautic and Aerospace), and SEE (the French Society for Electricity, Electronics, and Information & Communication Technologies), 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00262442
The synchronous languages 12 years later, Proceedings of the IEEE, pp.64-83, 2003. ,
A Protocol for Loosely Time-Triggered Architectures, EMSOFT '02: Proceedings of the Second International Conference on Embedded Software, pp.252-265, 2002. ,
DOI : 10.1007/3-540-45828-X_19
URL : https://hal.archives-ouvertes.fr/inria-00526261
MSL ? a model for W3C XML schema, WWW '01: Proceedings of the 10th international conference on World Wide Web, 2001. ,
The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992. ,
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711
Towards dynamic monitoring of WS-BPEL processes. Service-Oriented Computing-ICSOC, pp.269-282, 2005. ,
A Model Checking Approach to Verify BPEL4WS Workflows, IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07), pp.13-20, 2007. ,
DOI : 10.1109/SOCA.2007.5
A Theory of Communicating Sequential Processes, Journal of the ACM, vol.31, issue.3, pp.560-599, 1984. ,
DOI : 10.1145/828.833
Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991. ,
DOI : 10.1016/0167-6423(91)90001-E
Eclipse Modeling Framework . The Eclipse Series, 2008. ,
The Sigali Tool Box Environment, 2006 8th International Workshop on Discrete Event Systems, pp.465-466, 2006. ,
DOI : 10.1109/WODES.2006.382518
Requirements for Internet Hosts -Application and Support, RFC, vol.1123, 1989. ,
Communicating reactive processes, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, pp.85-98, 1993. ,
DOI : 10.1145/158511.158526
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.7059
The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, pp.2741-275635, 1986. ,
DOI : 10.1137/0216062
Multiclock Esterel, CHARME'01, pp.110-125, 2001. ,
DOI : 10.1007/3-540-44798-9_10
Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977. ,
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590
NUSMV: a new symbolic model checker, International Journal on Software Tools for Technology Transfer (STTT), pp.410-425, 2000. ,
DOI : 10.1007/s100090050046
Automatic verification of finite-state concurrent systems using temporal logic specifications, 10th Annual Symposium on Principles of Programming Languages, 1983. ,
DOI : 10.1145/5397.5399
Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986. ,
DOI : 10.1145/5397.5399
Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.13, issue.4, p.490, 1991. ,
Présentation du langage SAM d'Airbus Available from TOPCASED forge, Internal Report, INRIA/VASY, 2008. ,
Globally-Asynchronous Locally-Synchronous Systems, 2984. ,
The Concurrency Workbench of the New Century (Version 1.2) User's manual, 2000. ,
Formal Design of Distributed Control Systems with Lustre, Computer Safety, Reliability and Security, pp.687-687, 1999. ,
A relational model of data for large shared data banks, Commun. ACM, vol.13, pp.377-387, 1970. ,
Property Specification Patterns for Finite-State Verification, Proceedings of the Second Workshop on Formal Methods in Software Practice, pp.7-15, 1998. ,
DOI : 10.1145/298595.298598
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.198
Bogor: an extensible and highly-modular software model checking framework, Proceedings of the 9th European Software Engineering Conference, pp.267-276, 2003. ,
A Verification Approach for GALS Integration of Synchronous Components, Electronic Notes in Theoretical Computer Science, vol.146, issue.2, pp.105-131, 2006. ,
DOI : 10.1016/j.entcs.2005.05.038
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. Model Driven Engineering Languages and Systems, eldG07] IBM et l'Université de Géorgie. Web Service Semantics. W3C Submission, World Wide Web Consortium (W3C), pp.438-452, 2007. ,
DOI : 10.1007/978-3-642-04425-0_34
URL : https://hal.archives-ouvertes.fr/hal-00635653
Compensation and Termination in WS-BPEL 2.0?A Comparative Analysis. Web Services and Formal Methods, pp.107-126, 2009. ,
Sildex: a formal approach to real-time applications development, 2005. ,
Analysis of interacting BPEL web services, Proceedings of the 13th conference on World Wide Web , WWW '04, pp.621-630, 2004. ,
DOI : 10.1145/988672.988756
Model checking XML manipulating software, ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, pp.252-262, 2004. ,
DOI : 10.1145/1013886.1007547
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.6316
Applying model checking to BPEL4WS business collaborations, Proceedings of the 2005 ACM symposium on Applied computing , SAC '05, pp.826-830, 2005. ,
DOI : 10.1145/1066677.1066866
A Rigorous Approach to Engineering Web Service Compositions, 2006. ,
Formal Specification and Verification of Asynchronously Communicating Web Services, 2004. ,
Model-based verification of Web service compositions, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., pp.152-161, 2003. ,
DOI : 10.1109/ASE.2003.1240303
Compilation et vérification de programmes LOTOS, Thèse de Doctorat, 1989. ,
OPEN/C??SAR: An open software architecture for verification, simulation, and testing, Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'98, pp.68-84, 1998. ,
DOI : 10.1007/BFb0054165
URL : http://hal.archives-ouvertes.fr/docs/00/07/33/37/PDF/RR-3352.pdf
Défense et illustration des algèbres de processus, 2003. ,
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular, Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, pp.149-164, 2006. ,
DOI : 10.1016/j.entcs.2008.04.009
URL : https://hal.archives-ouvertes.fr/inria-00191141
On Combining Functional Verification and Performance Evaluation Using CADP, FME'02, pp.410-429, 2002. ,
DOI : 10.1007/3-540-45614-7_23
URL : https://hal.archives-ouvertes.fr/inria-00072096
SVL: A Scripting Language for Compositional Verification ,
DOI : 10.1007/0-306-47003-9_24
URL : https://hal.archives-ouvertes.fr/inria-00072396
Compiler Construction Using LOTOS NT, Proceedings of the 11th International Conference on Compiler Construction CC 2002, pp.9-13, 2002. ,
DOI : 10.1007/3-540-45937-5_3
CADP??2006: A Toolbox for the Construction and Analysis of Distributed Processes, Proceedings of the 19th International Conference on Computer Aided Verification CAV'2007, pp.158-163, 2007. ,
DOI : 10.1007/978-3-540-73368-3_18
URL : https://hal.archives-ouvertes.fr/inria-00189021
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2011 Lecture Notes in Computer Science, 2011. ,
DOI : 10.1007/BFb0054166
URL : https://hal.archives-ouvertes.fr/inria-00583776
Automatic Production of Globally Asynchronous Locally Synchronous Systems, EMSOFT '02, pp.266-281, 2002. ,
DOI : 10.1007/3-540-45828-X_20
Formal proof?the four-color theorem. Notices of the, pp.1382-1393, 2008. ,
Extensible Markup Language 1.1 ? second edition, International Standards, World Wide Web Consortium (W3C), 2004. ,
XQuery 1.0: An XML Query Language, International Standards, World Wide Web Consortium (W3C), 2007. ,
A Graphical Parallel Composition Operator for Process Algebras, Proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification FORTE/PSTV'99, pp.185-202, 1999. ,
DOI : 10.1007/978-0-387-35578-8_11
ADT : un compilateur pour les types abstraits algébriques du langage LOTOS, Actes du Colloque Francophone pour l'Ingénierie des Protocoles CFIP'93, 1993. ,
Verification of GALS Systems by Combining Synchronous Languages and Process Calculi, Model Checking Software , Proceedings of the 16th International SPIN Workshop on Model Checking of Software SPIN'2009 Lecture Notes in Computer Science, 2009. ,
DOI : 10.1007/978-3-540-27813-9_47
URL : https://hal.archives-ouvertes.fr/inria-00388819
An efficient algorithm for branching bisimulation and stuttering equivalence, Proceedings of the 17th ICALP, pp.626-638, 1990. ,
DOI : 10.1007/BFb0032063
Synchronous programming of reactive systems, 1993. ,
About synchronous programming and abstract interpretation* 1, Science of Computer Programming, vol.31, issue.1, pp.75-89, 1998. ,
Synchronous Modelling of Asynchronous Systems, EMSOFT '02, pp.240-251, 2002. ,
DOI : 10.1007/3-540-45828-X_18
The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991. ,
DOI : 10.1109/5.97300
Programming and verifying realtime systems by means of the synchronous data-flow language LUSTRE, IEEE Transactions on Software Engineering, vol.18, issue.9, p.793, 1992. ,
Synchronous Observers and the Verification of Reactive Systems, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93 Workshops in Computing, 1993. ,
DOI : 10.1007/978-1-4471-3227-1_8
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), pp.3-14, 2006. ,
DOI : 10.1109/ACSD.2006.24
URL : https://hal.archives-ouvertes.fr/hal-00189567
Communicating Sequential Processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978. ,
Design and Validation of Computer Protocols. Software Series, 1991. ,
The Spin Model Checker -Primer and Reference Manual, 2004. ,
Strategies for Real-Time System Specification, 1988. ,
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing, ASIAN'99, Asian Computing Science Conference, 1999. ,
DOI : 10.1007/3-540-46674-6_1
Transforming BPEL to Petri Nets, Lecture Notes in Computer Science, vol.3649, p.220, 2005. ,
DOI : 10.1007/11538394_15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.4950
LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, 1989. ,
Enhancements to LOTOS (E-LOTOS) International Standard 15437, International Organization for Standardization ? Information Technology, 2001. ,
On the architectural alignment of ATL and QVT, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, pp.1188-1195, 2006. ,
DOI : 10.1145/1141277.1141561
URL : https://hal.archives-ouvertes.fr/hal-00483592
Alternation-free modal mu-calculus for data trees, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), pp.131-140, 2007. ,
DOI : 10.1109/LICS.2007.11
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.110.9659
YACC?yet another compiler-compiler, N.J, 1975. ,
Model Driven Engineering, Integrated Formal Methods, pp.286-298, 2002. ,
DOI : 10.1007/3-540-47884-1_16
Semantics of context-free languages, Theory of Computing Systems, pp.127-145, 1968. ,
ELECTRONIC DATA INTERCHANGE (EDI) International Standards, National Institute of Standards and Technology, 1996. ,
The Orc Programming Language, Proceedings of FMOODS, pp.1-25, 2009. ,
DOI : 10.1007/11817949_32
Modelling and verifying web service orchestration by means of the concurrency workbench, ACM SIGSOFT Software Engineering Notes, vol.29, issue.5, pp.1-10, 2004. ,
DOI : 10.1145/1022494.1022526
Web Services Flow Language (WSFL 1.0), 2001. ,
Concurrent static single assignment form and constant propagation for explicitly parallel programs. Languages and Compilers for Parallel Computing, pp.114-130, 1998. ,
DOI : 10.1007/bfb0032687
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.5098
Reconciling Semantic Heterogeneity in Web Services Composition, The 30th International Conference on Information Systems ICIS '09, 2009. ,
DOI : 10.2139/ssrn.1478025
A feature-complete Petri net semantics for WS-BPEL 2.0, Lecture Notes in Computer Science, vol.4937, p.77, 2008. ,
POLYCHRONY for System Design, Journal of Circuits, Systems and Computers, vol.12, issue.03, 2003. ,
DOI : 10.1142/S0218126603000763
Comparing and evaluating Petri net semantics for BPEL, Computer Science Report, vol.7, p.23, 2007. ,
Proving the Completeness Theorem within Isabelle/HOL, 2004. ,
CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems, International Journal on Software Tools for Technology Transfer, vol.8, issue.1, pp.37-56, 2006. ,
DOI : 10.1007/s10009-005-0194-9
URL : https://hal.archives-ouvertes.fr/inria-00084628
A Method for Synthesizing Sequential Circuits, Bell System Technical Journal, vol.34, issue.5, pp.1045-1079, 1955. ,
Translating Pi-Calculus into LOTOS NT, IFM'08: Proceedings of the 8th International Conference on Integrated Formal Methods, 2010. ,
DOI : 10.1007/s10009-003-0136-3
URL : https://hal.archives-ouvertes.fr/inria-00524586
JOLIE: a Java Orchestration Language Interpreter Engine, Electronic Notes in Theoretical Computer Science, vol.181, pp.19-33, 2007. ,
DOI : 10.1016/j.entcs.2007.01.051
A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol.92, 1980. ,
DOI : 10.1007/3-540-10235-3
Calculi for synchrony and asynchrony, Theoretical Computer Science, vol.25, issue.3, pp.267-310, 1983. ,
DOI : 10.1016/0304-3975(83)90114-7
URL : http://doi.org/10.1016/0304-3975(83)90114-7
Concurrency: State Models and Java Programs, 2006. ,
Modeling and validating globally asynchronous design in synchronous frameworks, Proceedings Design, Automation and Test in Europe Conference and Exhibition, p.10384, 2004. ,
DOI : 10.1109/DATE.2004.1268877
Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis, IEEE International Conference on Services Computing (SCC 2007), pp.98-105, 2007. ,
DOI : 10.1109/SCC.2007.22
The Temporal Logic of Reactive and Concurrent Systems, volume I (Specification), 1992. ,
Argos: an automaton-based synchronous language, Computer Languages, vol.27, issue.1-3, pp.61-92, 2001. ,
DOI : 10.1016/S0096-0551(01)00016-9
URL : https://hal.archives-ouvertes.fr/hal-00273055
Formal Modeling and Discrete-Time Analysis of BPEL Web Services, Proceedings of the 4th International Workshop on Enterprise and Organizational Modeling and Simulation EOMAS'08, pp.179-193, 2008. ,
DOI : 10.1007/978-3-540-68644-6_13
URL : https://hal.archives-ouvertes.fr/inria-00319100
Formal verification of programs specified with signal: application to a power transformer station controller, Science of Computer Programming, vol.41, issue.1, pp.85-104, 2001. ,
DOI : 10.1016/S0167-6423(00)00020-4
URL : https://hal.archives-ouvertes.fr/inria-00526287
Efficient on-the-fly model-checking for regular alternation-free mu-calculus, Science of Computer Programming, vol.46, issue.3, pp.255-281, 2003. ,
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/inria-00072755
A Model Checking Language for Concurrent Value-Passing Systems, Proceedings of the 15th International Symposium on Formal Methods FM'08 number 5014 in Lecture Notes in Computer Science, pp.148-164, 2008. ,
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312
Software model checking takes off, Commun. ACM, vol.53, issue.2, pp.58-64, 2010. ,
Model-Checking Behavioral Specification of BPEL Applications, Electronic Notes in Theoretical Computer Science, vol.151, issue.2, pp.89-105, 2006. ,
DOI : 10.1016/j.entcs.2005.07.038
Testing Equivalences for Processes, Theoretical Computer Science, vol.34, pp.83-133, 1984. ,
Mu-Calculus Based Resolution of XPath Decision Problems, 2006. ,
Semantic Interoperability of Web Services -Challenges and Experiences, Proceedings of the Fourth IEEE International Conference on Web Services, pp.373-382, 2006. ,
Unified Modeling Language, version 1.1. International Standards, Object Management Group, 1997. ,
Model Driven Architecture -A Technical Perspective. International Standards, Object Management Group, 2001. ,
XMI Mapping Specification, version 2.1. International Standards, Object Management Group, 2005. ,
CORBA Component Model, v4.0. International Standards, Object Management Group, 2006. ,
Meta Object Facility Core Specification, version 2.0. International Standards, Object Management Group, 2006. ,
Unified Modeling Language, version 2.1.1. International Standards, Object Management Group, 2007. ,
MOF Model to Text Transformation Language, version 1.0. International Standards, Object Management Group, 2008. ,
Systems Modeling Language, version 1.1. International Standards, Object Management Group, 2008. ,
Object Query Language, version 2.2. International Standards, Object Management Group, 2010. ,
Formal semantics and analysis of control flow in WS-BPEL, Science of Computer Programming, vol.67, issue.2-3, pp.162-198, 2007. ,
DOI : 10.1016/j.scico.2007.03.002
The foundation of a generic theorem prover, Journal of Automated Reasoning, vol.5, issue.3, pp.363-397, 1989. ,
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), pp.131-159, 2007. ,
DOI : 10.1109/ACSD.2005.10
Semantic matching of web services capabilities. The Semantic Web?ISWC, pp.333-347, 2002. ,
A structural approach to operational semantics, 1981. ,
Autonomous semantic web services, IEEE Internet Computing, vol.7, issue.5, pp.34-41, 2003. ,
DOI : 10.1109/MIC.2003.1232516
Tool Support for BPEL Verification in ActiveBPEL Engine, 2007 Australian Software Engineering Conference (ASWEC'07), pp.90-100, 2007. ,
DOI : 10.1109/ASWEC.2007.50
Communicating Reactive State Machines: Design, Model and Implementation, IFAC Workshop on Distributed Computer Control Systems, 1998. ,
Automatic testing of reactive systems, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279), pp.200-209, 2002. ,
DOI : 10.1109/REAL.1998.739746
On the expressiveness of Csp, 2008. ,
A Toolset for Modelling and Verification of GALS Systems, CAV '04, pp.506-509, 2004. ,
DOI : 10.1007/978-3-540-27813-9_47
Architecture Analysis and Design Language. International Standards, Society of Automotive Engineers, 2009. ,
Describing and Reasoning on Web Services using Process Algebra, ICWS '04: Proceedings of the IEEE International Conference on Web Services, p.43, 2004. ,
Describing and reasoning on Web Services using Process Algebra, International Journal of Business Process Integration and Management, vol.1, issue.2, pp.116-128, 2006. ,
DOI : 10.1504/IJBPIM.2006.010025
LOTOS NT User's Manual (Version 2.6). INRIA projet VASY, 2008. ,
ContributionàContributionà la définition etàetà l'implémentation du langage " Extended LOTOS, Thèse de Doctorat, 1999. ,
LOTOS NT User's Manual (Version 2.1) INRIA projet VASY, 2000. ,
The TFTP Protocol (Revision 2), RFC, vol.1350, 1992. ,
XLANG: Web Services for Business Process Design, 2001. ,
GeneAuto: An Automatic Code Generator for a safe subset of SimuLink/StateFlow, Dans: European Congress on Embedded Real-Time Software, pp.8-9, 2008. ,
The model transformation language of the VIATRA2 framework, Science of Computer Programming, vol.68, issue.3, pp.187-207, 2007. ,
DOI : 10.1016/j.scico.2007.05.004
Workflow management: models, methods, and systems, 2004. ,
Domain-specific languages, ACM SIGPLAN Notices, vol.35, issue.6, p.36, 2000. ,
DOI : 10.1145/352029.352035
A High-Level Framework for Network-Based Resource Sharing, RFC, vol.707, 1976. ,
Discrete event simulation in the Möbius modeling framework, 1998. ,
XML Path Language (XPath) International Standards, World Wide Web Consortium (W3C), 1999. ,