Resource constraints analysis of workflow specifications
Journal of Systems and Software - Special issue: Applications of statistics in software engineering
A Workflow Engine-Driven SOA-Based Cooperative Computing Paradigm in Grid Environments
International Journal of High Performance Computing Applications
An incremental analysis for resource conflicts to workflow specifications
Journal of Systems and Software
Dynamic checking of temporal constraints for concurrent workflows
Electronic Commerce Research and Applications
Coordinating multi-task environments through the methodology of relations graph
CRIWG'07 Proceedings of the 13th international conference on Groupware: design implementation, and use
Human activity analysis: A review
ACM Computing Surveys (CSUR)
Temporal dependency for dynamic verification of fixed-date constraints in grid workflow systems
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
Planning temporal events using point-interval logic
Mathematical and Computer Modelling: An International Journal
| Hi-index | 0.00 |
A methodology for modeling temporal (time-sensitive) aspects of discrete-event systems is presented. A formalism of temporal logic which incorporates both point and interval descriptions of time is formulated, which is an extension of Alien's interval logic. A formal axiomatic system of this point-interval logic is presented. A graph model is shown to implement the axiomatic system of point-interval logic. This graph-based approach transforms the system's specifications given by temporal statements into a graph structure. The graph-based temporal inference engine identifies temporal ambiguities and errors (if present) in the system's specifications, infers new temporal relations among system's intervals, and identifies the user-defined intervals of interest