{"title":"用于DFM的操作语义，用于建模异步Web服务协调的正式符号","authors":"Jingtao Yang, C. Cîrstea, P. Henderson","doi":"10.1109/QSIC.2005.14","DOIUrl":null,"url":null,"abstract":"This paper presents the DFM notation and its operational semantics. DFM (document flow model) is a message-based workflow notation for modelling asynchronous Web services communication, which uses coordination mechanisms to support dynamic configurations and long-running business processes. The operational semantics of a DFM specification describes the possible behaviours of a system of interrelated Web services, in terms of the messages that can be exchanged during the execution of one or more business processes, and the effect each message execution has on the business process state.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"53 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"An operational semantics for DFM, a formal notation for modelling asynchronous Web services coordination\",\"authors\":\"Jingtao Yang, C. Cîrstea, P. Henderson\",\"doi\":\"10.1109/QSIC.2005.14\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper presents the DFM notation and its operational semantics. DFM (document flow model) is a message-based workflow notation for modelling asynchronous Web services communication, which uses coordination mechanisms to support dynamic configurations and long-running business processes. The operational semantics of a DFM specification describes the possible behaviours of a system of interrelated Web services, in terms of the messages that can be exchanged during the execution of one or more business processes, and the effect each message execution has on the business process state.\",\"PeriodicalId\":150211,\"journal\":{\"name\":\"Fifth International Conference on Quality Software (QSIC'05)\",\"volume\":\"53 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2005-09-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Fifth International Conference on Quality Software (QSIC'05)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/QSIC.2005.14\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Fifth International Conference on Quality Software (QSIC'05)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/QSIC.2005.14","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
An operational semantics for DFM, a formal notation for modelling asynchronous Web services coordination
This paper presents the DFM notation and its operational semantics. DFM (document flow model) is a message-based workflow notation for modelling asynchronous Web services communication, which uses coordination mechanisms to support dynamic configurations and long-running business processes. The operational semantics of a DFM specification describes the possible behaviours of a system of interrelated Web services, in terms of the messages that can be exchanged during the execution of one or more business processes, and the effect each message execution has on the business process state.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
