Triple Graph Grammars and OCL for Validating System Behavior-Reference-Cited by-同舟云学术

Triple Graph Grammars and OCL for Validating System Behavior

Published: Issue: Volume: Page:481-483
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Dang Duc-Hanh

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-87405-8_39.pdf

Reference4 articles.

1. Lecture Notes in Computer Science;A. Schürr,1995

2. Dang, D.H.: Validation of System Behavior Utilizing an Integrated Semantics of Use Case and Design Models. In: Pons, C. (ed.) Proc. Doctoral Symposium ACM/IEEE 10th Int. Conf. MoDELS 2007, CEUR Workshop Proceedings, vol. 262 (2007)

3. Gogolla, M., Büttner, F., Dang, D.H.: From Graph Transformation to OCL using USE. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) AGTIVE 2008. Springer, Berlin (2008)

4. Dang, D.H., Gogolla, M., Büttner, F.: From UML Activity Diagrams to CSP Processes: Realizing Graph Transformations in the UML and OCL Tool USE. In: AGTIVE 2007 Tool Contest, 3rd International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (2007), http://gtcases.cs.utwente.nl/wiki/UMLToCSP/USE

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. USL: A Domain-Specific Language for Precise Specification of Use Cases and Its Transformations;Informatica;2018-09-30

2. USL;Proceedings of the Eighth International Symposium on Information and Communication Technology;2017-12-07

3. On Scenario Synchronization;Automated Technology for Verification and Analysis;2010

4. Precise Model-Driven Transformations Based on Graphs and Metamodels;2009 Seventh IEEE International Conference on Software Engineering and Formal Methods;2009