On correctness, compliance, and consistency of process models

Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE

Volumn , Issue , 2008, Pages 251-252

  Wörzberger, René ^a   Kurpick, Thomas ^a   Heer, Thomas ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT TYPES; MODELING ENVIRONMENTS; PROCESS MANAGEMENT; PROCESS MODEL; PROCESS MODELING;

ABSTRACTING; QUERY LANGUAGES;

LINGUISTICS;

EID: 66749144182     PISSN: 15244547     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WETICE.2008.9     Document Type: Conference Paper

References (4)

1. Hidders, Dumas, v. d. Aalst, ter Hofstede, and Verelst. When are two workflows the same? In CATS'05: Proc. of the 2005 Australasian symposium on Theory of computing, 2005.
2. L. T. Ly, S. Rinderle, and P. Dadam. Integration and verification of semantic constraints in adaptive process management systems. Data Knowl. Eng., 64:3-23, 2008.
3. M. Reichert. Dynamische Ablaufänderungen in Workflow-Management- Systemen. PhD thesis, Univ. Ulm, 2000.
4. A. Schleicher. Management of Development Processes: An Evolutionary Approach. PhD thesis, RWTH Aachen University, 2002.