A Model-Based Approach to the Verification and Adaptation of WF/.NET Components

Electronic Notes in Theoretical Computer Science

Volumn 215, Issue C, 2008, Pages 39-55

  Cubo, Javier ^a   Salaün, Gwen ^a   Canal, Carlos ^a   Pimentel, Ernesto ^a   Poizat, Pascal ^b,c  

^a UNIVERSITY OF MÁLAGA   (Spain)

^b INRIA/ARLES Project Team   (France)

^c UNIVERSITÉ D EVRY VAL D ESSONNE   (France)

Author keywords

Composition; Model based Adaptation; Model checking; Services; Sofware Components; WF Workflows

Indexed keywords

CHEMICAL ANALYSIS; COMPUTER SCIENCE;

LABELLED TRANSITION SYSTEMS; MODEL BASED APPROACH; MODEL-BASED OPC; MODEL-CHECKING TECHNIQUES; SERVICES; SOFWARE COMPONENTS; WINDOWS WORKFLOW FOUNDATION; WORK-FLOWS;

MODEL CHECKING;

EID: 46049089082     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.06.020     Document Type: Article

References (25)

1. T. Andrews et al. Business Process Execution Language for Web Services (WSBPEL). BEA Systems, IBM, Microsoft, SAP AG, and Siebel Systems, 2005
2. Barros T., Cansado A., and Madelaine E. Model-Checking Distributed Components: The Vercors Platform. Proc. of FACS'06. ENTCS 182 (2007) 3-16 Elsevier
3. Barros T., Henrio L., and Madelaine E. Verification of Distributed Hierarchical Components. Proc. of FACS'05. ENTCS 160 (2006) 41-55
4. S. Becker, A. Brogi, I. Gorton, S. Overhage, A. Romanovsky, and M. Tivoli. Towards an Engineering Approach to Component Adaptation. In Architecting Systems with Trustworthy Components, volume 3938 of LNCS, pages 193-215
5. Bracciali A., Brogi A., and Canal C. A Formal Approach to Component Adaptation. Journal of Systems and Software 74 1 (2005) 45-54
6. Brogi A., and Popescu R. Automated Generation of BPEL Adapters. Proc. of ICSOC'06. LNCS volume 4294 (2006) 27-39
7. Canal C., Murillo J.M., and Poizat P. Software Adaptation. L'Objet 12 1 (2006) 9-31 Special Issue on Coordination and Adaptation Techniques for Software Entities
8. Canal C., Poizat P., and Salaün G. Synchronizing Behavioural Mismatch in Software Composition. Proc. of FMOODS'06. LNCS volume 4037 (2006) 63-77
9. J. Cubo, G. Salaün, C. Canal, E. Pimentel, and P. Poizat. Relating Model-Based Adaptation and Implementation Platforms: A Case Study with WF/.NET 3.0. In Proc. of WCOP'07, pages 9-13, 2007
10. Foster H., Uchitel S., Magee J., and Kramer J. Model-based Verification of Web Service Compositions. Proc. of ASE'03 (2003), IEEE Computer Society Press 152-163 Canada
11. Fu X., Bultan T., and Su J. Analysis of Interacting BPEL Web Services. Proc. of WWW'04 (2004), ACM Press 621-630 USA
12. Garavel H., Mateescu R., Lang F., and Serwe W. CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. Proc. of CAV'07. LNCS volume 4950 (2007)
13. Groote J.F., Mathijssen A., van Weerdenburg M., and Usenko Y.S. From μCRL to mCRL2: Motivation and Outline. Proc. of the Workshop "Essays on Algebraic Process Calculi". (APC 25). ENTCS 162 (2006) 191-196
14. Holzmann G. The SPIN Model-Checker: Primer and Reference Manual (2003), Addison-Wesley
15. Hopcroft J.E., Motwani R., and Ullman J.D. Introduction to Automata Theory, Languages, and Computation. 2nd edition (2003), Addison Wesley
16. Inverardi P., and Tivoli M. Deadlock-Free Software Architectures for COM/DCOM Applications. Journal of Systems and Software 65 3 (2003) 173-183
17. Manna Z., and Pnueli A. Temporal Verification of Reactive Systems: Safety (1995), Springer
18. Mateescu R., and Sighireanu M. Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus. Science of Computer Programming 46 3 (2003) 255-281
19. Motahari H., Benatallah B., Martens A., Curbera F., and Casatio F. Semi-Automated Adaptation of Service Interactions. Proc. of WWW'07 (2007), ACM Press 993-1002 USA
20. I. Mouakher, A. Lanoix, and J. Souquieres. Component Adaptation: Specification and Verification. In Proc. of WCOP'06, pages 23-30, 2006
21. S. Nakajima. Model-Checking Verification for Reliable Web Service. In Proc. of OOWS'02, satellite event of OOPSLA'02, USA, 2002
22. Narayanan S., and McIlraith S. Analysis and Simulation of Web Services. Computer Networks 42 5 (2003) 675-693
23. Schmidt H.W., and Reussner R.H. Generating Adapters for Concurrent Component Protocol Synchronization. Proc. of FMOODS'02 (2002), Kluwer 213-229
24. Scribner K. Microsoft Windows Workflow Foundation: Step by Step (2007), Microsoft Press
25. Yellin D.M., and Strom R.E. Protocol Specifications and Components Adaptors. ACM Transactions on Programming Languages and Systems 19 2 (1997) 292-333