新規登録 | ログイン | FAQ      [?] 
Recent | Recommended | Search | Authors | Tags | Export

Group: FM_SOA - library [7 articles]

グループ FM_SOA のメンバーが最近追加した論文の一覧
  • Behavioral Constraints for Services
    Business Process Management (2007), pp. 271-287.
    by Niels Lohmann, Peter Massuthe, Karsten Wolf
    posted to webservice ws-bpel by toppi to the group FM_SOA on 2008-05-04 10:28:57 as ***
  • Discovering Service Compositions That Feature a Desired Behaviour
    Service-Oriented Computing – ICSOC 2007 (2007), pp. 56-68.
    by Fabrizio Benigni, Antonio Brogi, Sara Corfini
    posted to uddi webservice ws-composition by toppi to the group FM_SOA on 2008-05-04 10:27:02 as ****
  • Modelling Legal Contracts as Processes
    (7 Jun 2001)
    by Aspassia Daskalopulu
    posted to business_contract choreography by toppi to the group FM_SOA on 2008-05-04 07:56:20 as *** along with 1 person charoy
  • Correctness of real time systems by construction
    Formal Techniques in Real-Time and Fault-Tolerant Systems (1994), pp. 19-40.
    by Jozef Hooman
    posted to bpel channel-passing choreography correctness_by_construction top-down webservice by toppi to the group FM_SOA on 2008-04-21 13:06:13 as ****
  • From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL
    On the Move to Meaningful Internet Systems 2005: OTM Workshops (2005), pp. 506-515.
    by Jan Mendling, Michael Hafner
    posted to projection webservice ws-bpel ws-cdl by toppi to the group FM_SOA on 2007-12-27 02:24:30 as **
  • Life After BPEL?
    Formal Techniques for Computer Systems and Business Processes (2005), pp. 35-50.
    by WMP Aalst, M Dumas, AHM Hofstede, N Russell, HMW Verbeek, P Wohed
    posted to criticism webservice ws-bpel by toppi to the group FM_SOA on 2007-10-10 03:42:24 as **** along with 2 people and 1 group moborg pautasso Service Composition
  • CSP-Based Verification for Web Service Orchestration and Choreography
    SIMULATION, Vol. 83, No. 1. (1 January 2007), pp. 65-74.
    by WL Yeung
    posted to csp ws-bpel ws-cdl by toppi to the group FM_SOA on 2007-10-08 13:46:09 as ** along with 1 group SRG Reading Room
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/group/3146

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.