Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
RC6 Based Data Security and Attack Detection Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

Matchmaking of Web Services Using Finite State Automata

verfasst von : Sujata Swain, Rajdeep Niyogi

Erschienen in: Proceedings of First International Conference on Information and Communication Technology for Intelligent Systems: Volume 1

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Recent works in web services have employed finite state machines for solving different problems, like matchmaking of web services, modelling of web service composition and verification of web service composition. Annotated Deterministic Finite State Automata (ADFSA) is used for matchmaking of web services. ADFSA is the combination of deterministic finite state automata (DFA) with logical annotation of transitions in state. BPEL4WS is a high level programming language to express the execution behavior of web services but this language is Turing-complete. For matchmaking of web services, only a fragment of BPEL suffice which is equivalent to regular language. A complex web service is obtained from simpler web services where each simpler web service is modeled as Communicating Automata (CA). A CA is a Non-deterministic Finite State Automata (NFA). In this paper, we show how CA can easily be used for matchmaking of services. For this purpose, we give translations of CA to ADFSA. Thus matchmaking of services can be carried out even when the services are modeled using CA.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel An Approximation of Forces and Tooling Configuration During Metal Forming Process Using Artificial Intelligence Technique
Nächstes Kapitel Partial Satisfaction of User Requests in Context Aware Settings
Literatur
1.
Wombacher, A., Fankhauser, P., Mahleko, B., Neuhold, E.: Matchmaking for business processes based on choreographies. In: 2004 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE’04, pp. 359–368. IEEE (2004)
2.
Koehler, J., Srivastava, B.: Planning with communicating automata. Technical Report, RI08006 (2008)
3.
Hopcroft, J.E.: Introduction to automata theory, languages, and computation. Pearson Education, India (1979)
4.
Holzmann, G.J.: Software model checking with spin. Adv. Comput. 65, 77–108 (2005)CrossRef
5.
Rinderle, S., Wombacher, A., Reichert, M.: Evolution of process choreographies in dychor. In: On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, pp. 273–290. Springer, Berlin (2006)
6.
Wombacher, A., Fankhauser, P., Neuhold, E.: Transforming BPEL into annotated deterministic finite state automata for service discovery. In: Proceedings. IEEE International Conference on Web Services, 2004, pp. 316–323. IEEE (2004)
7.
Grigori, D., Corrales, J.C., Bouzeghoub, M.: Behavioral matchmaking for service retrieval. In: International Conference on Web Services, ICWS’06, pp. 145–152. IEEE (2006)
8.
Cong, Z., Fernández, A.: Behavioral matchmaking of semantic web services. In: Proceedings of the 4th International Joint Workshop on Service Matchmaking and Resource Retrieval in the Semantic Web (SMR2), vol. 667, pp. 131–140 (2010)
9.
Corrales, J.C., Grigori, D., Bouzeghoub, M.: BPEL processes matchmaking for service discovery. In: On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, pp. 237–254. Springer, Berlin (2006)
10.
Grigori, D., Corrales, J.C., Bouzeghoub, M.: Behavioral matchmaking for service retrieval: application to conversation protocols. Inf. Syst. 33(7), 681–698 (2008)CrossRef
11.
Young, C., Yu, S., Le, J.: Research on partner-choosing and web services composition for B2B E-commerce in virtual enterprises. In: Advanced Web Technologies and Applications, pp. 814–823. Springer, Berlin (2004)
12.
Wu, J., Wu, Z.: Similarity-based web service matchmaking. In: IEEE International Conference on Services Computing, vol. 1, pp. 287–294. IEEE (2005)
13.
Peng, H., Niu, W., Huang, R.: Similarity based semantic web service match. In: Web Information Systems and Mining, pp. 252–260. Springer, Berlin (2009)
14.
Ben-Ari, M.: Principles of the Spin Model Checker. Springer Science & Business Media, Berlin (2008)
15.
Holzmann, G.J.: The model checker spin. IEEE Trans. Softw. Eng. 23(5), 279–295 (1997)CrossRef
16.
Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Reading, Reading (2004)
17.
Muscholl, A.: Analysis of communicating automata. In: Language and Automata Theory and Applications, pp. 50–57. Springer, Berlin (2010)
Metadaten
Titel
Matchmaking of Web Services Using Finite State Automata
verfasst von
Sujata Swain
Rajdeep Niyogi
Copyright-Jahr
2016
Buch
Proceedings of First International Conference on Information and Communication Technology for Intelligent Systems: Volume 1

Print ISBN: 978-3-319-30932-3

Electronic ISBN: 978-3-319-30933-0

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-319-30933-0_58