• 不 限
  • 期刊论文
  • 硕博论文
  • 会议论文
  • 报 纸
  • 英文论文
  2. 您的位置
  3. 首页
  4. 会议论文
  5. Incorporating Process Mining Into Choreography-based Web Services Composition and Conformance Verifi

Incorporating Process Mining Into Choreography-based Web Services Composition and Conformance Verifi

来源 :2014年国际计算机科学与软件工程学术会议 | 被引量 : 0次 | 上传用户：DNGOUSIYMMY
【摘 要】
：
The web services technology supports the dynamic creation of collaborative business processes through the Internet by linking up existing enterprise applications packaged as web services.Business part
【作 者】
：
W.L.YEUNG 
【机 构】
：
Department of Computing and Decision Sciences,Lingnan University,Hong Kong
【出 处】
：
2014年国际计算机科学与软件工程学术会议
【发表日期】
：
2014年12期
【关键词】
：
Communicating Sequential Processes Conformance checking Control-flow discovery 
下载到本地 , 更方便阅读
下载此文 赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
　　The web services technology supports the dynamic creation of collaborative business processes through the Internet by linking up existing enterprise applications packaged as web services.Business partners have to agree on the protocols for web services to interact and this can take the form of a web services choreography.A visual approach has previously been proposed for supporting individual partners in setting up their web services and verifying their conformance to the agreed choreography at design time.The verification task is formally based and is supported by software tools.This paper considers the extension of this approach to incorporate process mining at runtime for conformance checking and control-flow discovery.
其他文献
Key Technologies and Implementation of a Service-Oriented Information Sharing Platform for Global Na
In recent years,the risk of the global natural disasters is expanding in space and increasing in intensity.It has become urgent priority to scientifically and reasonably construct the sharing platform
会议
Natural DisastersInformation SharingService-Oriented ArchitectureDigital Eart
The Recommendation of Chinese Distance Education Resources Basing on the Genetic Algorithm
This paper proposes a recommended method of teaching resource basing on genetic algorithm collects the Chinese learning information of users,quantitates the information and codes for section,used as t
会议
Resources recommendationGenetic algorithm (GA)Chinese distance education
Research on Cache Technologies for Spatial Data Based on ChinaStar
With the spatial data growing and being enriched,more and more users get spatial data through WMS services,which have reduced the efficiency of data access.It was estimated that 20% of data in WMS ser
会议
Spatial data cacheTile cacheTile mapWMS
A New Method for Searching Impossible Differentials of Block Cipher
Automatic search of impossible differentials for block ciphers is useful for impossible differential cryptanalysis.This paper introduces a tool to search impossible differentials.The idea of this tool
会议
Impossible differentialsDifferential cryptanalysisBlock cipher
Research and Implementation of Key Techniques for an Interactive Customizable Application Platform B
Digital Earth has the extraordinary ability to integrate spatial and temporal data with three dimensional,dynamic,can be immersive,intuitive and interactive features and is easy for people to understa
会议
Digital EarthCustomizableInteractive
Numerical Study on the Propeller Tip Vortex Cavitation
Cavitating flows can occur in a variety of practical applications.This paper focuses on the tip vortex cavitation of a marine propeller.Cavitating flows can be predicted using a wide range of methods.
会议
Marine propellerTip vortex cavitationHigh speed cameraCavitation inception
Improve Unsupervised Automatic Keyword Extraction via Word Embeddings
The task of automatic keyword extraction can be described as: given a document,the extractor is expected to automatically pick up several words that can most represent the content.Traditional methods
会议
Automatic keyword extractionWord embeddingsSemantic extension
Traffic Sign Recognition Based on Parallel SIFT
In order to achieve the purpose of real-time results,this paper presents a traffic sign recognition based on parallel computing.The algorithm first uses a camera mounted on a vehicles to get real-time
会议
Traffic signsSIFTImage matching
Design and Implementation of a Lightweight Pseudo-Random Number Generator
Due to the low linear complexity,Pseudo-random number generator based on linear feedback shift register has poor safety performance.By using the interweaving technology used in communication science f
会议
Pseudo-random numberPrimitive polynomialShift registerInterweaving moduleFPG
Pressure Pointing: Empirical Investigation into Human Performance to Control Pen Pressure
Whether the direction of pressure has an impact on the performance in pointing tasks was not contained in Fitts Law.To investigate the effect of direction on pressure,four different direction rectangu
会议
Human computer interactionpen-based interactionpressurepointing tasks