Browsing by Author "Schmidt, Karsten"

Now showing items 1-9 of 9

2005-08-29Buch

12. Workshop "Algorithmen und Werkzeuge für Petrinetze" (AWPN 2005)

29. - 30. September 2005, Humboldt-Universität zu Berlin, Proceedings

Schmidt, Karsten; Stahl, Christian
2005-01-01Zeitschriftenartikel

An Operating Guideline Approach to the SOA

Massuthe, Peter; Reisig, Wolfgang; Schmidt, Karsten

Interorganizational cooperation is more and more organized by the paradigm of services. The service-oriented architecture (SOA) provides a general framework for service interaction. It describes three roles, service ...
2005-06-30Buch

An Operating Guideline Approach to the SOA

Massuthe, Peter; Reisig, Wolfgang; Schmidt, Karsten

Interorganizational cooperation is more and more organized by the paradigm of services. The service-oriented architecture (SOA) provides a general framework for service interaction. It describes three roles, service provider, ...
2002-11-15Habilitation

Explicit state space verification

Schmidt, Karsten

Gegenstand der Arbeit ist die Verifikation von verteilten diskreten Systemen in bezug auf Spezifikationen ihres Verhaltens. Diskrete Systeme bestehen aus einer abzaehlbaren Zustandsmenge und einer Zustandsuebergangsrelation. ...
2005-10-01Zeitschriftenartikel

Kommunizierende Workflow-Services modellieren und analysieren

Reisig, Wolfgang; Schmidt, Karsten; Stahl, Christian

Zur adäquaten Nutzung von Workflow-Implementierungen kommunizierender Geschäftsprozesse werden Konzepte vorgeschlagen, die von konkreten Implementierungen abstrahieren. Auf der Basis von Petrinetzen werden unterschiedliche ...
2006-04-12Buch

Matching Nondeterministic Services with Operating Guidelines

Massuthe, Peter; Schmidt, Karsten

Interorganizational cooperation is more and more organized by the paradigm of services. The service-oriented architecture (SOA) provides a general framework for service interaction. It describes three roles, service provider, ...
2005-03-01Zeitschriftenartikel

Modeling and Model Checking Web Services

Schlingloff, Bernd-Holger; Schmidt, Karsten; Martens, Axel
2005-04-19Buch

Operating Guidelines - an Alternative to Public View

Massuthe, Peter; Schmidt, Karsten
2005-07-06Buch

Verteilte Geschäftsprozesse modellieren und analysieren

Reisig, Wolfgang; Schmidt, Karsten; Stahl, Christian

Verteilte Geschäftsprozesse nutzen das Internet, um auf heterogenen Rechnerstrukturen Dienste auszubieten. Modellierungstechniken und Implementierungssprachen für solche Dienste werfen im Vergleich mit herkömmlichen Rechnern ...