메뉴 건너뛰기




Volumn 54, Issue 7, 2012, Pages 701-723

Interactive specification and verification of behavioral adaptation contracts

Author keywords

Formal specification; Interaction protocol; Software adaptation; Software reusability

Indexed keywords

ADAPTATION REQUIREMENTS; BEHAVIORAL ADAPTATION; CONTRACT DESIGN; ERROR PRONES; FORMAL SPECIFICATION; GRAPHICAL NOTATION; HIERARCHICAL TECHNIQUES; INTEGRATED TOOLS; INTER-ACTION PROTOCOLS; INTERACTIVE APPROACH; NEW APPLICATIONS; SERVICE INTERFACES; SOFTWARE ADAPTATION; SOFTWARE SERVICES; SPECIFICATION AND VERIFICATION; TOOL SUPPORT; VALIDATION AND VERIFICATION;

EID: 84860226417     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2012.01.010     Document Type: Article
Times cited : (10)

References (35)
  • 4
    • 34548764370 scopus 로고    scopus 로고
    • 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
  • 12
    • 19944405131 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 17
    • 0001383866 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • Pi4SOA Project, 2008. < http://www.pi4soa.org >.
    • (2008) Pi4SOA Project
  • 27
    • 9444261848 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.