자료유형 | 학위논문 |
---|---|
서명/저자사항 | Verification of Hierarchical Data-Driven Workflows. |
개인저자 | Li, Yuliang. |
단체저자명 | University of California, San Diego. Computer Science. |
발행사항 | [S.l.]: University of California, San Diego., 2018. |
발행사항 | Ann Arbor: ProQuest Dissertations & Theses, 2018. |
형태사항 | 218 p. |
기본자료 저록 | Dissertation Abstracts International 79-12B(E). Dissertation Abstract International |
ISBN | 9780438168114 |
학위논문주기 | Thesis (Ph.D.)--University of California, San Diego, 2018. |
일반주기 |
Source: Dissertation Abstracts International, Volume: 79-12(E), Section: B.
Advisers: Alin Deutsch |
요약 | Data-driven workflows, of which IBM's Business Artifacts are a prime exponent, have been successfully deployed in practice, adopted in industrial standards, and have spawned a rich body of research in academia, focused primarily on static analys |
요약 | First, this thesis introduces Hierarchical Artifact Systems (HAS), a much richer and more realistic model than in previous work incorporating core elements of IBM's successful Guard-Stage-Milestone model. In particular, the HAS model features ta |
요약 | Second, this thesis bridges the gap between the theory and practice of data-driven workflow verification with two successful implementations, SpinArt and VERIFAS. SpinArt is a practical verifier based on the classical model-checking tool Spin wh |
일반주제명 | Computer science. |
언어 | 영어 |
바로가기 |
: 이 자료의 원문은 한국교육학술정보원에서 제공합니다. |