Survey for correctness problem of workflow system
This paper summarized correctness problem of workflow system,including structural correctness and executing correctness.To structural correctness,introduced definition,determinants and judging tools of correctness for workflow model.And to executing correctness,summarized transaction technology and abortion processing technology as correctness assurance technology of worflow system.At last,presented some research fields worth to study on correctness problem of workflow system.
With the rise of social media like Twitter and distribution platforms like app stores, users have various ways to express their opinions about software products. Popular software vendors get user feedback thousandfold per day. Research has shown that such feedback contains valuable information for software development teams. However, a manual analysis of user feedback is cumbersome and hard to manage. We present OpenReq Analytics, a software requirements intelligence service, that collects, processes, analyzes, and visualizes user feedback.