that combine other, possibly distri

that combine other, possibly distributed, services, in order to achieve a given business
goal. Starting from the description of the external protocols (e.g., expressed as an abstract
BPEL4WS specification) and given a “business requirement” for the process (i.e.
the goal it should satisfy, expressed in a proper goal language), the planner synthesizes
automatically the code that implements the internal process and exploits the services
of the partners to achieve the goal. This code can be expressed in a process execution
language such as executable BPEL4WS.
Our planning techniques are also exploited to automatically generate a monitor of
the process, i.e., a piece of code that is able to detect and signal whether the external
partners do not behave consistently with the specified protocols. This is vital for the
practical application of web services. Run-time misbehaviors may take place even for
automatically composed (and possibly validated) services, e.g. due to failures of the underlying
message-passing infrastructure, or due to errors or changes in the specification
of external web services.
In order to achieve these results, our planner must address the following difficulties,
which are typical of planning under uncertainty:
– Nondeterminism: The planner cannot foresee the actual interaction that will take
place with external processes, e.g., it cannot predict a priori whether the answer to
a request for availability will be positive or negative, whether a user will confirm or
not acceptance of a service, etc.
– Partial Observability: The planner can only observe the communications with
external processes; that is, it has no access to their internal status and variables. For
instance, the planner cannot know a priori the list of items available for selling from
a service.
– Extended Goals: Business requirements often involve complex conditions on the
behavior of the process, and not only on its final state. For instance, we might require
that the process never gets to the state where it buys an item costing more than the
available budget. Moreover, requirements need to express conditional preferences
on different goals to achieve. For instance, a process should try first to reserve
and confirm both a flight and an hotel from two different service providers, and
only if one of the two services is not available, it should fall back and cancel both
reservations.
We address these problems by developing planning techniques based on the “Planning
as model checking” approach, which has been devised to deal with nondeterministic domains,
partial observability, and extended goals.Aprotocol specification for the available
external services is seen as a nondeterministic and partially observable domain, which
is represented by means of a finite state machine. Business requirements are expressed
in the EaGLe goal language [8], and are used to drive the search in the domain, in order
to synthesize a plan corresponding to the internal process defining the web-service
composition. Plan generation takes advantage of symbolic model checking techniques,
that compactly represent the search space deriving from nondeterministic and partially
observable domains. These are also exploited to produce compact monitoring automata
that are capable to trace the run-time evolution of external processes, and thus to detect

0/5000

จาก: -

เป็น: -

ผลลัพธ์ (ไทย) 1: [สำเนา]

คัดลอก!

