- edoc-Server Home
- Browsing by Author
Browsing by Author "Schmidt, Karsten"
Now showing items 1-9 of 9
-
2005-08-29Buch12. Workshop "Algorithmen und Werkzeuge für Petrinetze" (AWPN 2005) 29. - 30. September 2005, Humboldt-Universität zu Berlin, ProceedingsSchmidt, Karsten; Stahl, Christian
-
2005-01-01ZeitschriftenartikelAn Operating Guideline Approach to the SOA Massuthe, Peter; Reisig, Wolfgang; Schmidt, KarstenInterorganizational 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-30BuchAn Operating Guideline Approach to the SOA Massuthe, Peter; Reisig, Wolfgang; Schmidt, KarstenInterorganizational 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-15HabilitationExplicit state space verification Schmidt, KarstenGegenstand 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-01ZeitschriftenartikelKommunizierende Workflow-Services modellieren und analysieren Reisig, Wolfgang; Schmidt, Karsten; Stahl, ChristianZur 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-12BuchMatching Nondeterministic Services with Operating Guidelines Massuthe, Peter; Schmidt, KarstenInterorganizational 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-01ZeitschriftenartikelModeling and Model Checking Web Services Schlingloff, Bernd-Holger; Schmidt, Karsten; Martens, Axel
-
2005-04-19BuchOperating Guidelines - an Alternative to Public View Massuthe, Peter; Schmidt, Karsten
-
2005-07-06BuchVerteilte Geschäftsprozesse modellieren und analysieren Reisig, Wolfgang; Schmidt, Karsten; Stahl, ChristianVerteilte 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 ...