Automating correctness verification of artifact-centric business process models

出版年份 2015 全文链接

标题

作者

关键词

Artifact-centric business process model, Verification, Constraint programming

出版物

INFORMATION AND SOFTWARE TECHNOLOGY

Volume 62, Issue -, Pages 187-197

出版商

Elsevier BV

发表日期

2015-03-03

DOI

10.1016/j.infsof.2015.02.010

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

Protocol

在线求助

Reagent

在线求助

Reprint

联系作者

Publish scientific posters with Peeref

Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.

Learn More

Create your own webinar

Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.

Create Now