Personal Information
Organización/Lugar de trabajo
Rostock Germany
Sitio web
wwwteo.informatik.uni-rostock.de/ls_tpp/
Acerca de
We develop tools and algorithms for asserting correctness of systems (in hardware or software). Thereby, we focus on two particular topics: first, we develop tools and algorithms for computer aided verification, and second, we develop computer aided assistance for services and service oriented architectures.
Etiquetas
niels lohmann
petri nets
lola
tutorial
operating guidelines
bpel2owfn
karsten wolf
ws-bpel
controllability
bpm
zeus
rachel
soundness
ws-fm
services
realizability
choreography
bpel4chor
analysis
fiona
deadlock
implementation
artifact
icatpn
owfn2bpel
yr-soc
tools4bpel
model checking
feature-complete
transformation rules
acsd
semantics
wsfm
soa
diagnosis
deadlock freedom
petri net
petrify
state space
service
instance migration
asynchronous
communication models
www
correcting
edit distance
simulation
partner synthesis
choreographies
bpd
data
bpel
bpmn
workflow nets
ibm websphere business modeler
on demand
abstract bpel
woflan
process structure tree
process models
set algebra
abstract profile
safira
livelock freedom
synchronous
behavioral constraints
flexible model generation
business process management
partial order reduction
state space reduction techniques
state space explosion
symmetry reduction
lecture
uncontrollability
counterexample
hidden choice
theory
service behavior
wendy
bpm 2010
kathrin kaschner awpn
location
icsoc
modeling
agents
controller synthesis
input language
state space reduction
integration
case studies
tools4bpel demo
modellierung
awpn
wesoa
best
oryx
graph similarity
correction
correctness by design
private view
public view
contract
decentralized controllability
adaptability
black box testing
specification
testing
test suite generation
conflict cluster
decomposition
free-choice
divide et impera
translation
constraints
product
compliance by design
Ver más
Presentaciones
(81)Personal Information
Organización/Lugar de trabajo
Rostock Germany
Sitio web
wwwteo.informatik.uni-rostock.de/ls_tpp/
Acerca de
We develop tools and algorithms for asserting correctness of systems (in hardware or software). Thereby, we focus on two particular topics: first, we develop tools and algorithms for computer aided verification, and second, we develop computer aided assistance for services and service oriented architectures.
Etiquetas
niels lohmann
petri nets
lola
tutorial
operating guidelines
bpel2owfn
karsten wolf
ws-bpel
controllability
bpm
zeus
rachel
soundness
ws-fm
services
realizability
choreography
bpel4chor
analysis
fiona
deadlock
implementation
artifact
icatpn
owfn2bpel
yr-soc
tools4bpel
model checking
feature-complete
transformation rules
acsd
semantics
wsfm
soa
diagnosis
deadlock freedom
petri net
petrify
state space
service
instance migration
asynchronous
communication models
www
correcting
edit distance
simulation
partner synthesis
choreographies
bpd
data
bpel
bpmn
workflow nets
ibm websphere business modeler
on demand
abstract bpel
woflan
process structure tree
process models
set algebra
abstract profile
safira
livelock freedom
synchronous
behavioral constraints
flexible model generation
business process management
partial order reduction
state space reduction techniques
state space explosion
symmetry reduction
lecture
uncontrollability
counterexample
hidden choice
theory
service behavior
wendy
bpm 2010
kathrin kaschner awpn
location
icsoc
modeling
agents
controller synthesis
input language
state space reduction
integration
case studies
tools4bpel demo
modellierung
awpn
wesoa
best
oryx
graph similarity
correction
correctness by design
private view
public view
contract
decentralized controllability
adaptability
black box testing
specification
testing
test suite generation
conflict cluster
decomposition
free-choice
divide et impera
translation
constraints
product
compliance by design
Ver más