| LDR | | 02002nmm uu200397 4500 |
| 001 | | 000000333185 |
| 005 | | 20240805172346 |
| 008 | | 181129s2018 |||||||||||||||||c||eng d |
| 020 | |
▼a 9780438168114 |
| 035 | |
▼a (MiAaPQ)AAI10813928 |
| 035 | |
▼a (MiAaPQ)ucsd:17394 |
| 040 | |
▼a MiAaPQ
▼c MiAaPQ
▼d 248032 |
| 082 | 0 |
▼a 004 |
| 100 | 1 |
▼a Li, Yuliang. |
| 245 | 10 |
▼a Verification of Hierarchical Data-Driven Workflows. |
| 260 | |
▼a [S.l.] :
▼b University of California, San Diego.,
▼c 2018 |
| 260 | 1 |
▼a Ann Arbor :
▼b ProQuest Dissertations & Theses,
▼c 2018 |
| 300 | |
▼a 218 p. |
| 500 | |
▼a Source: Dissertation Abstracts International, Volume: 79-12(E), Section: B. |
| 500 | |
▼a Advisers: Alin Deutsch |
| 502 | 1 |
▼a Thesis (Ph.D.)--University of California, San Diego, 2018. |
| 520 | |
▼a 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 |
| 520 | |
▼a 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 |
| 520 | |
▼a 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 |
| 590 | |
▼a School code: 0033. |
| 650 | 4 |
▼a Computer science. |
| 690 | |
▼a 0984 |
| 710 | 20 |
▼a University of California, San Diego.
▼b Computer Science. |
| 773 | 0 |
▼t Dissertation Abstracts International
▼g 79-12B(E). |
| 773 | |
▼t Dissertation Abstract International |
| 790 | |
▼a 0033 |
| 791 | |
▼a Ph.D. |
| 792 | |
▼a 2018 |
| 793 | |
▼a English |
| 856 | 40 |
▼u http://www.riss.kr/pdu/ddodLink.do?id=T14998094
▼n KERIS |
| 980 | |
▼a 201812
▼f 2019 |
| 990 | |
▼a 관리자 |