ที่รวมอื่น ๆ ที่อาจจะกระจายการให้บริการในการสั่งซื้อเพื่อให้บรรลุเป้าหมายทางธุรกิจที่กำหนด
เริ่มต้นจากคำอธิบายของโปรโตคอลภายนอก (เช่นแสดงเป็นนามธรรม
ข้อกำหนด bpel4ws) และให้ "ความต้องการทางธุรกิจ" สำหรับกระบวนการ (เช่น
เป้าหมายมันควรจะตอบสนองแสดงในภาษาเป้าหมายที่เหมาะสม), วางแผนสังเคราะห์
โดยอัตโนมัติรหัสที่ใช้การกระบวนการภายในและห้าวหาญ
บริการของพันธมิตรเพื่อให้บรรลุเป้าหมาย รหัสนี้สามารถแสดงออกในการดำเนินกระบวนการภาษา
เช่น bpel4ws ปฏิบัติการ.
เทคนิคการวางแผนของเราจะยังไม่เหมาะสมโดยอัตโนมัติสร้างการตรวจสอบของกระบวนการ
คือชิ้นส่วนของรหัสที่สามารถตรวจสอบและส่งสัญญาณว่าภายนอก
พันธมิตรไม่ได้มีพฤติกรรมอย่างต่อเนื่องกับโปรโตคอลที่ระบุ นี้มีความสำคัญสำหรับการประยุกต์ใช้จริง
จากบริการเว็บ misbehaviors เวลาทำงานอาจเกิดขึ้นแม้กระทั่งสำหรับการให้บริการประกอบไปโดยอัตโนมัติ (และการตรวจสอบอาจจะ)
เช่น เนื่องจากความล้มเหลวของพื้นฐาน
โครงสร้างพื้นฐานการส่งข้อความหรือเนื่องจากข้อผิดพลาดหรือการเปลี่ยนแปลงใน
ข้อกำหนดในการให้บริการเว็บภายนอก.
เพื่อให้บรรลุผลลัพธ์เหล่านี้วางแผนของเราต้องอยู่ปัญหาดังต่อไปนี้
ซึ่งเป็นเรื่องธรรมดาของการวางแผนภายใต้ความไม่แน่นอน:
- nondeterminism: วางแผนไม่สามารถล่วงรู้ปฏิสัมพันธ์ที่เกิดขึ้นจริงที่จะเกิดขึ้น
กับกระบวนการภายนอกเช่นนั้นจะไม่สามารถคาดการณ์ได้ เบื้องต้นไม่ว่าจะเป็นคำตอบ
ขอตรวจสอบห้องว่างจะเป็นบวกหรือลบไม่ว่าผู้ใช้จะยืนยันหรือ
ไม่ยอมรับในการให้บริการ ฯลฯ
- สังเกตได้บางส่วน: วางแผนเท่านั้นที่สามารถสังเกตเห็นการสื่อสารกับกระบวนการภายนอก
; นั่นคือมันมีการเข้าถึงสถานะภายในของพวกเขาและตัวแปรที่ไม่มี ตัวอย่างเช่น
วางแผนไม่สามารถทราบนิรนัยรายการของรายการที่มีการขายบริการจาก

- เป้าหมายขยาย:. ความต้องการทางธุรกิจมักจะเกี่ยวข้องกับเงื่อนไขที่ซับซ้อนบน
พฤติกรรมของกระบวนการและไม่เพียง แต่รัฐเป็นครั้งสุดท้าย ตัวอย่างเช่นเราอาจจำเป็นต้องมี
ว่ากระบวนการไม่เคยได้รับไปยังรัฐที่จะซื้อรายการที่ต้นทุนมากกว่างบประมาณ
นอกจากนี้ความต้องการจำเป็นที่จะต้องแสดงการตั้งค่าเงื่อนไข
กับเป้าหมายที่แตกต่างกันเพื่อให้บรรลุ เช่นกระบวนการควรจะพยายามแรกที่สำรอง
และยืนยันทั้งสองเที่ยวบินและโรงแรมจากสองผู้ให้บริการที่แตกต่างกันและ
แต่ถ้าหนึ่งในสองของการให้บริการที่ไม่สามารถใช้ได้ก็ควรถอยกลับและยกเลิกการจองทั้ง
.
เราแก้ไขปัญหาเหล่านี้โดยการพัฒนาเทคนิคการวางแผนบนพื้นฐานของ " การวางแผน
เป็นแบบจำลองวิธีการ "ตรวจสอบซึ่งได้รับการวางแผนที่จะจัดการกับโดเมน nondeterministic
สังเกตได้บางส่วนและเป้าหมายการขยายข้อกำหนดสำหรับ aprotocol ที่มีบริการภายนอก
ถูกมองว่าเป็นโดเมน nondeterministic และติดตามบางส่วนซึ่งเป็นตัวแทน
โดยวิธีการของเครื่องรัฐ จำกัด ความต้องการทางธุรกิจจะแสดง
ในภาษาเป้าหมายนกอินทรี [8] และถูกนำมาใช้ในการผลักดันการค้นหาในโดเมนใน
เพื่อสังเคราะห์แผนสอดคล้องกับกระบวนการภายในกำหนดเว็บบริการ
ส่วนประกอบ การสร้างแผนการใช้ประโยชน์จากรูปแบบสัญลักษณ์การตรวจสอบเทคนิค
ดานที่เป็นตัวแทนของการค้นหาพื้นที่มาจาก nondeterministic และบางส่วนโดเมนติดตาม
เหล่านี้จะยังไม่เหมาะสมในการผลิตการตรวจสอบออ
กะทัดรัดที่มีความสามารถที่จะติดตามวิวัฒนาการเวลาทำงานของกระบวนการภายนอกและทำให้การตรวจสอบ

