An incremental analysis for resource conflicts to workflow specifications-Reference-Cited by-同舟云学术

An incremental analysis for resource conflicts to workflow specifications

Published:2008-10 Issue:10 Volume:81 Page:1770-1783
ISSN:0164-1212
Container-title:Journal of Systems and Software
language:en
Short-container-title:Journal of Systems and Software

Author:

Hsu Hwai-jung,Wang Feng-jian

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference36 articles.

1. Modeling and analysis of workflows using petri-nets;Adam;Journal of Intelligent Information System,1998

2. Maintaining knowledge about temporal intervals;Allen;Communication of the ACM,1983

3. SEAM: a state-entity-activity-model for a well defined workflow development methodology;Bajaj;IEEE Transactions on Knowledge and Data Engineering,2002

4. Chen, J., Yang, Y., Chen, T.Y., 2004. Dynamic Verification of temporal constraints on-the-fly for workflow systems. In: Proceedings of the 11th Asia-Pacific Software Engineering Conference, pp. 30–37.

5. Temporal representation and reasoning for workflow in engineering design change review;Chinn;IEEE Transactions on Engineering Management,2000

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Improving the Detection of Concurrent Artifact Anomalies in a Structured Workflow;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2023-10-22

2. A Method to Improving Artifact Anomaly Detection in a Temporal Structured Workflow;2023 IEEE International Conference on Software Services Engineering (SSE);2023-07

3. Analyzing Security Requirements in Timed Workflow Processes;IEEE Transactions on Dependable and Secure Computing;2022-01-01

4. A Method to Detecting Artifact Anomalies in A Microservice Architecture;2020 IEEE 26th International Conference on Parallel and Distributed Systems (ICPADS);2020-12

5. Detecting Artifact Anomalies in Microservice-Based Financial Applications;2020 IEEE International Conference on Services Computing (SCC);2020-11