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
ws-fm
rachel
fiona
zeus
soundness
services
realizability
bpel4chor
analysis
deadlock
choreography
artifact
diagnosis
feature-complete
implementation
transformation rules
owfn2bpel
yr-soc
tools4bpel
model checking
icatpn
soa
acsd
wsfm
semantics
compliance by design
case studies
integration
state space reduction
input language
controller synthesis
agents
modeling
icsoc
location
kathrin kaschner awpn
bpm 2010
wendy
service behavior
theory
hidden choice
counterexample
uncontrollability
lecture
symmetry reduction
state space explosion
state space reduction techniques
partial order reduction
business process management
flexible model generation
behavioral constraints
product
constraints
translation
divide et impera
free-choice
decomposition
conflict cluster
test suite generation
testing
specification
black box testing
adaptability
decentralized controllability
contract
public view
private view
correctness by design
correction
graph similarity
oryx
best
wesoa
awpn
modellierung
tools4bpel demo
synchronous
communication models
asynchronous
instance migration
service
state space
petrify
petri net
deadlock freedom
livelock freedom
safira
set algebra
process models
process structure tree
woflan
on demand
ibm websphere business modeler
workflow nets
bpmn
data
bpd
choreographies
partner synthesis
correcting
edit distance
simulation
bpel
abstract bpel
abstract profile
www
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
ws-fm
rachel
fiona
zeus
soundness
services
realizability
bpel4chor
analysis
deadlock
choreography
artifact
diagnosis
feature-complete
implementation
transformation rules
owfn2bpel
yr-soc
tools4bpel
model checking
icatpn
soa
acsd
wsfm
semantics
compliance by design
case studies
integration
state space reduction
input language
controller synthesis
agents
modeling
icsoc
location
kathrin kaschner awpn
bpm 2010
wendy
service behavior
theory
hidden choice
counterexample
uncontrollability
lecture
symmetry reduction
state space explosion
state space reduction techniques
partial order reduction
business process management
flexible model generation
behavioral constraints
product
constraints
translation
divide et impera
free-choice
decomposition
conflict cluster
test suite generation
testing
specification
black box testing
adaptability
decentralized controllability
contract
public view
private view
correctness by design
correction
graph similarity
oryx
best
wesoa
awpn
modellierung
tools4bpel demo
synchronous
communication models
asynchronous
instance migration
service
state space
petrify
petri net
deadlock freedom
livelock freedom
safira
set algebra
process models
process structure tree
woflan
on demand
ibm websphere business modeler
workflow nets
bpmn
data
bpd
choreographies
partner synthesis
correcting
edit distance
simulation
bpel
abstract bpel
abstract profile
www
Ver más