000 05744nam a2200661 i 4500
001 6515246
003 IEEE
005 20200421114528.0
006 m o d
007 cr |n|||||||||
008 151222s2008 nyu ob 001 eng d
020 _a9781118554609
_qebook
020 _z9781118171332
_qprint
020 _z9781118554654
_qelectronic
020 _z1118554655
_qelectronic
020 _z1118554604
_qelectronic
020 _z9781118554623
_qelectronic
020 _z1118554620
_qelectronic
024 7 _a10.1002/9781118554609
_2doi
035 _a(CaBNVSL)mat06515246
035 _a(IDAMS)0b00006481d646a4
040 _aCaBNVSL
_beng
_erda
_cCaBNVSL
_dCaBNVSL
050 4 _aT58.64.
_bT25 2013eb
082 0 4 _a003
100 1 _aTan, Wei,
_eauthor.
245 1 0 _aBusiness and scientific workflows :
_ba web service-oriented approach.
264 1 _a[Hoboken, New Jersey] :
_bWiley,
_c2013.
264 2 _a[Piscataqay, New Jersey] :
_bIEEE Xplore,
_c[2013]
300 _a1 PDF (272 pages).
336 _atext
_2rdacontent
337 _aelectronic
_2isbdmedia
338 _aonline resource
_2rdacarrier
490 1 _aIEEE Press Series on Systems Science and Engineering ;
_v5
500 _aIn Wiley online library
505 8 _aBusiness and Scientific Workflows: A Web Service-Oriented Approach; Contents; Foreword; Preface; 1 -- Introduction; 1.1 Background and Motivations; 1.1.1 Web Service and Service-Oriented Architecture; 1.1.2 Workflow Technology; 1.2 Overview of Standards; 1.2.1 Web Service-Related Standards; 1.2.2 Workflow-Related Standards; 1.3 Workflow Design: State of the Art; 1.3.1 Automatic Service Composition; 1.3.2 Mediation-Aided Service Composition; 1.3.3 Verification of Service-Based Workflows; 1.3.4 Decentralized Execution of Workflows; 1.3.5 Scientific Workflow Systems; 1.4 Contributions
505 8 _a2 -- Petri Net Formalism2.1 Basic Petri Nets; 2.2 Workflow Nets; 2.3 Colored Petri Nets; 3 -- Data-Driven Service Composition; 3.1 Problem Statement; 3.1.1 Domains and Data Relations; 3.1.2 Problem Formulation; 3.2 Data-Driven Composition Rules; 3.2.1 Sequential Composition Rule; 3.2.2 Parallel Composition Rule; 3.2.3 Choice Composition Rule; 3.3 Data-Driven Service Composition; 3.3.1 Basic Definitions; 3.3.2 Derive AWSP from Service Net; 3.4 Effectiveness and Efficiency of the Data-Driven Approach; 3.4.1 Solution Effectiveness; 3.4.2 Complexity Analysis; 3.5 Case Study; 3.6 Discussion
505 8 _a3.7 Summary3.8 Bibliographic Notes; 4 -- Analysis and Composition of Partially-Compatible Web Services; 4.1 Problem Definition and Motivating Scenario; 4.1.1 A Motivating Scenario; 4.2 Petri Net Formalism for BPEL Service, Mediation, and Compatibility; 4.2.1 CPN Formalism for BPEL Process; 4.2.2 CPN Formalism for Service Composition; 4.2.3 Mediator and Mediation-Aided Service Composition; 4.3 Compatibility Analysis via Petri Net Models; 4.3.1 Transforming Abstract BPEL Process to SWF-net; 4.3.2 Specifying Data Mapping; 4.3.3 Mediator Existence Checking; 4.3.4 Proof of Theorem 4.1
505 8 _a4.4 Mediator Generation Approach4.4.1 Types of Mediation; 4.4.2 Guided Mediator Generation; 4.5 Bibliographic Notes; 4.5.1 Web Service Composition; 4.5.2 Business Process Integration; 4.5.3 Web Service Configuration; 4.5.4 Petri Net Model of BPEL Processes; 4.5.5 Component/Web Service Mediation; 5 -- Web Service Configuration with Multiple Quality-of-Service Attributes; 5.1 Introduction; 5.2 Quality-of-Service Measurements; 5.2.1 QoS Attributes; 5.2.2 Aggregation; 5.2.3 Computation of QoS; 5.3 Assembly Petri Nets and Their Properties; 5.3.1 Assembly and Disassembly Petri Nets
505 8 _a5.3.2 Definition of Incidence Matrix and State-Shift Equation5.3.3 Definition of Subgraphs and Solutions; 5.4 Optimal Web Service Configuration; 5.4.1 Web Service Configuration under Single QoS Objective; 5.4.2 Web Service Configuration under Multiple QoS Objectives; 5.4.3 Experiments and Performance Analysis; 5.5 Implementation; 5.6 Summary; 5.7 Bibliographic Notes; 6 -- A Web Service-Based Public-Oriented Personalized Health Care Platform; 6.1 Background and Motivation; 6.2 System Architecture; 6.2.1 The System Architecture of PHISP; 6.2.2 Services Encapsulated in PHISP
505 8 _a6.2.3 Composite Service Specifications
506 1 _aRestricted to subscribers or individual electronic text purchasers.
520 8 _aThis reference book for system engineers, architects, and managers focuses on how to design, analyze, and deploy Web service-based workflows for both business and scientific applications in a broad domain of healthcare and biomedicine. It discusses recent research and development results, as well as applications including healthcare and biomedical applications such as personalized healthcare processing, DNA sequence data processing, and electrocardiogram wave analysis. It also presents key methods such as Petri nets and social network analysis to advance the theory and applications of workflow.
530 _aAlso available in print.
538 _aMode of access: World Wide Web
588 _aDescription based on PDF viewed 12/22/2015.
650 0 _aWorkflow
_xData processing.
650 0 _aBusiness
_xData processing.
650 0 _aInformation technology.
650 0 _aIndustrial management.
655 0 _aElectronic books.
700 1 _aZhou, MengChu.
710 2 _aIEEE Xplore (Online Service),
_edistributor.
710 2 _aJohn Wiley & Sons,
_epublisher.
776 0 8 _iPrint version:
_z9781118171332
830 0 _aIEEE Press Series on Systems Science and Engineering ;
_v5
856 4 2 _3Abstract with links to resource
_uhttp://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6515246
942 _cEBK
999 _c59897
_d59897