Ensuring the semantic correctness of a BAUML artifact-centric BPM

标题
Ensuring the semantic correctness of a BAUML artifact-centric BPM
作者
关键词
Verification, Validation, Reasoning, Tool, Business process modeling, UML
出版物
INFORMATION AND SOFTWARE TECHNOLOGY
Volume 93, Issue -, Pages 147-162
出版商
Elsevier BV
发表日期
2017-09-07
DOI
10.1016/j.infsof.2017.09.003

向作者/读者发起求助以获取更多资源

Reprint

联系作者

Find the ideal target journal for your manuscript

Explore over 38,000 international journals covering a vast array of academic fields.

Search

Add your recorded webinar

Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.

Upload Now