Formalization of Business Process with Flexibility Based on Service Interaction
暂无分享,去创建一个
[1] Robin Milner,et al. Communicating and mobile systems - the Pi-calculus , 1999 .
[2] Marlon Dumas,et al. Service Interaction Patterns , 2005, Business Process Management.
[3] Allaoua Chaoui,et al. Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation: An Approach for Modeling, Simulation and Verification of Mobile Agent-based Software Systems , 2016, Int. J. Intell. Inf. Technol..
[4] Mathias Weske,et al. Formalizing Service Interactions , 2006, Business Process Management.
[5] Yu Ying. Research Review on Interaction Test of Composite Service , 2013 .
[6] Lei Liu,et al. Modeling ontology evolution via Pi-Calculus , 2016, Inf. Sci..
[7] O. P. Vyas,et al. Service-oriented network architecture: significant issues and principles of communication , 2015, Int. J. Comput. Sci. Eng..
[8] Huang Zhi. Modeling and Verification of Cross-Organizational Multi-Business Transactions , 2012 .