메뉴 건너뛰기




Volumn 7, Issue 2, 2010, Pages 87-110

Web services compositions modelling and choreographies analysis

Author keywords

Choreography; Orchestration; Semantic mapping; Verification and validation; Web service composition

Indexed keywords

MAPPING; QUALITY OF SERVICE; SEMANTIC WEB; SEMANTICS; WEBSITES;

EID: 77954106854     PISSN: 15457362     EISSN: 15465004     Source Type: Journal    
DOI: 10.4018/jwsr.2010040105     Document Type: Review
Times cited : (15)

References (35)
  • 1
    • 67649390370 scopus 로고    scopus 로고
    • Business process execution language for web services
    • Version 1.1, International Business Machines Corporation, and Microsoft Corporation
    • Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., & Leymann, F. (2003). Business Process Execution Language for Web Services, Version 1.1. Standards proposal by BEA Systems. International Business Machines Corporation, and Microsoft Corporation.
    • (2003) Standards Proposal by BEA Systems
    • Andrews, T.1    Curbera, F.2    Dholakia, H.3    Goland, Y.4    Klein, J.5    Leymann, F.6
  • 5
    • 84873429075 scopus 로고    scopus 로고
    • Modeling data processes for service specifications in colombo
    • In M. Missiko & A. D. Nicola Eds., of CEUR Workshop, Retrieved from CEUR-WS.org
    • Berardi, D., Calvanese, D., Giacomo, G. D., Hull, R., Lenzerini, M., & Mecella, M. (2005a). Modeling data processes for service specifications in colombo. In M. Missiko & A. D. Nicola (Eds.), Proceedings of EMOI-INTEROP, volume 160 of CEUR Workshop. Retrieved from CEUR-WS.org
    • (2005) Proceedings of EMOI-INTEROP , vol.160
    • Berardi, D.1    Calvanese, D.2    Giacomo, G.D.3    Hull, R.4    Lenzerini, M.5    Mecella, M.6
  • 8
    • 0033714667 scopus 로고    scopus 로고
    • Web modeling language (Webml): A modeling language for designing Web sites
    • Ceri, S., Fraternali, P., & Bongio, A. (2000). Web modeling language (Webml): a modeling language for designing Web sites. Computer Networks, 33 (1-6), 137-157.
    • (2000) Computer Networks , vol.33 , Issue.1-6 , pp. 137-157
    • Ceri, S.1    Fraternali, P.2    Bongio, A.3
  • 10
    • 27144498657 scopus 로고    scopus 로고
    • ASM-based semantics for BPEL: The negative control flow
    • March, In D. Beauquier, E. Börger, & A. Slissenko Eds., Paris
    • Fahland, D., & Reisig, W. (2005, March). ASM-based semantics for BPEL: The negative control flow. In D. Beauquier, E. Börger, & A. Slissenko (Eds.), Proceedings of the 12th International Workshop on Abstract State Machines, Paris (pp. 131-151).
    • (2005) Proceedings of the 12th International Workshop on Abstract State Machines , pp. 131-151
    • Fahland, D.1    Reisig, W.2
  • 19
    • 34250664305 scopus 로고    scopus 로고
    • Analysis of communication models in web service compositions
    • DOI 10.1145/1135777.1135819, Proceedings of the 15th International Conference on World Wide Web
    • Kazhamiakin, R., Pistore, M., & Santuari, L. (2006). Analysis of communication models in Web service compositions. In Proceedings of the 15th international conference on World Wide Web (WWW '06) (pp. 267-276). New York: ACM. (Pubitemid 46946619)
    • (2006) Proceedings of the 15th International Conference on World Wide Web , pp. 267-276
    • Kazhamiakin, R.1    Pistore, M.2    Santuari, L.3
  • 20
    • 0022605949 scopus 로고
    • A logic-based calculus of events. New generation
    • Kowalski, R., & Sergot, M. J. (1986). A logic-based calculus of events. New generation. Computing, 4 (1), 67-95.
    • (1986) Computing , vol.4 , Issue.1 , pp. 67-95
    • Kowalski, R.1    Sergot, M.J.2
  • 22
    • 27144478032 scopus 로고    scopus 로고
    • Model-driven design and deployment of service-enabled web applications
    • DOI 10.1145/1084772.1084773
    • Manolescu, I., Brambilla, M., Ceri, S., Comai, S., & Fraternali, P. (2005). Model-driven design and deployment of service-enabled Web applications. ACM Transactions on Internet Technology, 5 (3), 439-479. doi:10.1145/1084772. 1084773 (Pubitemid 41497765)
    • (2005) ACM Transactions on Internet Technology , vol.5 , Issue.3 , pp. 439-479
    • Manolescu, I.1    Brambilla, M.2    Ceri, S.3    Comai, S.4    Fraternali, P.5
  • 29
    • 1642497296 scopus 로고    scopus 로고
    • The event calculus explained
    • LNCS 1600, New York: Springer Verlag
    • Shanahan, M. P. (1999). The Event Calculus Explained. In Artificial Intelligence Today (LNCS 1600, pp. 409-430). New York: Springer Verlag.
    • (1999) In Artificial Intelligence Today , pp. 409-430
    • Shanahan, M.P.1
  • 30
    • 33747106192 scopus 로고    scopus 로고
    • Non-intrusive monitoring of service-based systems
    • DOI 10.1142/S0218843006001384, PII S0218843006001384
    • Spanoudakis, G., & Mahbub, K. (2006). Non Intrusive Monitoring of Service Based Systems. International Journal of Cooperative Information Systems, 15 (3), 325-358. doi:10.1142/S0218843006001384 (Pubitemid 44221751)
    • (2006) International Journal of Cooperative Information Systems , vol.15 , Issue.3 , pp. 325-358
    • Spanoudakis, G.1    Mahbub, K.2
  • 31
    • 14044264808 scopus 로고    scopus 로고
    • Transformation von WSBPEL in Petrinetze
    • Humboldt University, Berlin
    • Stahl, C. (2004). Transformation von WSBPEL in Petrinetze. Unpublished master's thesis, Humboldt University, Berlin.
    • (2004) Unpublished Master's Thesis
    • Stahl, C.1
  • 32
    • 0035197790 scopus 로고    scopus 로고
    • A general framework to build contextual cover set induction provers
    • DOI 10.1006/jsco.2000.0469
    • Stratulat, S. (2001). A general framework to build contextual cover set induction provers. Journal of Symbolic Computation, 32 (4), 403-445. doi:10.1006/jsco.2000.0469 (Pubitemid 33098451)
    • (2001) Journal of Symbolic Computation , vol.32 , Issue.4 , pp. 403-445
    • Stratulat, S.1


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