DC Field | Value | Language |
---|---|---|
dc.contributor.author | 정희택 | ko |
dc.contributor.author | 이도헌 | ko |
dc.date.accessioned | 2013-03-03T00:41:51Z | - |
dc.date.available | 2013-03-03T00:41:51Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 1999-04 | - |
dc.identifier.citation | JOURNAL OF INFORMATION TECHNOLOGY APPLICATIONS & MANAGEMENT, v.6, no.1, pp.59 - 72 | - |
dc.identifier.issn | 1226-3559 | - |
dc.identifier.uri | http://hdl.handle.net/10203/76299 | - |
dc.description.abstract | A study on workflow system as an automated business processing system is done recently. However, it did not consider various dependencies between parallel tasks. Therefore, this paper proposes modeling and verification of workflows with various parallel dependencies. For this, firstly, we propose four dependencies to specify various parallel dependencies between tasks. They contain sequential starts, parallel starts, sequential commits, and parallel commits. Secondly, we suggest a method to specify various parallel dependencies on workflow graph. Thirdly, we propose a verification method to detect contradictions on workflow specifications. | - |
dc.language | Korean | - |
dc.publisher | 한국데이타베이스학회 | - |
dc.title | 다양한 병행종속성을 포함한 워크플로우 모델링 및 검증 | - |
dc.title.alternative | Modeling and Verification of Workflows with Various Parallel Dependencies | - |
dc.type | Article | - |
dc.type.rims | ART | - |
dc.citation.volume | 6 | - |
dc.citation.issue | 1 | - |
dc.citation.beginningpage | 59 | - |
dc.citation.endingpage | 72 | - |
dc.citation.publicationname | JOURNAL OF INFORMATION TECHNOLOGY APPLICATIONS & MANAGEMENT | - |
dc.contributor.localauthor | 이도헌 | - |
dc.contributor.nonIdAuthor | 정희택 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.