Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture.

Peter Massuthe Karsten Schmidt

Published in: QSIC (2005)

Keyphrases

service oriented architecture
automata theoretic
service oriented
temporal logic
web services
loosely coupled
business process
regular path queries
business processes
lightweight
loose coupling
service composition
industrial automation
distributed systems
model checking
metadata