論文

• Bing Li, Junichi Iijima. A situation calculus based approach to dynamic management of e-business services, Journal of Systems Science and Systems Engineering, Systems Engineering Society of China, co-published with Springer-Verlag GmbH, Vol. 16, No. 3, pp. 336-355, Sept. 2007.  公式リンク  
  

国際会議発表 (査読有り)

• Bing Li, Junichi Iijima. A Survey on Application of Situation Calculus in Business Information Systems, The IFIP International Conference on Research and Practical Issues of Enterprise Information Systems, Proceedings of the 2007 International Conference on Convergence Information Technology, IEEE Computer Society Washington, DC, USA, pp. 425-431, Nov. 2007.  公式リンク  
  
• Bing Li, Junichi Iijima. A Hybrid Approach for Business Process Verification, The IFIP International Conference on Research and Practical Issues of Enterprise Information Systems, IFIP International Federation for Information Processing, Springer Boston, Vol. 254, pp. 1-9, Oct. 2007.  公式リンク  
  
• Bing Li, Junichi Iijima. Architecture on a Hybrid Business ProcessDesign and Verification System, 2007 International Conference on Wireless Communications, Networking and Mobile Computing (WiCom 2007), Proceedings of 2007 International Conference on Wireless Communications, Networking and Mobile Computing, pp. 6193 - 6198, Sept. 2007.  公式リンク  公式リンク  
  
• Bing Li, Junichi Iijima. Dynamic Management of e-Business Services: A Situation Calculus Based Approach, 2007 International Conference on Service Systems and Service Management, Proceedings of 2007 International Conference on Service Systems and Service Management, pp. 765-768, June 2007.  公式リンク  公式リンク  
  
• Bing Li, Junichi Iijima. Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification, the 9th International Conference on Enterprise Information Systems, Proceedings of the 9th International Conference on Enterprise Information Systems, pp. 151-156, June 2007.  公式リンク  
  

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]