registrieren | anmelden | FAQ      [?] 

Tag bpel [69 articles]

Recent papers classified by the tag bpel.
  • BPEL light
    Business Process Management (2007), pp. 214-229.
    by Jörg Nitzsche, Tammo van Lessen, Dimka Karastoyanova, Frank Leymann
    posted to bpel by vanto on 2008-09-10 18:09:24 as read
  • Applying model checking to BPEL4WS business collaborations
    (2005), pp. 826-830.
    by Jes&\#250;s A Fisteus, Luis S Fern&\#225;ndez, Carlos D Kloos
    posted to bpel verification by tremblay_guy on 2006-09-21 18:03:50 as **
  • 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 on 2008-04-21 13:06:12 as **** along with 1 group FM_SOA
  • notes Mobility Mechanisms in Service Oriented Computing
    Formal Methods for Open Object-Based Distributed Systems (2006), pp. 233-250.
    by Claudio Guidi, Roberto Lucchi
    posted to bpel channel-passing mobile-process mobility webservice by toppi on 2008-01-23 03:54:15 as read
  • notes A Framework for Generic Error Handling in Business Processes
    Electronic Notes in Theoretical Computer Science, Vol. 105 (10 December 2004), pp. 133-145.
    by Manuel Mazzara, Roberto Lucchi
    posted to bpel exception webservice ws-bpel by toppi on 2008-01-22 15:58:48 as read
  • Tool Support for BPEL Verification in ActiveBPEL Engine
    Software Engineering Conference, 2007. ASWEC 2007. 18th Australian (2007), pp. 90-100.
    by Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai
    posted to bpel by stufs on 2007-12-10 16:29:18 as **
  • From BPMN Process Models to BPEL Web Services
    Web Services, 2006. ICWS '06. International Conference on (2006), pp. 285-292.
    by Chun Ouyang, M Dumas, Ter, WMP van der Aalst
    posted to bpel bpmn business model modeling process by stagediver on 2007-03-12 17:58:27 as ***** along with 1 person segura
  • On the Translation between BPMN and BPEL: Conceptual Mismatch between Process Modeling Languages
    by Jan Recker, Jan Mendling
    posted to bpel bpmn by stagediver on 2007-04-13 11:52:11 as read
  • Transformation strategies between blockoriented and graph-oriented process modelling languages
    (2005)
    by J Mendling, K Lassen, U Und
    posted to bpel bpm business process by stagediver on 2007-04-13 11:51:52 as read
  • From Inter-Organizational Workflows to Process Execution: Generating BPEL from WS-CDL
    (2005)
    by J Mendling, M Hafner
    posted to bpel bpm buisness process workflow ws-cdl by stagediver on 2007-04-13 11:51:22 as ***
  • Epc-Based Modelling Of Bpel Processes:
    by Pragmatic T Approach
    posted to bpel business epc process by stagediver on 2007-04-13 11:53:00 as **
  • Transforming BPEL to Petri Nets
    Business Process Management (2005), pp. 220-235.
    by Sebastian Hinz, Karsten Schmidt, Christian Stahl
    edited by Wil MP van der Aalst, Boualem Benatallah, Fabio Casati, Francisco Curbera
    posted to verification semantic petri-nets bpel by sryll on 2008-10-06 13:19:24 as ***
  • Business Process Management: Concepts, Languages, Architectures
    (03 November 2007)
    by Mathias Weske
    posted to semantic petri-nets patterns epc bpmn bpel by sryll on 2008-11-06 14:59:32 as ***
  • Access Control and Authorization Constraints for WS-BPEL
    (2006), pp. 275-284.
    by Elisa Bertino, Jason Crampton, Federica Paci
    posted to bpel business-process-constraint-language constraints rbac by sryll on 2008-05-27 18:22:30 as **
  • Specifying Separation of Duty Constraints in BPEL4People Processes
    Business Information Systems (2008), pp. 273-284.
    by Jan Mendling, Karsten Ploesser, Mark Strembeck
    edited by Witold Abramowicz, Dieter Fensel
    posted to bpel bpel4people compliance constraints rbac by sryll on 2008-05-27 17:45:40 as read
  • Formal semantics and analysis of control flow in WS-BPEL
    Science of Computer Programming, Vol. 67, No. 2-3. (1 July 2007), pp. 162-198.
    by Chun Ouyang, Eric Verbeek, Wil M van der Aalst, Stephan Breutel, Marlon Dumas, Ter
    posted to bpel by segura on 2007-09-18 12:06:49 as ** along with 3 people and 1 group gathfa benavides toppi tdg
  • 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 bpel by pautasso on 2008-06-13 16:57:48 as read along with 2 people and 2 groups moborg toppi FM_SOA Service Composition
  • Complex Events in Business Processes
    Vol. 4439 (2007), pp. 29-40.
    by Alistair P Barros, Gero Decker, Alexander Grosskopf
    edited by Witold Abramowicz, Witold Abramowicz
    posted to bpel cep event soa by nmsx on 2008-08-04 15:02:35 as **
  • A Graphical Notation for Modeling Complex Events in Business Processes
    (2007), pp. 27-36.
    by Gero Decker, Alexander Grosskopf, Alistair P Barros
    posted to bpel cep event graphical modeling by nmsx on 2008-08-04 15:11:05 as ** along with 1 person birukou
  • Model-based verification of Web service compositions
    Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on (2003), pp. 152-161.
    by H Foster, S Uchitel, J Magee, J Kramer
    posted to bpel testing verification webservices by nigno on 2008-03-12 16:22:14 as read
  • A Model Checking Approach to Verify BPEL4WS Workflows
    Service-Oriented Computing and Applications, 2007. SOCA '07. IEEE International Conference on (2007), pp. 13-20.
    by Domenico Bianculli, Carlo Ghezzi, Paola Spoletini
    posted to bir bpel modelchecking verification webservices by nigno on 2008-02-26 12:02:47 as **
  • Web Services Platform Architecture : SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging, and More
    (22 March 2005)
    by Sanjiva Weerawarana, Francisco Curbera, Frank Leymann, Tony Storey, Donald F Ferguson
    posted to bpel services web by neilernst on 2005-04-05 14:17:01 as ** along with 1 person tkothe
  • notes Web services orchestration and choreography
    Computer, Vol. 36, No. 10. (2003), pp. 46-52.
    by C Peltz
    posted to bpel services web wsdl by neilernst on 2005-03-14 21:56:32 as read along with 8 people and 2 groups malenitah2 locatellimp ddahlem charoy zxp toppi jpaulo007 nigno CHISEL ecoo-pe
  • Evaluation of BPEL to Scientific Workflows
    (2006), pp. 269-274.
    by Asif Akram, David Meredith, Rob Allan
    posted to bioinformatic bpel diplomarbeit evaluation workflow by moborg on 2007-10-04 15:18:32 as read
  • An Environment to Define and Execute In-Silico Workflows Using Web Services
    Data Integration in the Life Sciences (2005), pp. 288-291.
    by Rafael Targino, Maria C Cavalcanti, Marta Mattoso
    posted to bioinformatic bpel diplomarbeit webservices workflow by moborg on 2007-09-15 16:08:07 as **
  • Biological Experiments on the Grid: A Novel Workflow Management Platform
    (2007), pp. 489-494.
    by D Laforenza, R Lombardo, M Scarpellini, M Serrano, F Silvestri, P Faccioli
    posted to bio bpel diplomarbeit escogitare evaluation grid printed workflow by moborg on 2007-07-09 10:48:54 as read
  • Grid Service Orchestration Using the Business Process Execution Language (BPEL)
    Journal of Grid Computing, Vol. 3, No. 3-4. (September 2005), pp. 283-304.
    by Wolfgang Emmerich, Ben Butchart, Liang Chen, Bruno Wassermann, Sarah Price
    posted to bpel diplomarbeit grid printed workflow by moborg on 2007-07-07 13:46:57 as read
  • DNA Microarrays and Related Genomics Techniques: Design, Analysis, and Interpretation of Experiments (Biostatistics)
    (14 November 2005)
    by N Alliso
    posted to bio bpel diplomarbeit by moborg on 2007-07-16 12:01:47 as **
  • BPEL4Job: A Fault-Handling Design for Job Flow Management
    Service-Oriented Computing – ICSOC 2007 (2007), pp. 27-42.
    by Wei Tan, Liana Fong, Norman Bobroff
    posted to bpel diplomarbeit workflow by moborg on 2007-10-19 13:28:05 as **
  • Automated Generation of BPEL Adapters
    Service-Oriented Computing – ICSOC 2006 (2006), pp. 27-39.
    by Antonio Brogi, Razvan Popescu
    posted to bpel diplomarbeit notprinted workflow by moborg on 2007-10-05 10:47:58 as ** along with 1 person japarejo
  • Using BPEL to Define an Executable CDS Rule Process.
    AMIA Annu Symp Proc (2006)
    by KM Heard, C Huang, LA Noirot, RM Reichley, TC Bailey
    posted to bpel diplomarbeit by moborg on 2007-07-16 17:01:14 as **
  • Orchestrierung datenintensiver Prozesse
    (30 April 2007)
    by Maik Thiele, Dirk Habich
    posted to bioinformatic bpel diplomarbeit webservices by moborg on 2008-03-18 09:20:34 as **
  • Dynamo: Dynamic Monitoring of WS-BPEL Processes
    Service-Oriented Computing - ICSOC 2005 (2005), pp. 478-483.
    by Luciano Baresi, Sam Guinea
    posted to bpel diplomarbeit monitoring notprinted by moborg on 2007-10-05 10:50:25 as ** along with 1 person nigno
  • caGrid: design and implementation of the core architecture of the cancer biomedical informatics grid
    Bioinformatics, Vol. 22, No. 15. (1 August 2006), pp. 1910-1916.
    by Joel Saltz, Scott Oster, Shannon Hastings, Stephen Langella, Tahsin Kurc, William Sanchez, Manav Kher, Arumani Manisundaram, Krishnakant Shanbhag, Peter Covitz
    posted to bpel diplomarbeit evaluation grid wfms workflow by moborg on 2007-11-05 15:30:29 as ** along with 1 person jyuh
  • notes A web services choreography scenario for interoperating bioinformatics applications.
    BMC Bioinformatics, Vol. 5 (10 March 2004)
    by R de Knikker, Y Guo, JL Li, AK Kwan, KY Yip, DW Cheung, KH Cheung
    posted to bpel diplomarbeit printed web workflow by moborg on 2007-07-16 15:58:15 as read along with 2 people dullhunk grinfish
  • Parameterized BPEL Processes: Concepts and Implementation
    Business Process Management (2006), pp. 471-476.
    by Dimka Karastoyanova, Frank Leymann, Jörg Nitzsche, Branimir Wetzstein, Daniel Wutke
    posted to bpel diplomarbeit execution workflow by moborg on 2007-10-19 13:30:52 as ** along with 1 person and 2 groups charoy ecoo-pe SRG Reading Room
  • Evaluation of BPEL to Scientific Workflows
    Cluster Computing and the Grid, 2006. CCGRID 06. Sixth IEEE International Symposium on, Vol. 1 (2006), pp. 269-274.
    by A Akram, D Meredith, R Allan
    posted to bpel diplomarbeit escience evaluation printed vpn by moborg on 2007-10-18 12:46:20 as read along with 2 people and 1 group charoy ianwelch ecoo-pe
  • Web service orchestration with BPEL
    (2006), pp. 1071-1072.
    by Liang Chen, Bruno Wassermann, Wolfgang Emmerich, Howard Foster
    posted to bpel diplomarbeit printed workflow by moborg on 2007-07-16 12:49:56 as **
  • User Tasks and Access Control overWeb Services
    Web Services, 2007. ICWS 2007. IEEE International Conference on (2007), pp. 60-69.
    by Jacques Thomas, Federica Paci, Elisa Bertino, Patrick Eugster
    posted to access bpel control services task web by Khaled on 2007-11-15 14:18:41 as read along with 1 person and 1 group charoy ecoo-pe
  • Pattern Based Analysis of BPEL4WS
    (2002)
    by Petia Wohed, Wil MP van der Aalst, Marlon Dumas, Arthur
    posted to and bpel capabilities evaluating limitations mqs staffw symantically wsfl xlang by karimda on 2008-03-12 13:31:09 as read along with 1 person and 1 group tkothe ecoo-pe
  • WSAT: A Tool for Formal Analysis of Web Services
    Computer Aided Verification (2004), pp. 510-514.
    by Xiang Fu, Tevfik Bultan, Jianwen Su
    posted to bpel web-services by jfischer on 2008-04-06 02:04:18 as **
  • Model checking XML manipulating software
    (2004), pp. 252-262.
    by Xiang Fu, Tevfik Bultan, Jianwen Su
    posted to bpel business-processes verification by jfischer on 2008-03-24 17:33:41 as ****
  • Analysis of interacting BPEL web services
    (2004), pp. 621-630.
    by Xiang Fu, Tevfik Bultan, Jianwen Su
    posted to bpel business-processes by jfischer on 2008-03-24 23:36:11 as **** along with 1 person toppi
  • Event Structure Semantics of Orc
    Web Services and Formal Methods (2008), pp. 154-168.
    by Sidney Rosario, David Kitchin, Albert Benveniste, William Cook, Stefan Haar, Claude Jard
    posted to workflow orc formal-process bpel 2008 by japarejo on 2008-09-19 10:38:04 as **
  • Deriving Explicit Data Links in WS-BPEL Processes
    Services Computing, 2008. SCC '08. IEEE International Conference on, Vol. 2 (2008), pp. 367-376.
    by Oliver Kopp, Rania Khalaf, Frank Leymann
    posted to datastructures data-flow bpel 2008 by japarejo on 2008-09-17 17:26:58 as ****
  • On the relationship between workflow models and document types
    Information Systems, Vol. In Press, Corrected Proof
    by Kees van Hee, Jan Hidders, Geert-Jan Houben, Jan Paredaens, Philippe Thiran
    posted to petri-nets datastructures data-flow bpel 2008 by japarejo on 2008-09-17 17:29:37 as ****
  • Translating unstructured workflow processes to readable BPEL: Theory and implementation
    Information and Software Technology, Vol. 50, No. 3. (February 2008), pp. 131-159.
    by Wil M van der Aalst, Bisgaard
    posted to workflow transformation bpel 2006 by japarejo on 2008-09-19 12:41:35 as **
  • A Feature-Complete Petri Net Semantics for WS-BPEL 2.0
    Web Services and Formal Methods (2008), pp. 77-91.
    by Niels Lohmann
    posted to petri-nets formal-process bpel 2008 by japarejo on 2008-09-19 12:30:57 as *** along with 1 person and 1 group leonardo SRG Reading Room
  • WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL
    On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE (2006), pp. 127-144.
    by Kristian Lassen, Wil van der Aalst
    posted to workflow transformation bpel 2006 by japarejo on 2008-09-19 10:41:07 as **
  • Adaptive Service Composition in Flexible Processes
    Software Engineering, IEEE Transactions on, Vol. 33, No. 6. (2007), pp. 369-384.
    by D Ardagna, B Pernici
    posted to 2007 adaptor bpel composition by japarejo on 2007-12-26 20:16:51 as read along with 1 person locatellimp
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/bpel

    Result page: 1 2 Next 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.