Search Results - "BPEL (Computer program language)"

A model-driven framework for runtime adaptation of web service compositions.

Authors: Grossmann, Georg Schrefl, Michael Stumptner, Markus

Source: ICSE: International Conference on Software Engineering. 2011, p184-189. 6p.

Subjects: Computer software, BPEL (Computer program language), Web services, Computer systems, Software engineering

Towards a User-Oriented Environment for Web Services Composition.

Authors: El-Gayyar, Mahmoud M. Alda, Sascha J. Cremers, Armin B.

Source: ICSE: International Conference on Software Engineering. 2008, p81-85. 5p. 3 Color Photographs, 4 Diagrams, 1 Graph.

Subjects: Workflow software, BPEL (Computer program language), Programming languages, Computer service industry, Web services

Generating effective test cases based on satisfiability modulo theory solvers for service-oriented workflow applications.

Authors: Wang, Hongda Xing, Jianchun Yang, Qiliang et al.

Source: Software Testing: Verification & Reliability. Mar2016, Vol. 26 Issue 2, p149-169. 21p.

Subjects: Web services, BPEL (Computer program language), Service-oriented architecture (Computer science), Semantics, Programming languages

Modeling and verification of Web services composition based on model transformation.

Authors: Zhu, Yi Huang, Zhiqiu Zhou, Hang

Source: Software: Practice & Experience; May2017, Vol. 47 Issue 5, p709-730, 22p

WeMuTe - A Weak Mutation Testing Tool for WS-BPEL.

Authors: Boonyakulsrirung, Panya Suwannasart, Taratip

Source: Proceedings of the International MultiConference of Engineers & Computer Scientists 2012 Volume I; 2012, Vol. 1, p793-798, 6p

Finding web services via BPEL fragment search.

Authors: Takada, Shingo

Source: ICSE: International Conference on Software Engineering; 2011, p9-12, 4p

Structure Pattern Oriented Method for Service Composition.

Authors: Minghui Wu Canghong Jin Jing Ying

Source: Proceedings of the International Symposium on Information Processing; 2009, p5-8, 4p

A UML Profile for Automated Behavior Processes in ODP Enterprise Language.

Authors: Balouki, Youssef Bouhdadi, Mohamed Chabbar, El maati

Source: International MultiConference of Engineers & Computer Scientists 2008; 2008, p1014-1019, 6p

SEMANTIC BPEL PROCESS COOPERATION.

Authors: M'bareck, Nomane Ould Ahmed Tata, Samir

Source: Proceedings of the IADIS International Conference on WWW/Internet; Nov2007, p238-242, 5p, 2 Diagrams

The Study of Web Services Composition Model.

Authors: Wen-Yau Liang¹, wyliang@cc.ncue.edu.tw

Source: International MultiConference of Engineers & Computer Scientists 2007 (Volume 1); 2007, p899-903, 5p, 1 Color Photograph, 1 Graph

COORDINATING ELECTRONIC AUCTIONS BY WORKFLOW SYSTEMS.

Authors: Puustjärvi, Juha¹

Source: Proceedings of the IADIS International Conference on WWW/Internet; Jan2005, p139-142, 4p, 3 Diagrams

Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra.

Authors: Brandt, Christoph Hermann, Frank Groote, Jan Friso

Source: Journal of Research & Practice in Information Technology. Feb2011, Vol. 43 Issue 1, p65-85. 21p.

Subjects: BPEL (Computer program language), Programming languages, Credit Suisse AG, Software engineering, Computer software

Adaptation of Process Models -- A Semantic-based Approach.

Authors: Eisenbarth, Thomas Lautenbacher, Florian Bauer, Bernhard

Source: Journal of Research & Practice in Information Technology. Feb2011, Vol. 43 Issue 1, p5-23. 19p.

Subjects: BPEL (Computer program language), Programming languages, Semantics, Comparative linguistics, Ontologies (Information retrieval)

Document Logic: Risk Analysis of Business Processes through Document Authenticity.

Authors: Iida, Shusaku Denker, Grit Talcott, Carolyn

Source: Journal of Research & Practice in Information Technology. Feb2011, Vol. 43 Issue 1, p41-63. 23p.

Subjects: BPEL (Computer program language), Programming languages, Artificial languages, Language & languages, Computer software

BPEL Extensions to User-Interactive Service Delivery.

Authors: LEE, JONATHAN YING-YAN LIN SHANG-PIN MA et al.

Source: Journal of Information Science & Engineering. Sep2009, Vol. 25 Issue 5, p1427-1445. 19p. 9 Diagrams, 1 Chart.

Subjects: BPEL (Computer program language), Web services, Human-computer interaction, User interfaces, Internet industry

Remarks on Egon Börger: 'Approaches to model business processes: a critical analysis of BPMN, workflow patterns and YAWL, SOSYM 11:305-318'.

Authors: Reisig, Wolfgang¹ reisig@informatik.hu-berlin.de

Source: Software & Systems Modeling. Feb2013, Vol. 12 Issue 1, p5-9. 5p. 2 Diagrams.

Subjects: BPEL (Computer program language), Petri nets, Programming languages, User-centered system design, Scientific method, Transition flow

ROsWeL Workflow Language: A Declarative, Resource-oriented Approach.

Authors: Brzeziński, Jerzy Danilecki, Arkadiusz Flotyński, Jakub et al.

Source: New Generation Computing. Jun2012, Vol. 30 Issue 2/3, p141-164. 24p.

Subjects: Service-oriented architecture (Computer science), BPEL (Computer program language), Algorithms, XUL (Document markup language), Web services

Implementing Medical Business Processes Integrating Server Technologies.

Authors: Zoraja, Ivan Golem, Vojimir Ilijić, Boris

Source: Journal of Computing & Information Technology. Sep2009, Vol. 17 Issue 3, p229-237. 9p. 6 Diagrams.

Subjects: BPEL (Computer program language), Service-oriented architecture (Computer science), XML (Extensible Markup Language), Client/server computing, Internet servers, Medical informatics

A BPEL-based service-oriented dynamic collaborative mechanism for distributed product design.

Authors: Hu, Yi Zhou, Xionghui Li, Congxing

Source: International Journal of Advanced Manufacturing Technology. Jan2011, Vol. 52 Issue 1-4, p33-44. 12p.

Subjects: BPEL (Computer program language), Service-oriented architecture (Computer science), Product design, Grid computing, Business-to-business transactions, Feasibility studies

A data-centric approach to manage business processes.

Authors: Haddar, Nahla Tmar, Mohamed Gargouri, Faiez

Source: Computing; Apr2016, Vol. 98 Issue 4, p375-406, 32p