Rule-level verification of business process transformations using CSP

Electronic Communications of the EASST

Volumn 6, Issue , 2007, Pages

  Bisztray, Dénes ^a   Heckel, Reiko ^a  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

Activity diagrams; Business process reengineering; CSP; Graph transformation; Verification

Indexed keywords

EID: 84876129004     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.6.71.47     Document Type: Conference Paper

References (12)

1. L. Baresi, K. Ehrig, R. Heckel. Verification of model transformations: A case study with BPEL. In Bruni et al. (eds.), Proc. 2nd Symposium on Trustworthy Global Computing (TGC 2006), November 2006, Lucca, Italy. LNCS. November 2006
2. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, M. Stal. A System of Patterns. Pattern-Oriented Software Architecture Volume 1. JohnWiley and Sons, 1st edition, August 1996
3. H. Ehrig, K. Ehrig, U. Prange, G. Taentzer. Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science). An EATCS Series. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2006
4. G. Engels, L. Groenewegen, R. Heckel, J. Küster. Consistency-preserving model evolution through transformations. In Jezequel et al. (eds.), Proc. UML 2002, Dresden, Germany. LNCS 2460. Springer-Verlag, Oct. 2002
5. H. Ehrig. Embedding Theorems in the Algebraic Theory of Graph Grammars. In Fundamentals of Computation Theory, Proceedings of the 1977 International FCTConference. Pp. 245-255. Poznan-Kórnik, Poland, September 1977
6. M. Havey. Essential Business Process Modeling. Theory In Practice. O'Reilly Media, August 2005
7. R. Heckel. Embedding of Conditional Graph Transformations. In Valiente Feruglio and Rosello Llompart (eds.), Proc. Colloquium on Graph Transformation and its Application in Computer Science. 1995
8. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall, April 1985
9. G. Luttgen, M. von der Beeck, R. Cleaveland. A compositional approach to statecharts semantics. In Foundations of Software Engineering. Pp. 120-129. 2000
10. OMG. Unified Modeling Language, version 2.0. Website, August 2005. http://www.omg.org/technology/documents/formal/uml.htm
11. A. W. Roscoe. Theory and Practice of Concurrency. Prentice Hall, 1st edition, November 1997
12. A. Schürr. Specification of Graph Translators with Triple Graph Grammars. In Tinhofer (ed.), Proc. WG'94 Int. Workshop on Graph-Theoretic Concepts in Computer Science. LNCS 903, pp. 151-163. Springer-Verlag, 1994