Art

J-GLOBAL ID：201902216491051694   Reference number：19A1620015

形式手法を用いたビジネスプロセスモデリングとその検証技術に関する研究

Author (1)： ITO SOHEI (水産大)
Material： 海洋水産エンジニアリング
Volume： 19  Issue： 146  Page： 60-68  Publication year： Jul. 10, 2019 
JST Material Number： G0735C  ISSN： 1346-9800  Document type： Article
Article type： 解説  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *modeling ,  *business ,  formal method ,  *verification ,  recording ,  program execution ,  data mining ,  process analysis(production) ,  model ,  formal description ,  multiagent system
Semi thesaurus term： *business process modeling ,  process mining ,  formal model ,  run history

JST classification (1)： Operations research in general  (KA03010Q)

Reference (16)：

• Bi HH, Zhao JL (2004) Applying propositional logic to workflow verification. Information Technology and Management, Vol5, pp.293-318
• Cheikhrouhou S, Kallel S, Guermouche N, Jmaiel M (2014) Enhancing formal specification and verification of temporal constraints in business processes. In: Proceedings of 2014 IEEE Interna tional Conference on Services Computing, SCC 2014, IEEE Computer Society Press, Washington DC, pp701-708
• Bowen JP, Hinchey MG (1995) Applications of formal methods. Prentice Hall, Upper Saddle River NJ
• Clarke EM, Wing JM (1996) Formal methods: State of the art and future directions. ACM Com-puting Surveys, Vol.28, No.4, pp.626-643
• Heitmeyer C, Mandrioli D (1996) Formal meth-ods for real-time computing. John Wiley & Sons, Hoboken, NJ

Terms in the title (4)： 形式手法 ,  ビジネスプロセスモデリング ,  検証 ,  研究