Profiling Services with static analysis

CEUR Workshop Proceedings

Volumn 501, Issue , 2009, Pages 35-40

  Sürmeli, Jan ^a  

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS INTERACTION; SPECIAL CLASS;

ALGORITHMS; INFORMATION SERVICES; SERVICE ORIENTED ARCHITECTURE (SOA); TOOLS;

PETRI NETS;

EID: 78049267549     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. Gottschalk, K.: Web services architecture overview. http://www.ibm.com/ developerworks/web/library/w-ovr/ (2000)
2. Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics 1(3) (2005) 35-43
3. Wolf, K.: Does my service have partners? T. Petri Nets and Other Models of Concurrency 2 (2009) 152-171
4. Stahl, C., Massuthe, P., Bretschneider, J.: Deciding Substitutability of Services with Operating Guidelines. Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems 2(5460) (March 2009) 172-191
5. Lohmann, N., Massuthe, P., Wolf, K.: Behavioral constraints for services. In Alonso, G., Dadam, P., Rosemann, M., eds.: Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings. Volume 4714 of Lecture Notes in Computer Science., Springer-Verlag (September 2007) 271-287
6. Oanea, O., Wolf, K.: An efficient necessary condition for compatibility. In Kopp, O., Lohmann, N., eds.: ZEUS. Volume 438 of CEUR Workshop Proceedings., CEURWS. org (2009) 81-87
7. Reisig, W.: Petri nets: an introduction. Springer-Verlag New York, Inc., New York, NY, USA (1985)