การแปล กรุณารอสักครู่..

ผลลัพธ์ (ไทย) 2:[สำเนา]

คัดลอก!

ที่รวมบริการอื่น ๆ อาจ กระจาย เพื่อธุรกิจกำหนด
เป้าหมาย เริ่มต้นจากคำอธิบายของโพรโทคอลที่ภายนอก (เช่น แสดงเป็นบทคัดย่อ
ข้อมูลจำเพาะ BPEL4WS) และกำหนด "แผนธุรกิจ" สำหรับกระบวนการ (i.e.
the เป้าหมายควรสนอง แสดงในภาษาเป้าหมายที่เหมาะสม), นักวางแผน synthesizes
โดยอัตโนมัติรหัสที่ใช้กระบวนการภายใน และนำบริการ
ของคู่ค้าเพื่อให้บรรลุเป้าหมาย สามารถแสดงรหัสนี้ในการดำเนินการกระบวนการ
ภาษาเช่น BPEL4WS ปฏิบัติการ
เทคนิคการวางแผนของเราจะยังสามารถสร้างจอภาพของโดยอัตโนมัติ
กระบวน เช่น ชิ้นส่วนของรหัสที่สามารถตรวจจับ และส่งสัญญาณว่า ภายใน
พันธมิตรไม่ทำงานอย่างต่อเนื่องกับโพรโทคอลที่ระบุ นี้มีความสำคัญสำหรับการ
ภาคของบริการบนเว็บ Misbehaviors ขณะใช้งานอาจทำได้สำหรับ
ประกอบโดยอัตโนมัติ (และอาจตรวจ) บริการ เช่นเนื่องจากความล้มเหลวของตัว
ข้อความผ่านโครงสร้างพื้นฐาน หรือเนื่อง จากข้อผิดพลาดหรือเปลี่ยนแปลงข้อมูลจำเพาะ
บริการเว็บภายนอกได้
เพื่อให้บรรลุผลลัพธ์เหล่านี้ วางแผนของเราต้องระบุปัญหาต่อไปนี้,
ซึ่งเป็นปกติของการวางแผนภายใต้ความไม่แน่นอน:
– Nondeterminism: นักวางแผนไม่สามารถเล็งเห็นการโต้ตอบที่จริงที่จะ
ที่ มีกระบวนการภายนอก เช่น มันไม่สามารถทำนายว่า แรกสุดว่าคำตอบ
คำพร้อมจะบวก หรือ ลบ ว่าผู้ใช้จะยืนยัน หรือ
ไม่ยอมรับบริการ ฯลฯ
– Observability บางส่วน: นักวางแผนเท่านั้นสามารถสังเกตการสื่อสารกับ
กระบวนการภายนอก กล่าวคือ มันมีไม่ถึงสถานะภายในของตนและตัวแปร สำหรับ
อินสแตนซ์ นักวางแผนไม่ทราบที่ priori รายการของสินค้าที่ขายจาก
บริการแบบนั้น
– ขยายเป้าหมาย: ธุรกิจเกี่ยวข้องกับเงื่อนไขที่ซับซ้อนมักจะบน
ลักษณะ ของกระบวนการ และไม่เพียงแต่ ในสถานะสุดท้าย เช่น เราอาจต้อง
ว่า กระบวนการไม่ได้รับการที่จะซื้อการคิดต้นทุนสินค้ามากขึ้นกว่า
งบประมาณที่มี ความต้องการจำเป็นต้องแสดงการตั้งค่าแบบมีเงื่อนไขนอก
ในเป้าหมายต่าง ๆ เพื่อให้บรรลุ ตัวอย่าง กระบวนการควรลองก่อนจอง
และยืนยันเที่ยวบินและการโรงแรมจากผู้ให้บริการที่แตกต่างกันสอง และ
เดียวถ้าไม่มีบริการสองอย่างใดอย่างหนึ่ง มันควรถอยกลับ และยกเลิกทั้ง
จอง
เราปัญหาเหล่านี้ โดยการพัฒนาเทคนิคการวางแผนตาม "วางแผน
เป็นการตรวจสอบแบบจำลอง" วิธี การที่มีการคิดค้นการจัดการกับโดเมนถูก,
observability บางส่วน และเป้าหมายเพิ่มเติมข้อมูลจำเพาะ Aprotocol สำหรับที่ว่าง
บริการภายนอกจะเห็นเป็นโดเมนถูก และบางส่วน observable ซึ่ง
แสดง โดยเครื่องสถานะจำกัด ความต้องการทางธุรกิจจะแสดง
ในเป้าหมายอินทรี ภาษา [8], และจะใช้ไปค้นหาในโดเมน ตามลำดับ
สังเคราะห์แผนที่สอดคล้องกับกระบวนการภายในกำหนดบริการเว็บ
บทประพันธ์ สร้างแผนใช้ประโยชน์จากการตรวจสอบเทคนิค รูปสัญลักษณ์
ที่ compactly แสดงพื้นที่การค้นหาที่บริษัทฯ ถูก และบางส่วน
observable โดเมน เหล่านี้จะสามารถผลิตขนาดเล็กตรวจสอบออโตมาตา
ที่มีความสามารถในการติดตามวิวัฒนาการขณะใช้งาน ของกระบวนการภายนอก และการตรวจสอบ

