Analyzing Orchestration of BPEL Specified Services with Model Checking

Joseph Okika

Analyzing Orchestration of BPEL Specified Services with Model Checking

Joseph Okika

Institut for Datalogi

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	CEUR Workshop Proceedings
Udgave nummer	584
Sider (fra-til)	1-6
ISSN	1613-0073
Status	Udgivet - 2009
Begivenhed	PhD Symposium of the 7th International Joint Conference on Service Oriented Computing (ICSOC/ServiceWave 2009) - Stockholm, Sverige Varighed: 23 nov. 2009 → 25 nov. 2009 Konferencens nummer: 7

Konference

Konference	PhD Symposium of the 7th International Joint Conference on Service Oriented Computing (ICSOC/ServiceWave 2009)
Nummer	7
Land/Område	Sverige
By	Stockholm
Periode	23/11/2009 → 25/11/2009

Bibliografisk note

Udgivelsesdato: December

Adgang til dokumentet

http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-548/

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{45a49540e65b11deabf1000ea68e967b,

title = "Analyzing Orchestration of BPEL Specified Services with Model Checking",

author = "Joseph Okika",

note = "Udgivelsesdato: December; PhD Symposium of the 7th International Joint Conference on Service Oriented Computing (ICSOC/ServiceWave 2009) ; Conference date: 23-11-2009 Through 25-11-2009",

year = "2009",

language = "English",

pages = "1--6",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR Workshop Proceedings",

number = "584",

}

TY - GEN

T1 - Analyzing Orchestration of BPEL Specified Services with Model Checking

AU - Okika, Joseph

N1 - Conference code: 7

PY - 2009

Y1 - 2009

M3 - Conference article in Journal

SN - 1613-0073

SP - 1

EP - 6

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

IS - 584

T2 - PhD Symposium of the 7th International Joint Conference on Service Oriented Computing (ICSOC/ServiceWave 2009)

Y2 - 23 November 2009 through 25 November 2009

ER -