An Algorithm for Matching Nondeterministic Services with Operating Guidelines

Dagstuhl Seminar Proceedings

Volumn 6291, Issue , 2006, Pages

  Massuthe, Peter ^a   Wolf, Karsten ^b  

^a HUMBOLDT UNIVERSITY   (Germany)

^b UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

(Nondeterministic) Automata; Formal Methods; Matching; Operating guidelines; Services; SOA

Indexed keywords

AUTOMATA THEORY; INFORMATION SERVICES; SERVICE ORIENTED ARCHITECTURE (SOA);

(NONDETERMINISTIC) AUTOMATON; INTERORGANIZATIONAL COOPERATION; MATCHINGS; NONDETERMINISTIC AUTOMATA; OPERATING GUIDELINES; SERVICE; SERVICE INTERACTION; SERVICE PROVIDER; SERVICE REQUESTERS; SOA (SERVICEORIENTED ARCHITECTURE);

FORMAL METHODS;

EID: 85174299971     PISSN: 18624405     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Hull, R., Benedikt, M., Christophides, V., Su, J.: E-services: A Look Behind the Curtain. In: PODS’03: Proceedings of the twenty-second ACM SIGMODSIGACT-SIGART symposium on Principles of database systems, New York, NY, USA, ACM Press (2003) 1–14
2. Christensen, E., Curbera, F., Meredith, G., Weeravarana, S.: Web Service Discription Language (WSDL) 1.1. Technical report, Ariba, International Business Machines Corporation, Microsoft (2001)
3. Curbera, F., Goland, Y., Klein, J., Leymann, F., Roller, D., Weerawarana, S.: Business Process Execution Language for Web Services, Version 1.1. Specification, BEA Systems, IBM, Microsoft, SAP, Siebel (2003) http://msdn.microsoft.com/library/default.asp?url=/library/enus/dnbiz2k2/html/bpel1-1.asp.
4. Gottschalk, K.: Web Services Architecture Overview. IBM whitepaper, IBM developerWorks (2000) http://ibm.com/developerWorks/web/library/w-ovr/.
5. Leymann, F., Roller, D., Schmidt, M.: Web Services and Business Process Management. IBM Systems Journal 41(2) (2002)
6. Martens, A.: Verteilte Geschäftsprozesse - Modellierung und Verifikation mit Hilfe von Web Services. PhD thesis, Institut für Informatik, Humboldt-Universität zu Berlin (2004)
7. Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. In: 2nd South-East European Workshop on Formal Methods 2005 (SEEFM05), Ohrid, Republic of Macedonia (2005)
8. Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics 1(3) (2005) 35–43 To appear.
9. Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann (1996)
10. Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic Composition of e-Services that Export their Behavior. In: Proc. of the 1st Int. Conf. on Service Oriented Computing (ICSOC 2003). Volume 2910 of Lecture Notes in Computer Science., Springer (2003) 43–58
11. Aalst, W.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers 8(1) (1998) 21–66
12. Cassandras, C., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers (1999)
13. Ramadge, P., Wonham, W.: Supervisory Control of a Class of Discrete Event Processes. SIAM J. Control and Optimization 25(1) (1987) 206–230
14. Wombacher, A., Fankhauser, P., Mahleko, B., Neuhold, E.: Matchmaking for Business Processes Based on Choreographies. International Journal of Web Services 1(4) (2004) 14–32
15. Weinberg, D.: Analyse der Bedienbarkeit. Diplomarbeit, Humboldt-Universität zu Berlin (2004)