-
4
-
-
34548764370
-
SYNTHESIS: A tool for automatically assembling correct and distributed component-based systems
-
DOI 10.1109/ICSE.2007.84, 4222647, Proceedings - 29th International Conference on Software Engineering, ICSE 2007
-
M. Autili, P. Inverardi, A. Navarra, and M. Tivoli SYNTHESIS: a tool for automatically assembling correct and distributed component-based systems Proceedings of the 29th International Conference on Software Engineering (ICSE '07) 2007 IEEE Computer Society 784 787 (Pubitemid 47430720)
-
(2007)
Proceedings - International Conference on Software Engineering
, pp. 784-787
-
-
Autili, M.1
Inverardi, P.2
Navarra, A.3
Tivoli, M.4
-
5
-
-
35348923572
-
Semi-automated adaptation of service interactions
-
DOI 10.1145/1242572.1242706, 16th International World Wide Web Conference, WWW2007
-
H. Nezhad, B. Benatallah, A. Martens, F. Curbera, and F. Casati Semi-automated adaptation of service interactions Proceedings of the 16th International Conference on the World Wide Web (WWW '07) 2007 ACM 993 1002 (Pubitemid 47582329)
-
(2007)
16th International World Wide Web Conference, WWW2007
, pp. 993-1002
-
-
Motahari Nezhad, H.R.1
Benatallah, B.2
Martens, A.3
Curbera, F.4
Casati, F.5
-
8
-
-
77950619188
-
Interactive specification and verification of behavioural adaptation contracts
-
B. Choi, IEEE Computer Society
-
J. Cámara, G. Salaün, C. Canal, and M. Ouederni Interactive specification and verification of behavioural adaptation contracts B. Choi, Proceedings of the 9th International Conference on Quality Software (QSIC'09) 2009 IEEE Computer Society 65 75
-
(2009)
Proceedings of the 9th International Conference on Quality Software (QSIC'09)
, pp. 65-75
-
-
Cámara, J.1
Salaün, G.2
Canal, C.3
Ouederni, M.4
-
9
-
-
58049104785
-
Adaptation of service protocols using process algebra and on-the-fly reduction techniques
-
A. Bouguettaya, I. Krüger, T. Margaria (Eds.)
-
R. Mateescu, P. Poizat, G. Salaün, Adaptation of service protocols using process algebra and on-the-fly reduction techniques, in: A. Bouguettaya, I. Krüger, T. Margaria (Eds.), Proceedings of the 6th International Conference on Service-Oriented Computing (ICSOC '08), Lecture Notes in Computer Science, vol. 5364, 2008, pp. 84-99.
-
(2008)
Proceedings of the 6th International Conference on Service-Oriented Computing (ICSOC '08), Lecture Notes in Computer Science
, vol.5364
, pp. 84-99
-
-
Mateescu, R.1
-
12
-
-
19944405131
-
Analysis of interacting BPEL Web services
-
Thirteenth International World Wide Web Conference Proceedings, WWW2004
-
X. Fu, T. Bultan, and J. Su Analysis of interacting BPEL web services S. Feldman, M. Uretsky, M. Najork, C. Wills, Proceedings of the 13th International Conference on the World Wide Web (WWW '04) 2004 ACM 621 630 (Pubitemid 40752796)
-
(2004)
Thirteenth International World Wide Web Conference Proceedings, WWW2004
, pp. 621-630
-
-
Fu, X.1
Bultan, T.2
Su, J.3
-
14
-
-
33750544462
-
LTSA-WS: A tool for model-based verification of Web service compositions and choreography
-
Proceeding of the 28th International Conference on Software Engineering 2006, ICSE '06
-
H. Foster, S. Uchitel, and J. Kramer LTSA-WS: a tool for model-based verification of web service compositions and choreography Proceedings of the 28th International Conference on Software Engineering (ICSE '06) 2006 ACM 771 774 (Pubitemid 46600984)
-
(2006)
Proceedings - International Conference on Software Engineering
, vol.2006
, pp. 771-774
-
-
Foster, H.1
Uchitel, S.2
Magee, J.3
Kramer, J.4
-
15
-
-
47249123597
-
A model-based approach to the verification and adaptation of WF/.NET components
-
Electronic Notes in Theoretical Computer Science Elsevier
-
J. Cubo, G. Salaün, C. Canal, E. Pimentel, and P. Poizat A model-based approach to the verification and adaptation of WF/.NET components Proceedings of the 4th International Workshop on Formal Aspects of Component Software (FACS '07) Electronic Notes in Theoretical Computer Science 2007 Elsevier 39 55
-
(2007)
Proceedings of the 4th International Workshop on Formal Aspects of Component Software (FACS '07)
, pp. 39-55
-
-
Cubo, J.1
Salaün, G.2
Canal, C.3
Pimentel, E.4
Poizat, P.5
-
17
-
-
0001383866
-
An introduction to input/output automata
-
N.A. Lynch, and M.R. Tuttle An introduction to input/output automata CWI Quarterly 2 1989 219 246
-
(1989)
CWI Quarterly
, vol.2
, pp. 219-246
-
-
Lynch, N.A.1
Tuttle, M.R.2
-
18
-
-
72949096992
-
Decomposing port automata
-
S.Y. Shin, S. Ossowski, ACM
-
C. Koehler, and D. Clarke Decomposing port automata S.Y. Shin, S. Ossowski, SAC 2009 ACM 1369 1373
-
(2009)
SAC
, pp. 1369-1373
-
-
Koehler, C.1
Clarke, D.2
-
19
-
-
13144283274
-
Modeling component connectors in reo by constraint automata: (Extended abstract)
-
DOI 10.1016/j.entcs.2004.04.028, PII S157106610405039X, Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003
-
F. Arbab, C. Baier, J.J.M.M. Rutten, and M. Sirjani Modeling component connectors in reo by constraint automata: (extended abstract) Electronic Notes in Theoretical Computer Science 97 2004 25 46 (Pubitemid 40700050)
-
(2004)
Electronic Notes in Theoretical Computer Science
, vol.97
, pp. 25-46
-
-
Arbab, F.1
Baier, C.2
Rutten, J.3
Sirjani, M.4
-
20
-
-
35248836872
-
Web services choreography and orchestration in Reo and constraint automata
-
DOI 10.1145/1244002.1244085, Proceedings of the 2007 ACM Symposium on Applied Computing
-
S. Meng, and F. Arbab Web services choreography and orchestration in reo and constraint automata Proceedings of the 2007 ACM symposium on Applied computing, SAC '07 2007 ACM New York, NY, USA 346 353 (Pubitemid 47568312)
-
(2007)
Proceedings of the ACM Symposium on Applied Computing
, pp. 346-353
-
-
Meng, S.1
Arbab, F.2
-
22
-
-
0003403628
-
-
International Series in Computer Science Prentice Hall
-
A. Arnold Finite Transition Systems International Series in Computer Science 1994 Prentice Hall
-
(1994)
Finite Transition Systems
-
-
Arnold, A.1
-
24
-
-
84860229561
-
-
Pi4SOA Project, 2008. < http://www.pi4soa.org >.
-
(2008)
Pi4SOA Project
-
-
-
26
-
-
84857324898
-
Tau Be or not Tau Be? A perspective on service compatibility and substitutability
-
M. Ouederni, G. Salaün, Tau Be or not Tau Be? A perspective on service compatibility and substitutability, in: Proceedings of the First International Workshop on Component and Service Interoperability (WCSI'10), EPTCS, vol. 37, 2010, pp. 57-70.
-
(2010)
Proceedings of the First International Workshop on Component and Service Interoperability (WCSI'10), EPTCS
, vol.37
, pp. 57-70
-
-
Ouederni, M.1
-
27
-
-
9444261848
-
WordNet: Similarity - Measuring the relatedness of concepts
-
T. Pedersen, S. Patwardhan, J. Michelizzi, WordNet: similarity - measuring the relatedness of concepts, in: Proc. of AAAI '04, 2004, pp. 1024-1025.
-
(2004)
Proc. of AAAI '04
, pp. 1024-1025
-
-
Pedersen, T.1
Patwardhan, S.2
Michelizzi, J.3
-
28
-
-
84860239572
-
Measuring the Compatibility of Service Interaction Protocols (ITI 4-10)
-
Dept. of LCC, University of Malaga, 2010. Available on Meriem Ouederni's Web Page
-
M. Ouederni, G. Salaün, E. Pimentel, Measuring the Compatibility of Service Interaction Protocols (ITI 4-10), Technical Report, Dept. of LCC, University of Malaga, 2010. Available on Meriem Ouederni's Web Page.
-
Technical Report
-
-
Ouederni, M.1
-
29
-
-
55849105560
-
Composition and run-time adaptation of mismatching behavioural interfaces
-
J. Cámara, G. Salaün, and C. Canal Composition and run-time adaptation of mismatching behavioural interfaces Journal of Universal Computer Science 14 2008 2182 2211
-
(2008)
Journal of Universal Computer Science
, vol.14
, pp. 2182-2211
-
-
Cámara, J.1
Salaün, G.2
Canal, C.3
-
34
-
-
0035657983
-
A survey of approaches to automatic schema matching
-
DOI 10.1007/s007780100057
-
E. Rahm, and P. Bernstein A survey of approaches to automatic schema matching The VLDB Journal 10 2001 334 350 (Pubitemid 33570972)
-
(2001)
VLDB Journal
, vol.10
, Issue.4
, pp. 334-350
-
-
Rahm, E.1
Bernstein, P.A.2
-
35
-
-
34548726133
-
Matching and merging of statecharts specifications
-
IEEE Computer Society
-
S. Nejati, M. Sabetzadeh, M. Chechik, S. Easterbrook, and P. Zave Matching and merging of statecharts specifications Proceedings of the 29th International Conference on Software Engineering of (ICSE '07) 2007 IEEE Computer Society 54 64
-
(2007)
Proceedings of the 29th International Conference on Software Engineering of (ICSE '07)
, pp. 54-64
-
-
Nejati, S.1
Sabetzadeh, M.2
Chechik, M.3
Easterbrook, S.4
Zave, P.5
|