메뉴 건너뛰기




Volumn 6194 LNCS, Issue , 2010, Pages 61-75

A formalisation of adaptable pervasive flows

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED VERIFICATION; FORMAL SEMANTICS; FORMALISATION; PERVASIVE APPLICATIONS; TEXTUAL NOTATION; WORK-FLOWS; WS-BPEL;

EID: 77958475024     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14458-5_4     Document Type: Conference Paper
Times cited : (27)

References (19)
  • 1
    • 77958454443 scopus 로고    scopus 로고
    • EU-FET project 213339 ALLOW
    • EU-FET project 213339 ALLOW, http://www.allow-project.eu/
  • 2
    • 77958480673 scopus 로고    scopus 로고
    • D3.1 Basic flow-model and language for Adaptable Pervasive Flows, November
    • D3.1 Basic flow-model and language for Adaptable Pervasive Flows. ALLOW Project Deliverable (November 2008)
    • (2008) ALLOW Project Deliverable
  • 3
    • 77958465639 scopus 로고    scopus 로고
    • APFoL homepage
    • APFoL homepage, http://www.antoniobucchiarone.it/APFoL.html
  • 4
    • 77958486479 scopus 로고    scopus 로고
    • Blite: A formal account of WS-BPEL
    • Blite: A formal account of WS-BPEL, http://rap. dsi.unifi.it/blite/
  • 5
    • 77958501674 scopus 로고    scopus 로고
    • OASIS WSBPEL Tecnical Committee. Web Services Business Process Execution Language, version 2.0
    • OASIS WSBPEL Tecnical Committee. Web Services Business Process Execution Language, version 2.0 (2007), http://docs.oasis-open.org/wsbpel/2.θ/ wsbpel-v2.θ
    • (2007)
  • 7
    • 45749109416 scopus 로고    scopus 로고
    • Formalizing higher-order mobile embedded business processes with binding bigraphs
    • Lea, D., Zavattaro, G. eds., Springer, Heidelberg
    • Bundgaard, M., Glenstrup, A. J., Hildebrandt, T. T., Højsgaard, E., Niss, H.: Formalizing higher-order mobile embedded business processes with binding bigraphs. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 83-99. Springer, Heidelberg (2008)
    • (2008) COORDINATION 2008. LNCS , vol.5052 , pp. 83-99
    • Bundgaard, M.1    Glenstrup, A.J.2    Hildebrandt, T.T.3    Højsgaard, E.4    Niss, H.5
  • 8
    • 38049179424 scopus 로고    scopus 로고
    • All about maude - A high-performance logical framework. how to specify, program and verify systems in Rewriting logic
    • Springer, Heidelberg
    • Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. How to Specify, Program and Verify Systems in Rewriting Logic. LNCS, vol. 4350. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4350
    • Clavel, M.1    Durán, F.2    Eker, S.3    Lincoln, P.4    Martí-Oliet, N.5    Meseguer, J.6    Talcott, C.7
  • 10
    • 64849099052 scopus 로고    scopus 로고
    • Adaptable pervasive flows - An emerging technology for pervasive adaptation
    • Workshop on Pervasive Adaptation Per-Ada, September 2008
    • Herrmann, K., Rothermel, K., Kortuem, G., Dulay, N.: Adaptable Pervasive Flows - An Emerging Technology for Pervasive Adaptation. In: Workshop on Pervasive Adaptation (Per-Ada), September 2008. IEEE Computer Society, Los Alamitos (2008)
    • (2008) IEEE Computer Society, los Alamitos
    • Herrmann, K.1    Rothermel, K.2    Kortuem, G.3    Dulay, N.4
  • 11
    • 85099426094 scopus 로고    scopus 로고
    • Artifact-centric business process models: Brief survey of research results and challenges
    • Meersman, R., Tari, Z. eds., Springer, Heidelberg
    • Hull, R.: Artifact-centric business process models: Brief survey of research results and challenges. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part II. LNCS, vol. 5332, pp. 1152-1163. Springer, Heidelberg (2008)
    • (2008) OTM 2008, Part II. LNCS , vol.5332 , pp. 1152-1163
    • Hull, R.1
  • 12
    • 33646199967 scopus 로고    scopus 로고
    • Web-pi at work
    • De Nicola, R., Sangiorgi, D. eds., Springer, Heidelberg
    • Laneve, C., Zavattaro, G.: Web-pi at work. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol. 3705, pp. 182-194. Springer, Heidelberg (2005)
    • (2005) TGC 2005. LNCS , vol.3705 , pp. 182-194
    • Laneve, C.1    Zavattaro, G.2
  • 13
    • 45749144773 scopus 로고    scopus 로고
    • A formal account of WS-BPEL
    • Lea, D., Zavattaro, G. eds., Springer, Heidelberg
    • Lapadula, A., Pugliese, R., Tiezzi, F.: A formal account of WS-BPEL. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 199-215. Springer, Heidelberg (2008)
    • (2008) COORDINATION 2008. LNCS , vol.5052 , pp. 199-215
    • Lapadula, A.1    Pugliese, R.2    Tiezzi, F.3
  • 14
    • 43149123380 scopus 로고    scopus 로고
    • A feature-complete Petri net semantics for WS-BPEL 2.0
    • Dumas, M., Heckel, R. eds., Springer, Heidelberg
    • Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 77-91. Springer, Heidelberg (2008)
    • (2008) WS-FM 2007. LNCS , vol.4937 , pp. 77-91
    • Lohmann, N.1
  • 16
    • 75649099010 scopus 로고    scopus 로고
    • Enabling adaptation of pervasive flows: Built-in contextual adaptation
    • Baresi, L., Chi, C.-H., Suzuki, J. eds., Springer, Heidelberg
    • Marconi, A., Pistore, M., Sirbu, A., Eberle, H., Leymann, F.: Enabling adaptation of pervasive flows: Built-in contextual adaptation. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC 2009. LNCS, vol. 5900, pp. 389-403. Springer, Heidelberg (2009)
    • (2009) ICSOC 2009. LNCS , vol.5900 , pp. 389-403
    • Marconi, A.1    Pistore, M.2    Sirbu, A.3    Eberle, H.4    Leymann, F.5
  • 17
    • 0141940583 scopus 로고    scopus 로고
    • Business artifacts: An approach to operational specification
    • Nigam, A., Caswell, N. S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428-445 (2003)
    • (2003) IBM Systems Journal , vol.42 , Issue.3 , pp. 428-445
    • Nigam, A.1    Caswell, N.S.2


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