Author of the publication

Verification of Business Process Quality Constraints Based on Visual Process Patterns.

, , , and . TASE, page 197-208. IEEE Computer Society, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Using Description Logics to Maintain Consistency Between UML Models, , , and . UML 2003 - The Unified Modeling Language, volume 2863 of Lecture Notes in Computer Science, page 326--340. Springer-Verlag, (2003)On the use of formal techniques to support model evolution, and . Proc. 1ères Journées sur l'Ingénierie Dirigée par les Modèles, page 115--124. (June 2005)Semantic Links and Co-Evolution in Object-Oriented Software Development.. ASE, page 317. IEEE Computer Society, (2002)Model refactorings through rule-based inconsistency resolution., and . SAC, page 1210-1217. ACM, (2006)Isolating Process-Level Concerns Using Padus., , , , , , , and . Business Process Management, volume 4102 of Lecture Notes in Computer Science, page 113-128. Springer, (2006)NOW: A Workflow Language for Orchestration in Nomadic Networks., , and . COORDINATION, volume 6116 of Lecture Notes in Computer Science, page 31-45. Springer, (2010)A Comparison of Configuration Techniques for Model Transformations., and . ECMDA-FA, volume 4066 of Lecture Notes in Computer Science, page 331-345. Springer, (2006)Detecting Inconsistencies between UML Models Using Description Logic., , and . Description Logics, volume 81 of CEUR Workshop Proceedings, CEUR-WS.org, (2003)Semantics for consistent activation in context-oriented systems., , , , , and . Inf. Softw. Technol., (2015)A Framework for Advanced Modularization and Data Flow in Workflow Systems., , , and . ICSOC, volume 5364 of Lecture Notes in Computer Science, page 592-598. (2008)