A UTP semantic model for Orc language with execution status and fault handling
The Orc language is a concurrency calculus proposed to study the orchestration patterns in service oriented computing. Its special features, such as high concurrency and asynchronism make it a brilliant subject for studying web applications that rely on web services. The conventional semantics for O...
Gespeichert in:
| Veröffentlicht in: | Frontiers of Computer Science Jg. 8; H. 5; S. 709 - 725 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Heidelberg
Higher Education Press
01.10.2014
Springer Nature B.V |
| Schlagworte: | |
| ISSN: | 2095-2228, 2095-2236 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | The Orc language is a concurrency calculus proposed to study the orchestration patterns in service oriented computing. Its special features, such as high concurrency and asynchronism make it a brilliant subject for studying web applications that rely on web services. The conventional semantics for Orc does not contain the execution status of services so that a program cannot determine whether a service has terminated normally or halted with a failure after it published some results. It means that this kind of failure cannot be captured by the fault handler. Furthermore, such a semantic model cannot establish an order saying that a program is better if it fails less often. This paper employs UTP methods to propose a denotational semantic model for Orc that contains execution status information. A failure handling semantics is defined to recover a failure execution back to normal. A refinement order is defined to compare two systems based on their execution failures. Based on this order, a system that introduces a failure recovery mechanism is considered better than one without. An extended operational semantics is also proposed and proven to be equivalent to the denotational semantics. |
|---|---|
| AbstractList | The Orc language is a concurrency calculus proposed to study the orchestration patterns in service oriented computing. Its special features, such as high concurrency and asynchronism make it a brilliant subject for studying web applications that rely on web services. The conventional semantics for Orc does not contain the execution status of services so that a program cannot determine whether a service has terminated normally or halted with a failure after it published some results. It means that this kind of failure cannot be captured by the fault handler. Furthermore, such a semantic model cannot establish an order saying that a program is better if it fails less often. This paper employs UTP methods to propose a denotational semantic model for Orc that contains execution status information. A failure handling semantics is defined to recover a failure execution back to normal. A refinement order is defined to compare two systems based on their execution failures. Based on this order, a system that introduces a failure recovery mechanism is considered better than one without. An extended operational semantics is also proposed and proven to be equivalent to the denotational semantics. The Orc language is a concurrency calculus pro- posed to study the orchestration patterns in service oriented computing. Its special features, such as high concurrency and asynchronism make it a brilliant subject for studying web applications that rely on web services. The conventional se- mantics for Orc does not contain the execution status of ser- vices so that a program cannot determine whether a service has terminated normally or halted with a failure after it pub- lished some results. It means that this kind of failure cannot be captured by the fault handler. Furthermore, such a seman- tic model cannot establish an order saying that a program is better if it fails less often. This paper employs UTP methods to propose a denotational semantic model for Orc that con- rains execution status information. A failure handling seman- tics is defined to recover a failure execution back to normal. A refinement order is defined to compare two systems based on their execution failures. Based on this order, a system that introduces a failure recovery mechanism is considered bet- ter than one without. An extended operational semantics is also proposed and proven to be equivalent to the denotational semantics. |
| Author | Qin LI Yongxin ZHAO Huibiao ZHU Jifeng HE |
| AuthorAffiliation | Software Engineering Institute, East China Normal University, Shanghai 200062, China |
| Author_xml | – sequence: 1 givenname: Qin surname: LI fullname: LI, Qin organization: Software Engineering Institute, East China Normal University, Shanghai 200062, China – sequence: 2 givenname: Yongxin surname: ZHAO fullname: ZHAO, Yongxin email: yxzhao@sei.ecnu.edu.cn organization: Software Engineering Institute, East China Normal University, Shanghai 200062, China – sequence: 3 givenname: Huibiao surname: ZHU fullname: ZHU, Huibiao organization: Software Engineering Institute, East China Normal University, Shanghai 200062, China – sequence: 4 givenname: Jifeng surname: HE fullname: HE, Jifeng organization: Software Engineering Institute, East China Normal University, Shanghai 200062, China |
| BookMark | eNp9kE1LxDAURYMoqOP8AHdB19V8tGmzFPELRF3oOiTtS1vpJDNJi_rvjXQYd7PKhdzz3uOcokPnHSB0TskVJaS8jpSWJM8IzTPOqyJjB-iEEZkC4-Jwl1l1jJYxfhJCGGFFwdgJernBH-9vOMJKu7Gv8co3MGDrA34NNR60ayfdAv7qxw7DN9TT2HuH46jHKWLtGmz1NIy4S3HoXXuGjqweIiy37wJ93N-93z5mz68PT7c3z1mdV_mYaQECOAHKpWUSTA55wU0hpC6JsUJXppbUGMOsrZv0z1hZWtJoEJUp8obzBbqc566D30wQR_Xpp-DSSsUkrUoqJSWpRedWHXyMAaxah36lw4-iRP2ZU7M5lcypP3OKJYbNTExd10L4n7wPqmao69sOAjTrADEqG3ySCmE_erG9sfOu3aSVuyOFYKLgUlb8F97uj9Y |
| Cites_doi | 10.1007/s10270-006-0012-1 10.1007/978-3-7643-8575-0_4 10.1007/s11704-007-0002-7 10.1016/S1567-4223(02)00015-7 10.1016/j.entcs.2008.04.091 10.1007/3-540-55602-8_217 10.1007/11901433_13 10.1002/cpe.4330020404 10.1016/j.tcs.2008.04.037 10.1007/s10723-005-9015-3 10.1007/978-3-540-68265-3_21 10.1145/1022494.1022526 10.2140/pjm.1955.5.285 10.1145/1721654.1721672 |
| ContentType | Journal Article |
| Copyright | Copyright reserved, 2014, Higher Education Press and Springer-Verlag Berlin Heidelberg Higher Education Press and Springer-Verlag Berlin Heidelberg 2014 Higher Education Press and Springer-Verlag Berlin Heidelberg 2014. |
| Copyright_xml | – notice: Copyright reserved, 2014, Higher Education Press and Springer-Verlag Berlin Heidelberg – notice: Higher Education Press and Springer-Verlag Berlin Heidelberg 2014 – notice: Higher Education Press and Springer-Verlag Berlin Heidelberg 2014. |
| DBID | 2RA 92L CQIGP W92 ~WA AAYXX CITATION 8FE 8FG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI |
| DOI | 10.1007/s11704-014-3385-2 |
| DatabaseName | 维普_期刊 中文科技期刊数据库-CALIS站点 中文科技期刊数据库-7.0平台 中文科技期刊数据库-工程技术 中文科技期刊数据库- 镜像站点 CrossRef ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central Technology collection ProQuest One Community College ProQuest Central ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Databases ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition |
| DatabaseTitle | CrossRef Advanced Technologies & Aerospace Collection Computer Science Database ProQuest Central Student Technology Collection ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection ProQuest One Academic Eastern Edition SciTech Premium Collection ProQuest One Community College ProQuest Technology Collection ProQuest SciTech Collection ProQuest Central Advanced Technologies & Aerospace Database ProQuest One Applied & Life Sciences ProQuest One Academic UKI Edition ProQuest Central Korea ProQuest Central (New) ProQuest One Academic ProQuest One Academic (New) |
| DatabaseTitleList | Advanced Technologies & Aerospace Collection |
| Database_xml | – sequence: 1 dbid: P5Z name: Advanced Technologies & Aerospace Database url: https://search.proquest.com/hightechjournals sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| DocumentTitleAlternate | A UTP semantic model for Orc language with execution status and fault handling |
| EISSN | 2095-2236 |
| EndPage | 725 |
| ExternalDocumentID | 10_1007_s11704_014_3385_2 10.1007/s11704-014-3385-2 662653998 |
| GroupedDBID | -EM .VR 06D 0VY 1-T 2J2 2JN 2JY 2KG 2KM 2LR 2RA 30V 4.4 406 408 40E 5VS 92L 95- 95. 96X AABHQ AAFGU AAIAL AAJKR AANZL AARHV AARTL AATLR AATNV AATVU AAUYE AAWCG AAYFA AAYIU AAYQN AAYTO ABDZT ABECU ABFGW ABFTD ABFTV ABHQN ABJNI ABJOX ABKAS ABKCH ABMQK ABNWP ABQBU ABSXP ABTEG ABTHY ABTKH ABTMW ABWNU ABXPI ACAOD ACBMV ACBRV ACBXY ACGFS ACHSB ACHXU ACIPQ ACKNC ACMDZ ACMLO ACOKC ACSNA ACTTH ACVWB ACWMK ACZOJ ADHIR ADINQ ADKNI ADKPE ADMDM ADOXG ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFTE AEGNC AEJHL AEJRE AEKMD AENEX AEOHA AEPYU AESKC AESTI AETLH AEVLU AEVTX AEXYK AFKRA AFLOW AFNRJ AFQWF AFWTZ AFZKB AGAYW AGDGC AGGBP AGJBK AGMZJ AGQMX AGWIL AGWZB AGYKE AHBYD AHKAY AHSBF AHYZX AIAKS AIIXL AILAN AIMYW AITGF AJBLW AJDOV AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AOCGG ARAPS ARMRJ AXYYD B-. BDATZ BENPR BGLVJ BGNMA CQIGP CSCUP DDRTE DNIVK DPUIP EBLON EBS EIOEI EJD ESBYG FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNWQR GQ6 GQ7 HCIFZ HF~ HG6 HMJXF HRMNR HZ~ IKXTQ IWAJR IXD I~Z J-C JBSCW JZLTJ K7- KOV LLZTM M4Y MA- NPVJJ NQJWS NU0 O9J P4S PF0 PT4 R89 ROL RSV S16 S3B SAP SCL SCO SHX SISQX SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN TSG TUC UG4 UNUBA UOJIU UTJUX UZXMN VFIZW W48 W92 YLTOR Z7R Z7X Z81 Z83 Z88 ZMTXR ~WA AAEIZ AAPBV ADTIX C EM H13 HF HZ RIG VR 0R~ AACDK AAJBT AASML AAYZH ABAKF ACDTI ACPIV AEFQL AEMSY AFBBN AGQEE AGRTI AIGIU BSONS CCPQU SJYHP AAPKM AAXDM AAYXX ABBRH ABDBE ABFSG ABRTQ ACSTC AEZWR AFDZB AFFHD AFHIU AFOHR AHPBZ AHWEU AIXLP ATHPR AYFIA CITATION PHGZM PHGZT PQGLB Q-- 8FE 8FG AZQEC DWQXO GNUQQ JQ2 P62 PKEHL PQEST PQQKQ PQUKI |
| ID | FETCH-LOGICAL-c484t-a6e6e30e139f29eb4e453b569a70bf6a8bc91bbb2ffcd9eb2277f0dae68b54d33 |
| IEDL.DBID | P5Z |
| ISICitedReferencesCount | 1 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000343707700001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 2095-2228 |
| IngestDate | Fri Nov 07 23:29:05 EST 2025 Sat Nov 29 03:38:48 EST 2025 Fri Feb 21 02:33:36 EST 2025 Thu Aug 18 16:19:20 EDT 2022 Wed Feb 14 10:33:45 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 5 |
| Keywords | Orc language unifying theories of programming service oriented computing operational semantics denotational semantics |
| Language | English |
| License | This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c484t-a6e6e30e139f29eb4e453b569a70bf6a8bc91bbb2ffcd9eb2277f0dae68b54d33 |
| Notes | Orc language, service oriented computing, uni-fying theories of programming, denotational semantics, op-erational semantics 11-5731/TP The Orc language is a concurrency calculus pro- posed to study the orchestration patterns in service oriented computing. Its special features, such as high concurrency and asynchronism make it a brilliant subject for studying web applications that rely on web services. The conventional se- mantics for Orc does not contain the execution status of ser- vices so that a program cannot determine whether a service has terminated normally or halted with a failure after it pub- lished some results. It means that this kind of failure cannot be captured by the fault handler. Furthermore, such a seman- tic model cannot establish an order saying that a program is better if it fails less often. This paper employs UTP methods to propose a denotational semantic model for Orc that con- rains execution status information. A failure handling seman- tics is defined to recover a failure execution back to normal. A refinement order is defined to compare two systems based on their execution failures. Based on this order, a system that introduces a failure recovery mechanism is considered bet- ter than one without. An extended operational semantics is also proposed and proven to be equivalent to the denotational semantics. operational semantics Orc language unifying theories of programming Document received on :2013-10-08 service oriented computing Document accepted on :2014-04-09 denotational semantics ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| OpenAccessLink | https://journal.hep.com.cn/fcs/EN/10.1007/s11704-014-3385-2 |
| PQID | 2918719910 |
| PQPubID | 2044369 |
| PageCount | 17 |
| ParticipantIDs | proquest_journals_2918719910 crossref_primary_10_1007_s11704_014_3385_2 springer_journals_10_1007_s11704_014_3385_2 higheredpress_frontiers_10_1007_s11704_014_3385_2 chongqing_primary_662653998 |
| PublicationCentury | 2000 |
| PublicationDate | 2014-10-01 |
| PublicationDateYYYYMMDD | 2014-10-01 |
| PublicationDate_xml | – month: 10 year: 2014 text: 2014-10-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationPlace | Heidelberg |
| PublicationPlace_xml | – name: Heidelberg |
| PublicationSubtitle | Selected Publications from Chinese Universities |
| PublicationTitle | Frontiers of Computer Science |
| PublicationTitleAbbrev | Front. Comput. Sci |
| PublicationTitleAlternate | Frontiers of Computer Science in China |
| PublicationYear | 2014 |
| Publisher | Higher Education Press Springer Nature B.V |
| Publisher_xml | – name: Higher Education Press – name: Springer Nature B.V |
| References | LazovikAArbabFUsing reo for service coordinationProceedings of International Conference on Service-Oriented Computing2007398403 AlonsoGKunoHCasatiFMachirajuVWeb Services: Concepts, Architectures and Applications2003 AlTurkiMMeseguerJReal-time rewriting semantics of orcProceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming2007131142 FenselDBusslerCThe web service modeling framework {WSMF}Electronic Commerce Research and Applications20021211313710.1016/S1567-4223(02)00015-7 KitchinDQuarkACookW RMisraJThe orc programming languageLecture Notes in Computer Science2009125 EmmerichWButchartBChenLWassermannBPriceS LGrid service orchestration using the business process execution language (bpel)Journal of Grid Computing200533/428330410.1007/s10723-005-9015-3 KoshkinaMBreugelFModelling and verifying web service orches tration by means of the concurrency workbenchACM SIGSOFT Software Engineering Notes200429511010.1145/1022494.1022526 Orc Language Project. Orc Program Language Demo. http://orc.csres.utexas.edu/tryorc.shtml VardoulakisDWandMA compositional trace semantics for orcCoordination Models and Languages2008505233134610.1007/978-3-540-68265-3_21 NipkowTProgramming and proving in isabelle/holTechnical report, University of Cambridge2013 Orc Language Project. Orc User Guide v2.1.0. http://orc.csres.utexas.edu/documentation/html/userguide/userguide.html KluschMSemantic web service coordinationProceedings of CASCOM: Intelligent Service Coordination in the Semantic Web200859104 LiQZhuH BHeJ FA denotational semantical model for orc languageProceeding of the 7th International Colloquium on Theoretical Aspects of Computing2010106120 DongJ SLiuYSunJZhangXVerification of computation orchestration via timed automataLecture Notes in Computer Science2006426022624510.1007/11901433_13 MisraJCookW RComputation orchestrationJournal of Software and System Modeling2007618311010.1007/s10270-006-0012-1 MatsuokaAKitchinDA semantics for exception handling in orc2009 ArmbrustMFoxAGriffithRJosephA DKatzRKonwinskiALeeGPattersonDRabkinAStoicaIZahariaMAbove The Clouds: A Berkeley View of Cloud ComputingTechnical Report, EECS Department, University of California, Berkeley2009 FerrariGGuancialeRStrolloDJSCL: A middleware for service coordinationProceedings of Formal Techniques for Networked and Distributed Systems20064660 HoareC A RHeJ FUnifying Theories of ProgrammingPrentice Hall International Series in Computer Science1998 WenzelMThe isabelle/isar reference manualTechnical report, University of Cambridge2013 ErlTService-Oriented Architecture (SOA): Concepts, Technology, and DesignPrentice Hall PTR2005 AndrewsGFoundations of Multithreaded, Parallel, and Dis-tributed Programming2000 SunderamV SPvm: A framework for parallel distributed computingConcurrency: practice and experience19902431533910.1002/cpe.4330020404 MisraJA programming model for the orchestration of web servicesProceedings of 2nd International Conference on Software Engineering and Formal Methods20042830 WehrmanIKitchinDCookWRMisraJProperties of the timed operational and denotational semantics of orcTechnical report, Department of Computer Science, The University of Texas at Austin2007 WehrmanIKitchinDCookW RMisraJA timed semantics of orcTheoretical Computer Science20084022/3234248243658210.1016/j.tcs.2008.04.0371147.68436 HoareTA tree semantics of an orchestration languageProceedings of NATO Advanced Study Institute, Engineering Theories of Software Intensive Systems2004 AlTurkiMMeseguerJReduction semantics and formal analysis of orc programsElectronic Notes in Theoretical Computer Science20082003254110.1016/j.entcs.2008.04.091 KitchinDCookW RMisraJA language for task orchestration and its semantic propertiesLecture Notes in Computer Science2006477491 ArmbrustMFoxAGriffithRJosephA DKatzRKonwinskiALeeGPattersonDRabkinAStoicaIZahariaMA view of cloud computingCommunications of the ACM2010534505810.1145/1721654.1721672 TarskiAA lattice-theoretical fix point theorem and its applicationsPacific Journal of Mathematics1955522853097437610.2140/pjm.1955.5.2850064.26004 HeJ FZhuH BPuG GA model for BPEL-like languagesFrontiers of Computer Science in China20071191910.1007/s11704-007-0002-7 OwreSRushbyJMShankarNPvs: A prototype verification systemLecture Notes in Computer Science199260774875210.1007/3-540-55602-8_217 CookW RPatwardhanSMisraJWorkflow patterns in OrcLecture Notes in Computer Science20068296 G Alonso (3385_CR1) 2003 M Klusch (3385_CR7) 2008 T Erl (3385_CR9) 2005 J Misra (3385_CR12) 2004 T Nipkow (3385_CR21) 2013 A Matsuoka (3385_CR28) 2009 D Vardoulakis (3385_CR30) 2008; 5052 S Owre (3385_CR23) 1992; 607 M Armbrust (3385_CR11) 2009 D Kitchin (3385_CR14) 2006 Q Li (3385_CR20) 2010 M Armbrust (3385_CR10) 2010; 53 3385_CR16 G Ferrari (3385_CR6) 2006 3385_CR17 C A R Hoare (3385_CR19) 1998 T Hoare (3385_CR29) 2004 J S Dong (3385_CR32) 2006; 4260 W Emmerich (3385_CR4) 2005; 3 A Tarski (3385_CR24) 1955; 5 I Wehrman (3385_CR31) 2008; 402 M AlTurki (3385_CR33) 2007 A Lazovik (3385_CR8) 2007 M AlTurki (3385_CR34) 2008; 200 I Wehrman (3385_CR27) 2007 D Kitchin (3385_CR18) 2009 G Andrews (3385_CR2) 2000 M Koshkina (3385_CR5) 2004; 29 W R Cook (3385_CR15) 2006 M Wenzel (3385_CR22) 2013 J F He (3385_CR26) 2007; 1 V S Sunderam (3385_CR3) 1990; 2 D Fensel (3385_CR25) 2002; 1 J Misra (3385_CR13) 2007; 6 |
| References_xml | – reference: WehrmanIKitchinDCookW RMisraJA timed semantics of orcTheoretical Computer Science20084022/3234248243658210.1016/j.tcs.2008.04.0371147.68436 – reference: LiQZhuH BHeJ FA denotational semantical model for orc languageProceeding of the 7th International Colloquium on Theoretical Aspects of Computing2010106120 – reference: WenzelMThe isabelle/isar reference manualTechnical report, University of Cambridge2013 – reference: HoareTA tree semantics of an orchestration languageProceedings of NATO Advanced Study Institute, Engineering Theories of Software Intensive Systems2004 – reference: HeJ FZhuH BPuG GA model for BPEL-like languagesFrontiers of Computer Science in China20071191910.1007/s11704-007-0002-7 – reference: KoshkinaMBreugelFModelling and verifying web service orches tration by means of the concurrency workbenchACM SIGSOFT Software Engineering Notes200429511010.1145/1022494.1022526 – reference: MatsuokaAKitchinDA semantics for exception handling in orc2009 – reference: MisraJCookW RComputation orchestrationJournal of Software and System Modeling2007618311010.1007/s10270-006-0012-1 – reference: EmmerichWButchartBChenLWassermannBPriceS LGrid service orchestration using the business process execution language (bpel)Journal of Grid Computing200533/428330410.1007/s10723-005-9015-3 – reference: FenselDBusslerCThe web service modeling framework {WSMF}Electronic Commerce Research and Applications20021211313710.1016/S1567-4223(02)00015-7 – reference: CookW RPatwardhanSMisraJWorkflow patterns in OrcLecture Notes in Computer Science20068296 – reference: KitchinDQuarkACookW RMisraJThe orc programming languageLecture Notes in Computer Science2009125 – reference: OwreSRushbyJMShankarNPvs: A prototype verification systemLecture Notes in Computer Science199260774875210.1007/3-540-55602-8_217 – reference: ArmbrustMFoxAGriffithRJosephA DKatzRKonwinskiALeeGPattersonDRabkinAStoicaIZahariaMA view of cloud computingCommunications of the ACM2010534505810.1145/1721654.1721672 – reference: ArmbrustMFoxAGriffithRJosephA DKatzRKonwinskiALeeGPattersonDRabkinAStoicaIZahariaMAbove The Clouds: A Berkeley View of Cloud ComputingTechnical Report, EECS Department, University of California, Berkeley2009 – reference: AndrewsGFoundations of Multithreaded, Parallel, and Dis-tributed Programming2000 – reference: AlTurkiMMeseguerJReduction semantics and formal analysis of orc programsElectronic Notes in Theoretical Computer Science20082003254110.1016/j.entcs.2008.04.091 – reference: TarskiAA lattice-theoretical fix point theorem and its applicationsPacific Journal of Mathematics1955522853097437610.2140/pjm.1955.5.2850064.26004 – reference: AlTurkiMMeseguerJReal-time rewriting semantics of orcProceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming2007131142 – reference: Orc Language Project. Orc Program Language Demo. http://orc.csres.utexas.edu/tryorc.shtml – reference: FerrariGGuancialeRStrolloDJSCL: A middleware for service coordinationProceedings of Formal Techniques for Networked and Distributed Systems20064660 – reference: SunderamV SPvm: A framework for parallel distributed computingConcurrency: practice and experience19902431533910.1002/cpe.4330020404 – reference: MisraJA programming model for the orchestration of web servicesProceedings of 2nd International Conference on Software Engineering and Formal Methods20042830 – reference: Orc Language Project. Orc User Guide v2.1.0. http://orc.csres.utexas.edu/documentation/html/userguide/userguide.html – reference: ErlTService-Oriented Architecture (SOA): Concepts, Technology, and DesignPrentice Hall PTR2005 – reference: HoareC A RHeJ FUnifying Theories of ProgrammingPrentice Hall International Series in Computer Science1998 – reference: DongJ SLiuYSunJZhangXVerification of computation orchestration via timed automataLecture Notes in Computer Science2006426022624510.1007/11901433_13 – reference: AlonsoGKunoHCasatiFMachirajuVWeb Services: Concepts, Architectures and Applications2003 – reference: WehrmanIKitchinDCookWRMisraJProperties of the timed operational and denotational semantics of orcTechnical report, Department of Computer Science, The University of Texas at Austin2007 – reference: VardoulakisDWandMA compositional trace semantics for orcCoordination Models and Languages2008505233134610.1007/978-3-540-68265-3_21 – reference: LazovikAArbabFUsing reo for service coordinationProceedings of International Conference on Service-Oriented Computing2007398403 – reference: KluschMSemantic web service coordinationProceedings of CASCOM: Intelligent Service Coordination in the Semantic Web200859104 – reference: KitchinDCookW RMisraJA language for task orchestration and its semantic propertiesLecture Notes in Computer Science2006477491 – reference: NipkowTProgramming and proving in isabelle/holTechnical report, University of Cambridge2013 – volume: 6 start-page: 83 issue: 1 year: 2007 ident: 3385_CR13 publication-title: Journal of Software and System Modeling doi: 10.1007/s10270-006-0012-1 – start-page: 28 volume-title: Proceedings of 2nd International Conference on Software Engineering and Formal Methods year: 2004 ident: 3385_CR12 – ident: 3385_CR16 – volume-title: Technical report, University of Cambridge year: 2013 ident: 3385_CR22 – start-page: 59 volume-title: Proceedings of CASCOM: Intelligent Service Coordination in the Semantic Web year: 2008 ident: 3385_CR7 doi: 10.1007/978-3-7643-8575-0_4 – volume: 1 start-page: 9 issue: 1 year: 2007 ident: 3385_CR26 publication-title: Frontiers of Computer Science in China doi: 10.1007/s11704-007-0002-7 – start-page: 398 volume-title: Proceedings of International Conference on Service-Oriented Computing year: 2007 ident: 3385_CR8 – volume: 1 start-page: 113 issue: 2 year: 2002 ident: 3385_CR25 publication-title: Electronic Commerce Research and Applications doi: 10.1016/S1567-4223(02)00015-7 – volume: 200 start-page: 25 issue: 3 year: 2008 ident: 3385_CR34 publication-title: Electronic Notes in Theoretical Computer Science doi: 10.1016/j.entcs.2008.04.091 – volume-title: Web Services: Concepts, Architectures and Applications year: 2003 ident: 3385_CR1 – start-page: 131 volume-title: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming year: 2007 ident: 3385_CR33 – start-page: 1 volume-title: Lecture Notes in Computer Science year: 2009 ident: 3385_CR18 – volume-title: Prentice Hall International Series in Computer Science year: 1998 ident: 3385_CR19 – volume: 607 start-page: 748 year: 1992 ident: 3385_CR23 publication-title: Lecture Notes in Computer Science doi: 10.1007/3-540-55602-8_217 – volume: 4260 start-page: 226 year: 2006 ident: 3385_CR32 publication-title: Lecture Notes in Computer Science doi: 10.1007/11901433_13 – volume-title: Technical report, Department of Computer Science, The University of Texas at Austin year: 2007 ident: 3385_CR27 – volume: 2 start-page: 315 issue: 4 year: 1990 ident: 3385_CR3 publication-title: Concurrency: practice and experience doi: 10.1002/cpe.4330020404 – volume: 402 start-page: 234 issue: 2/3 year: 2008 ident: 3385_CR31 publication-title: Theoretical Computer Science doi: 10.1016/j.tcs.2008.04.037 – volume: 3 start-page: 283 issue: 3/4 year: 2005 ident: 3385_CR4 publication-title: Journal of Grid Computing doi: 10.1007/s10723-005-9015-3 – volume: 5052 start-page: 331 year: 2008 ident: 3385_CR30 publication-title: Coordination Models and Languages doi: 10.1007/978-3-540-68265-3_21 – ident: 3385_CR17 – volume-title: Foundations of Multithreaded, Parallel, and Dis-tributed Programming year: 2000 ident: 3385_CR2 – volume: 29 start-page: 1 issue: 5 year: 2004 ident: 3385_CR5 publication-title: ACM SIGSOFT Software Engineering Notes doi: 10.1145/1022494.1022526 – volume-title: Prentice Hall PTR year: 2005 ident: 3385_CR9 – start-page: 82 volume-title: Lecture Notes in Computer Science year: 2006 ident: 3385_CR15 – start-page: 106 volume-title: Proceeding of the 7th International Colloquium on Theoretical Aspects of Computing year: 2010 ident: 3385_CR20 – start-page: 46 volume-title: Proceedings of Formal Techniques for Networked and Distributed Systems year: 2006 ident: 3385_CR6 – volume: 5 start-page: 285 issue: 2 year: 1955 ident: 3385_CR24 publication-title: Pacific Journal of Mathematics doi: 10.2140/pjm.1955.5.285 – volume: 53 start-page: 50 issue: 4 year: 2010 ident: 3385_CR10 publication-title: Communications of the ACM doi: 10.1145/1721654.1721672 – volume-title: A semantics for exception handling in orc year: 2009 ident: 3385_CR28 – volume-title: Technical report, University of Cambridge year: 2013 ident: 3385_CR21 – start-page: 477 volume-title: Lecture Notes in Computer Science year: 2006 ident: 3385_CR14 – volume-title: Technical Report, EECS Department, University of California, Berkeley year: 2009 ident: 3385_CR11 – volume-title: Proceedings of NATO Advanced Study Institute, Engineering Theories of Software Intensive Systems year: 2004 ident: 3385_CR29 |
| SSID | ssj0002025522 |
| Score | 1.9465163 |
| Snippet | The Orc language is a concurrency calculus pro- posed to study the orchestration patterns in service oriented computing. Its special features, such as high... The Orc language is a concurrency calculus proposed to study the orchestration patterns in service oriented computing. Its special features, such as high... |
| SourceID | proquest crossref springer higheredpress chongqing |
| SourceType | Aggregation Database Index Database Publisher |
| StartPage | 709 |
| SubjectTerms | Applications programs Computer Science Concurrency denotational semantics Failure operational semantics Orc language Research Article Semantics service oriented computing unifying theories of programming UTP Web services Web应用程序 故障处理 状态信息 语义模型 语言 错误处理程序 面向服务 |
| SummonAdditionalLinks | – databaseName: SpringerLINK Contemporary 1997-Present dbid: RSV link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3dS8MwEA-iPgji_MS6KXnwSQm0WfqRxyEOn-bQTXwrSXpVQTtdN_HP95K1GxMV9Dlt0t5dcr_7yB0hp6EJhNFxyJTWilkEziQEhiljNOrTXHNjXLOJuNdL7u9lv7rHXdbZ7nVI0p3Ui8tuQewyJgRDsypkeO6uobZLbL-Gm9u7uWOFW5Tsogcc4QOzHo46mvndLLamwuOoeHjDFZd00-ajS7SAzCWkLgHQLzFTp4q6jX_9xDbZqpAn7cxEZYesQLFLGnVXB1pt8j3S69DhoE9LeEGiPxnqeuVQxLb0emxo7d-k1oFL4QOMk1xqLyZNS6qKjOZq-jyhrnwDfto-GXYvBxdXrOq6wIxIxISpCCJo-4DQMOcStAARtnUYSRX7Oo9Uoo0MtNY8z02G45zHce5nCqJEhyJrtw_IajEq4JDQCG0XCRnP0GYSEpT2DXCLMWJAO0YKjzTntE9fZ9U10ghNLFsuN_HIWc2N-eCiyLKlY4p0TC0dU-6RYIlfaW7rP9hu4r-906p5mlY7t0y5DNCGRNTse-S85uFi-MfJjv70dJNscCsELiuwRVYn4ykck3XzPnkqxydOoD8BNLLuhA priority: 102 providerName: Springer Nature |
| Title | A UTP semantic model for Orc language with execution status and fault handling |
| URI | http://lib.cqvip.com/qk/71018X/201405/662653998.html https://journal.hep.com.cn/fcs/EN/10.1007/s11704-014-3385-2 https://link.springer.com/article/10.1007/s11704-014-3385-2 https://www.proquest.com/docview/2918719910 |
| Volume | 8 |
| WOSCitedRecordID | wos000343707700001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 2095-2236 dateEnd: 20241212 omitProxy: false ssIdentifier: ssj0002025522 issn: 2095-2228 databaseCode: P5Z dateStart: 20070201 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 2095-2236 dateEnd: 20241212 omitProxy: false ssIdentifier: ssj0002025522 issn: 2095-2228 databaseCode: K7- dateStart: 20070201 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central (subscription) customDbUrl: eissn: 2095-2236 dateEnd: 20241212 omitProxy: false ssIdentifier: ssj0002025522 issn: 2095-2228 databaseCode: BENPR dateStart: 20070201 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVAVX databaseName: SpringerLINK Contemporary 1997-Present customDbUrl: eissn: 2095-2236 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0002025522 issn: 2095-2228 databaseCode: RSV dateStart: 20070201 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LSxxBEC6i5iCI5qG4apY-5JTQZKa359EnMUEJBDaL0SC5DN09NSrorO7sij_fqnZmlw3ESy5zKaah-aq7vnp0FcDHxMfauyyR1jkrmYFLg7GX1ntH9rRyyvswbCIbDvOLCzNqA25NW1bZ3Ynhoi7HnmPkX5SJidsTm4kO7-4lT43i7Go7QmMF1rhLAo9uGCV_5jEWxYQ5JBIUMQnJwY4usRlez8VZKMHQkvw0EnN7hatxfXlPRmPJTG1chZoLLENt6hIX_St9GqzSydb_7ucNbLZ8VBw9K9BbeIX1O9jqZj2I9ui_h-GROD8biQZvCYprL8IEHUGMV_yceNFFPQWHdQU-og_6LPi50qwRti5FZWc3UxGaOtBOtuH85Pjs23fZzmKQXud6Km2KKQ4iJMJYKYNOo04GLkmNzSJXpTZ33sTOOVVVviS5UllWRaXFNHeJLgeDHVitxzXugkjJozFYqpI8KW3QusijYuaRIXk3Rvdgfw5Dcffcc6NIyfHiJrp5Dz51wMyFi9bLjGhBiBaMaKF6EC9BV1TcFYJnjL_0z0EHWNGe56ZYoNWDzx3kC_E_F9t7ebF9WFesf6E48ABWp5MZfoDX_mF63Uz6sPb1eDg67cPKj0z2g2rT9_TX7yeCf_zU |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LbxMxEB5VBQkkRHmK0AI-wAVkset41-sDQhVQtUoJPaRSb4vtnaWVYNNmEx5_it_IjJNNFCR664HzaC2t_c3MN-PxDMDzLKQ6eJNJ572TzMClxTRIF4Inf1p7FUIcNmGGw-LkxB5twO_uLQyXVXY2MRrqahw4R_5a2ZS4PbGZ5O35heSpUXy72o3QmMNigL9-UMjWvjl4T-f7Qqm9D6N3-3IxVUAGXeipdDnm2E-QqE-tLHqNOuv7LLfOJL7OXeGDTb33qq5DRXKljKmTymFe-ExXnAAlk39N9wvDejUwcpnTUUzQ48WFIuYiObnSXaTG13qpiSUfWlJcSGJu53A6br5ckJNac4u3TmONB1axFnaN-_51XRu94N7W_7Z_d-D2gm-L3bmC3IUNbO7BVjfLQixM230Y7orj0ZFo8RtB7SyIOCFIEKMXnyZBdFldwWlrgT8xRH0V_Bxr1grXVKJ2s69TEZtW0M49gOMr-auHsNmMG3wEIqeIzWKlKooUtUXnk4CKmZVBit6s7sH28tjL83lPkTKnwJKbBBc9eNkBYSlctZZmBJWEoJIRVKoepGtQKWvuesEz1C_7ZqcDSLmwV225QkcPXnUQW4n_udjjyxd7Bjf2Rx8Py8OD4WAbbirGfiyE3IHN6WSGT-B6-D49aydPoyIJ-HzVyPsDVYJZIQ |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3dT9swED8hQNMkBPsUHWzzA09MFonrfPgRsVUgUFdpMPFm2c55IG2BNem0P5-zm7TqtE2a9uzESe7O8e93d74DOMhcKp0tMm6sNTwgcK4wddw4Z2k_9VY4F5tNFONxeX2tJl2f06bPdu9DkvMzDaFKU90e3Vf-aHnwLS1i9oTkRLEyTv_gDRny6ANd__R54WQRATHHSIIgKMGDt6OPbP5ullBf4eau_vKdnr6yT23dxKQLrGJy6goY_SV-Grel0c5_f9AT2O4QKTuem9BTWMP6Gez03R5Yt_ifw_iYXV1OWIPfSBm3jsUeOowwL_s4daz3e7Lg2GX4E120aBYOLM0aZuqKeTP72rJY1oFe8wVcjT5cnpzyrhsDd7KULTc55jhMkCCjFwqtRJkNbZYrUyTW56a0TqXWWuG9q2hciKLwSWUwL20mq-HwJazXdzXuAsuJ0yisREVcSio0NnEoAvYokPiNkgPYW-hB38-rbuicqFcoo1sO4LDXzGJwWXw5yFGTHHWQoxYDSFd0p32oCxG6jP_tnv1ev7pb0Y0WKiVuSWg6GcC7Xp_L4T9O9uqfrn4LjybvR_ribHy-B49FsIeYOLgP6-10hq9h0_1ob5vpm2jnD65D-kw |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+UTP+semantic+model+for+Orc+language+with+execution+status+and+fault+handling&rft.jtitle=Frontiers+of+Computer+Science&rft.au=Li%2C+Qin&rft.au=Zhao%2C+Yongxin&rft.au=Zhu%2C+Huibiao&rft.au=He%2C+Jifeng&rft.date=2014-10-01&rft.pub=Springer+Nature+B.V&rft.issn=2095-2228&rft.eissn=2095-2236&rft.volume=8&rft.issue=5&rft.spage=709&rft.epage=725&rft_id=info:doi/10.1007%2Fs11704-014-3385-2 |
| thumbnail_s | http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=http%3A%2F%2Fimage.cqvip.com%2Fvip1000%2Fqk%2F71018X%2F71018X.jpg |