Service discovery using communication fingerprints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6470 LNCS, Issue , 2010, Pages 612-618

  Oanea, Olivia ^a   Sürmeli, Jan ^b   Wolf, Karsten ^a  

^a UNIVERSITY OF ROSTOCK   (Germany)

^b HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS; CUT OUT; NON-FUNCTIONAL; SEMANTIC COMPATIBILITY; SERVICE DISCOVERY; SERVICE REGISTRY; STATEFUL SERVICES;

SEMANTICS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 78650783624     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-17358-5_46     Document Type: Conference Paper

References (16)

1. Oanea, O., Sürmeli, J., Wolf, K.: Service discovery using communication fingerprints. Informatik-Berichte 236, Humboldt-Universität zu Berlin (2010)
2. Clarke, E.M., Peled, D., Grumberg, O.: Model Checking. MIT Press, Cambridge (1999)
3. Wolf, K., Stahl, C., Ott, J., Danitz, R.: Verifying livelock freedom in an SOA scenario. In: ACSD 2009, pp. 168-177. IEEE, Los Alamitos (2009)
4. Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 77-91. Springer, Heidelberg (2008)
5. Alves, A., et al.:Web Services Business Process Execution Language Version 2.0. Technical Report CS-02-08, OASIS (2007)
6. Zaitsev, D.A.: Compositional analysis of Petri nets. Cybernetics and Systems Analysis 42(1), 126-136 (2006)
7. Sürmeli, J.: Profiling services with static analysis. In: AWPN 2009 Proceedings, of CEUR Workshop Proceedings, vol. 501, pp. 35-40 CEUR-WS.org (2009)
8. Oanea, O., Wolf, K.: An efficient necessary condition for compatibility. In: ZEUS, of CEUR Workshop Proceedings, vol. 438, pp. 81-87 CEUR-WS.org (2009)
9. Wolf, K.: Does my service have partners? In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets. LNCS, vol. 5460, pp. 152-171. Springer, Heidelberg (2009)
10. Lautenbach, K.: Liveness in Petri Nets. St. Augustin: Gesellschaft fürMathematik und Datenverarbeitung Bonn, Interner Bericht ISF-75-02.1 (1975)
11. Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., Völzer, H., Wolf, K.: Instantaneous soundness checking of industrial business process models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, Springer, Heidelberg (2009)
12. Mennicke, S., Oanea, O.,Wolf, K.: Decomposition into open nets. In: AWPN 2009, Proceedings of CEUR Workshop, pp. 29-34 CEUR-WS.org (2009)
13. van der Aalst, W.M.P.: Matching observed behavior and modeled behavior: an approach based on Petri nets and integer programming. Decis. Support Syst. 42(3), 1843-1859 (2006)
14. Weidlich, M., Weske, M., Mendling, J.: Change propagation in process models using behavioural profiles. In: SCC 20209, pp. 33-40. IEEE, Los Alamitos (2009)
15. Weidlich, M., Polyvyanyy, A., Mendling, J., Weske, M.: Efficient computation of causal behavioural profiles using structural decomposition. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol. 6128, Springer, Heidelberg (2010)
16. Kaschner, K., Wolf, K.: Set algebra for service behavior: Applications and constructions. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 193-210. Springer, Heidelberg (2009)