An efficient necessary condition for compatibility

CEUR Workshop Proceedings

Volumn 438, Issue , 2009, Pages 81-87

  Oanea, Olivia ^a   Wolf, Karsten ^a  

^a UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL MODEL; LINEAR-ALGEBRAIC; REACHABILITY; STATE EQUATIONS; STATE SPACE; STATE SPACE EXPLORATION;

PETRI NETS;

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

References (13)

1. Gierds, C., Mooij, A.J., Wolf, K.: Specifying and generating behavioral service adapter based on transformation rules. Technical Report CS-02-08, Universität Rostock, Rostock, Germany (2008)
2. Wolf, K.: Does my service have partners? LNCS ToPNoC 5460(II) (2009) 152-171 Special Issue on Concurrency in Process-Aware Information Systems.
3. Desel, J., Esparza, J.: Free Choice Petri nets. Volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press (1995)
4. Schmidt, K.: Narrowing Petri net state spaces using the state equation. Fundam. Inform. 47(3-4) (2001) 325-335
5. Schrijver, A.: Theory of Linear and Integer Programming. Wiley-Interscience series in discrete mathematics. John Wiley & Sons (1986)
6. Wolf, K.: On synthesizing behavior that is aware of semantical constraints. In: Proceedings of AWPN 2008. Volume 380 of CEUR Workshop Proceedings., CEURWS. org (2008) 49-54
7. Lohmann, N., Massuthe, P., Wolf, K.: Behavioral constraints for services. In: BPM 2007. Volume 4714 of LNCS. (2007) 271-287
8. Stahl, C.,Wolf, K.: Deciding service composition and substitutability using extended operating guidelines. Data Knowl. Eng. (2008) (Accepted).
9. Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: WWW '04, ACM (2004) 621-630
10. Schlingloff, B.H., Martens, A., Schmidt, K.: Modeling and model checking web services. Electr. Notes Theor. Comput. Sci. 126 (2005) 3-26
11. Mateescu, R., Poizat, P., Salaün, G.: Adaptation of service protocols using process algebra and on-the-y reduction techniques. In: ICSOC. Volume 5364 of LNCS. (2008) 84-99
12. K. van Hee, Oanea, O., Sidorova, N., Voorhoeve, M.: Verifying generalized soundness for workow nets. In: PSI. Volume 4378 of LNCS., Springer (2007) 235-247
13. Verbeek, H.M.W., van der Aalst, W.M.P.: Woan 2.0: A Petri-net-based workow diagnosis tool. In: ATPN 2000. Volume 1825 of LNCS., Springer (2000) 475-484