การแปล กรุณารอสักครู่..

ผลลัพธ์ (ไทย) 3:[สำเนา]

คัดลอก!

ซึ่งประกอบด้วยบริการอาจเป็นไปได้ในการสั่งซื้ออื่นๆกระจายไปยังได้รับมอบให้ทางธุรกิจ
ซึ่งจะช่วยให้บรรลุเป้าหมาย การเริ่มต้นจากคำอธิบายของโปรโตคอล ภายนอก (เช่นแสดงเป็นข้อมูลจำเพาะของ
bpel 4 WS )และได้รับ"ความต้องการทางธุรกิจที่"สำหรับขั้นตอนที่(เช่น
เป้าหมายที่จะสร้างความพึงพอใจใน ภาษา เป้าหมายที่เหมาะสม)บันทึกแผนงานที่ synthesizes
โดยอัตโนมัติที่จะใช้กระบวนการ ภายใน และข้อบกพร่องของบริการของคู่ค้าที่
ซึ่งจะช่วยให้บรรลุเป้าหมายได้. รหัสนี้จะสามารถได้รับการแสดงออกในขั้นตอนการประมวลผล
ภาษา เช่น WS ที่ปฏิบัติการได้ bpel4 .
เทคนิคการวางแผนการตักตวงผลประโยชน์ของเราได้รับการสร้างจอมอนิเตอร์ที่ของกระบวนการ
ซึ่งจะช่วยได้เช่นชิ้นหนึ่งของรหัสนั้นจะสามารถตรวจจับและสัญญาณ ภายนอก ไม่ว่าจะที่
ตามมาตรฐานโดยอัตโนมัติคู่ค้าจะไม่ประพฤติปฏิบัติอย่างต่อเนื่องพร้อมด้วยโปรโตคอลที่ระบุ โรงแรมแห่งนี้มีความสำคัญอย่างยิ่งสำหรับแอปพลิเคชันที่ใช้ได้จริง
ของบริการเว็บ misbehaviors เวลาใช้งานอาจจะเกิดขึ้นได้สำหรับบริการ
โดยอัตโนมัติประกอบด้วย(และอาจจะได้รับการตรวจสอบ)เช่นเนื่องจากความล้มเหลวของระบบโครงสร้างพื้นฐานด้านพื้นฐาน
ซึ่งจะช่วยส่งข้อความหรือเนื่องจากมีการเปลี่ยนแปลงหรือความผิดพลาดในข้อมูลจำเพาะ
ซึ่งจะช่วยให้การบริการเว็บ ภายนอก .
ในการสั่งซื้อจะได้รับผลการทดสอบนี้บันทึกแผนงานของเราจะต้องประสบปัญหาในแอดเดรสต่อไปนี้:
ซึ่งเป็นแบบอย่างของการวางแผนตามความไม่แน่นอน:
- - nondeterminism บันทึกแผนงานที่ไม่สามารถเน้นการโต้ตอบที่จะพา
ซึ่งจะช่วยวางด้วยกระบวนการ ภายนอก เช่นไม่สามารถทำนาย Priori ที่ไม่ว่าจะตอบได้ในการขอ
สำหรับความพร้อมใช้งานจะเป็นบวกหรือลบไม่ว่าผู้ใช้จะทำการยืนยันหรือ
ไม่ได้รับการยอมรับในการให้บริการทั้งที่เป็นต้น
- บางส่วนบันทึกแผนงานที่สามารถสังเกตการสื่อสารที่พร้อมด้วย
กระบวนการ ภายนอก เท่านั้นที่ไม่มีการเข้าใช้สถานะ ภายใน ของพวกเขาและตัวแปร. ตัวอย่างเช่น
ซึ่งจะช่วยให้บันทึกแผนงานที่ไม่สามารถรู้ที่ Priori รายการของรายการให้บริการสำหรับการขายจาก
ซึ่งจะช่วยให้บริการ.เป้าหมาย
- - ขยายความต้องการทางธุรกิจมักเกี่ยวข้องกับเงื่อนไขที่ซับซ้อนในที่
ตามมาตรฐานลักษณะการทำงานของกระบวนการและไม่ใช่เฉพาะในรัฐครั้งสุดท้ายของตน. ตัวอย่างเช่นเราอาจจำเป็นต้องใช้
ซึ่งจะช่วยให้กระบวนการที่ไม่เคยได้รับการของรัฐซึ่งจะรับซื้อรายการที่ค่าใช้จ่ายมากกว่าที่ได้
ซึ่งจะช่วยจัดให้บริการแบบจำกัดงบประมาณ ยิ่งไปกว่านั้นความต้องการจำเป็นต้อง Express โดยมีเงื่อนไขการกำหนดลักษณะ
ซึ่งจะช่วยในการบรรลุเป้าหมายแตกต่างกัน ตัวอย่างเช่นกระบวนการที่ควรจะลองใช้เป็นครั้งแรกเพื่อทำการจอง
ตามมาตรฐานและยืนยันเที่ยวบินและเป็นโรงแรมที่ทั้งจากผู้ให้บริการสองบริการอื่นและ
เท่านั้นหากเป็นหนึ่งในสองบริการที่ไม่ได้ใช้ได้ควรอยู่ด้านหลังและยกเลิก
การจองทั้ง.
เราแก้ไขปัญหาเหล่านี้โดยการพัฒนาเทคนิคการวางแผนการบนพื้นฐานของ"การวางแผนการ
ซึ่งจะช่วยเป็นรุ่นการตรวจสอบ"แนวทางที่ได้รับการคิดค้นเพื่อจัดการกับโดเมน nondeterministic
ทั้งบางส่วนและบรรลุเป้าหมายระยะยาว.ข้อมูลจำเพาะสำหรับบริการ aprotocol
ซึ่งจะช่วยให้บริการ ภายนอก ที่ถูกมองว่าเป็น nondeterministic และบางส่วนโดเมนเห็นได้ซึ่ง
ซึ่งจะช่วยคือการแสดงออกด้วยการใช้วิธีการเครื่องของรัฐแบบจำกัด ความต้องการทางด้านธุรกิจได้ถูกแสดงออกมา
ซึ่งจะช่วยใน ภาษา เป้าหมายนกอินทรีที่[ 8 ]และมีการใช้ในการขับรถการค้นหาที่อยู่ในโดเมนในการสั่งซื้อ
ซึ่งจะช่วยในการสังเคราะห์แผนที่ที่เกี่ยวข้องกับกระบวนการ ภายใน ที่กำหนดบนเว็บที่จัดให้บริการ
การเขียนเรียงความ. สำหรับอนาคตวางแผนจะใช้ประโยชน์จากรุ่นเป็นสัญลักษณ์ของการตรวจสอบเทคนิค
ที่ดีไซน์ขนาดกะทัดรัดเป็นพื้นที่การค้นหาที่หวังผลประโยชน์จาก nondeterministic
โดเมนและบางส่วนได้ เหล่านี้เป็นตักตวงผลประโยชน์ให้กลายเป็นจักรกลการตรวจสอบขนาดกะทัดรัด
ซึ่งจะช่วยให้มีความสามารถในการติดตามการทำงานของกระบวนการ ภายนอก และการตรวจพบยัง

