Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions

Electronic Notes in Theoretical Computer Science

Volumn 203, Issue 6, 2008, Pages 43-66

  Lambers, Leen ^a   Ehrig, Hartmut ^a   Prange, Ulrike ^a   Orejas, Fernando ^b  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Adhesive High Level Replacement Categories; Concurrency; Negative Application Conditions; Parallelism

Indexed keywords

PROGRAMMING THEORY; THEOREM PROVING;

CONCURRENCY; FORMAL ANALYSIS; NEGATIVE APPLICATION CONDITIONS; PARALLELISM; REPLACEMENT SYSTEMS; SPECIFIC STRUCTURES;

APPLICATIONS;

EID: 45849144195     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.10.042     Document Type: Article

References (13)

1. Bottoni, P., A. Schürr and G. Taentzer, Efficient Parsing of Visual Languages based on Critical Pair Analysis and Contextual Layered Graph Transformation, in: Proc. IEEE Symposium on Visual Languages, 2000, long version available as technical report SI-2000-06, University of Rom
2. Corradini A., Montanari U., Rossi F., Ehrig H., Heckel R., and Löwe M. Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach. In: Rozenberg G. (Ed). Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations (1997), World Scientific 163-245
3. Ehrig H., Ehrig K., Prange U., and Taentzer G. Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science (2006), Springer. http://www.springer.com/3-540-31187-4 URL
4. Habel, A., R. Heckel and G. Taentzer, Graph grammars with negative application conditions 26 (1996), pp. 287-313
5. Hausmann, J., R. Heckel and G. Taentzer, Detection of Conflicting Functional Requirements in a Use Case-Driven Approach, in: Proc. of Int. Conference on Software Engineering 2002, Orlando, USA, 2002, to appear
6. Koch M., Mancini L., and Parisi-Presicce F. Graph-based Specification of Acces Control Policies. JCSS 71 (2005) 1-33
7. Lack S., and Sobocinski P. Adhesive and quasiadhesive categories. Theoretical Informatics and Applications 39 2 (2005) 522-546
8. Lambers, L., Adhesive high-level replacement systems with negative application conditions, Technical report, Technische Universität Berlin (2007)
9. Lambers L., Ehrig H., and Orejas F. Efficient detection of conflicts in graph-based model transformation. Proc. International Workshop on Graph and Model Transformation. (GraMoT'05). Electronic Notes in Theoretical Computer Science (2005). http://tfs.cs.tu-berlin.de/publikationen/Papers05/LEO05.pdf URL
10. Lambers L., Ehrig H., and Orejas F. Conflict Detection for Graph Transformation with Negative Application Conditions. Proc. Third International Conference on Graph Transformation. (ICGT'06). LNCS 4178 (2006) 61-76. http://tfs.cs.tu-berlin.de/publikationen/Papers06/LEO06a.pdf URL
11. Lambers L., Ehrig H., and Orejas F. Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. Proc. International Workshop on Graph Transformation and Visual Modeling Techniques. (GTVMT'06). ENTCS (2006). http://tfs.cs.tu-berlin.de/publikationen/Papers06/LEO06.pdf URL
12. Mens, T., G. Taentzer and O. Runge, Detecting Structural Refactoring Conflicts using Critical Pair Analysis, in: R. Heckel and T. Mens, editors, Proc. Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions (SETra'04), Satellite Event of ICGT'04 (2004). URL http://www.cs.tu-berlin.de/~gabi/gMTR04.pdf
13. Taentzer, G., K. Ehrig, E. Guerra, J. de Lara, L. Lengyel, T. Levendovsky, U. Prange, D. Varro and S. Varro-Gyapay, Model Transformation by Graph Transformation: A Comparative Study, in: Proc. Workshop Model Transformation in Practice, Montego Bay, Jamaica, 2005. URL http://tfs.cs.tu-berlin.de/publikationen/Papers05/TEG+05.pdf