Fiona a tool to analyze interacting open nets

CEUR Workshop Proceedings

Volumn 380, Issue , 2008, Pages 99-104

  Massuthe, Peter ^a   Weinberg, Daniela ^a  

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EFFICIENT DATA STRUCTURES; ITS ARCHITECTURE; SERVICE BROKER;

ALGORITHMS; INFORMATION SERVICES; PETRI NETS; SERVICE ORIENTED ARCHITECTURE (SOA);

TOOLS;

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

References (12)

1. Schmidt, K. : Controllability of OpenWorkflow Nets. In: EMISA 2005. LNI, Bonner Köllen Verlag (2005) 236-249
2. Weinberg, D. : Efficient controllability analysis of open nets. In: WS-FM 2008. LNCS, Springer-Verlag (2008) accepted.
3. Massuthe, P., Schmidt, K. : Operating Guidelines-An Automata-Theoretic Foundation for Service-Oriented Architectures. In: QSIC 2005, Melbourne, Australia, IEEE Computer Society Press (2005) 452-457
4. Lohmann, N., Massuthe, P., Wolf, K. : Operating Guidelines for Finite-State Services. In: ICATPN 2007. Volume 4546 of LNCS., Springer-Verlag (2007) 321-341
5. Massuthe, P., Reisig, W., Schmidt, K. : An Operating Guideline Approach to the SOA. AMCT 1(3) (2005) 35-43
6. Kindler, E. : A compositional partial order semantics for Petri net components. In: ICATPN 1997. Volume 1248 of LNCS., Springer-Verlag (1997) 235-252
7. Stahl, C., Massuthe, P., Bretschneider, J. : Deciding Substitutability of Services with Operating Guidelines. Technical Report 222, Humboldt- Universität zu Berlin, Germany (2008) accepted for a journal.
8. 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, Germany (2008) submitted to a conference.
9. Papazoglou, M. : Web Services: Principles and Technology. Pearson-Prentice Hall, Essex (2007)
10. Aalst, W. M. P. v. d., Massuthe, P., Stahl, C., Wolf, K. : Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Technical Report 213, Humboldt-Universität zu Berlin, Germany (2007) submitted to a journal.
11. Schmidt, K. : LoLA: A Low Level Analyser. In: ICATPN 2000. Volume 1825 of LNCS., Springer-Verlag (2000) 465-474
12. Lohmann, N. : A feature-complete Petri net semantics for WS-BPEL 2. 0. In: WS-FM 2007. Volume 4937 of LNCS., Brisbane, Australia, Springer-Verlag (2008) 77-91