การแปล กรุณารอสักครู่..

ภาษาอื่น ๆ

การสนับสนุนเครื่องมือแปลภาษา: กรีก, กันนาดา, กาลิเชียน, คลิงออน, คอร์สิกา, คาซัค, คาตาลัน, คินยารวันดา, คีร์กิซ, คุชราต, จอร์เจีย, จีน, จีนดั้งเดิม, ชวา, ชิเชวา, ซามัว, ซีบัวโน, ซุนดา, ซูลู, ญี่ปุ่น, ดัตช์, ตรวจหาภาษา, ตุรกี, ทมิฬ, ทาจิก, ทาทาร์, นอร์เวย์, บอสเนีย, บัลแกเรีย, บาสก์, ปัญจาป, ฝรั่งเศส, พาชตู, ฟริเชียน, ฟินแลนด์, ฟิลิปปินส์, ภาษาอินโดนีเซี, มองโกเลีย, มัลทีส, มาซีโดเนีย, มาราฐี, มาลากาซี, มาลายาลัม, มาเลย์, ม้ง, ยิดดิช, ยูเครน, รัสเซีย, ละติน, ลักเซมเบิร์ก, ลัตเวีย, ลาว, ลิทัวเนีย, สวาฮิลี, สวีเดน, สิงหล, สินธี, สเปน, สโลวัก, สโลวีเนีย, อังกฤษ, อัมฮาริก, อาร์เซอร์ไบจัน, อาร์เมเนีย, อาหรับ, อิกโบ, อิตาลี, อุยกูร์, อุสเบกิสถาน, อูรดู, ฮังการี, ฮัวซา, ฮาวาย, ฮินดี, ฮีบรู, เกลิกสกอต, เกาหลี, เขมร, เคิร์ด, เช็ก, เซอร์เบียน, เซโซโท, เดนมาร์ก, เตลูกู, เติร์กเมน, เนปาล, เบงกอล, เบลารุส, เปอร์เซีย, เมารี, เมียนมา (พม่า), เยอรมัน, เวลส์, เวียดนาม, เอสเปอแรนโต, เอสโทเนีย, เฮติครีโอล, แอฟริกา, แอลเบเนีย, โคซา, โครเอเชีย, โชนา, โซมาลี, โปรตุเกส, โปแลนด์, โยรูบา, โรมาเนีย, โอเดีย (โอริยา), ไทย, ไอซ์แลนด์, ไอร์แลนด์, การแปลภาษา.