Back to Results
First PageMeta Content
Process management / Workflow technology / Business Process Execution Language / Invoice / Software testing / Communications protocol / Statistical hypothesis testing / Statistics / Data / Information


Does my service have unspecified behavior? Kathrin Kaschner and Niels Lohmann Universit¨ at Rostock, Institut f¨ ur Informatik, 18051 Rostock, Germany {kathrin.kaschner, niels.lohmann}@uni-rostock.de
Add to Reading List

Document Date: 2009-02-24 07:58:16

Open Document

File Size: 246,13 KB

Share Result on Facebook

Company

Section 3 / Oracle / /

/

Event

Product Issues / Product Recall / /

Facility

Arbitrary complex / /

IndustryTerm

software system / service-oriented computing / finite-state services / classical software systems / specification protocol / undesired partner services / buyer protocol / online shop / Web services using SPIN / e - business / anti-protocol / stateful business protocols / coupled interacting software components / seller services / adequate software test / Web services / /

Organization

Institut f¨ / /

Person

Kathrin Kaschner / Dijkstra / Niels Lohmann Universit / /

Position

BPEL Process Manager / /

Product

approach / BPELUnit / /

ProgrammingLanguage

XML / /

PublishedMedium

Annals of Mathematics / Theoretical Computer Science / Communications of the ACM / /

RadioStation

FM 2007 / /

Technology

SOA / XML / buyer protocol / example protocol / specification protocol / specified protocol / Quality of Service / stateful business protocols / business protocol / /

URL

http /

SocialTag