Sufficient criteria for consistent behavior modeling with refined activity diagrams

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5301 LNCS, Issue , 2008, Pages 341-355

  Jurack, Stefan ^a   Lambers, Leen ^b   Mehner, Katharina ^c   Taentzer, Gabriele ^a  

^a PHILIPPS UNIVERSITY MARBURG   (Germany)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^c SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; GRAPH THEORY; INFORMATION THEORY; LINGUISTICS; MODELS; REFINING; SEMANTICS; SYSTEMS ANALYSIS; UNIFIED MODELING LANGUAGE;

ACTIVITY DIAGRAMS; BEHAVIOR MODELING; CLASS DIAGRAMS; CONSISTENCY ANALYSES; CONSISTENCY VALIDATIONS; DO-MAINS; FORMAL SEMANTICS; GRAPH TRANSFORMATIONS; OBJECT DIAGRAMS; OF GRAPHS; SEMI AUTOMATICS; SYSTEM BEHAVIORS; UML ACTIVITY DIAGRAMS; USE CASES;

GRAPHIC METHODS;

EID: 56649083378     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87875-9_25     Document Type: Conference Paper

References (16)

1. OMG: UML Resource Page of the Object Management Group, http : / /www. uml. org/
2. Hausmann, J., Heckel, R., Taentzer, G.: Detection of Conflicting Functional Requirements in a Use Case-Driven Approach. In: Proc. of Int. Conference on Software Engineering 2002, Orlando, USA. IEEE Computer Society, Los Alamitos (2002)
3. Mehner, K., Monga, M., Taentzer, G.: Interaction Analysis in Aspect-Oriented Models. In: Proc. 14th IEEE International Requirements Engineering Conference, Minneapolis, Minnesota, USA, pp. 66-75. IEEE Computer Society, Los Alamitos (2007)
4. Mehner, K., Monga, M., Taentzer, G.: Analysis of Aspect-Oriented Model Weaving. LNCS Transactions on Aspect-Oriented Software Development (to appear, 2008)
5. Lambers, L., Ehrig, H., Taentzer, G.: Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. In: Ermel, C., Heckel, R., de Lara, J. (eds.) Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2008), vol. 10, Electronic Communications of the EASST (2008)
6. Lambers, L., Mariani, L., Ehrig, H., Pezze, M.: A Formal Framework for Developing Adaptable Service-Based Applications. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 392-406. Springer, Heidelberg (2008)
7. Harel, D., Marelly, R.: Come, Let's Play - Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)
8. AGG: AGG Homepage, http: //tfs.cs.tu-berlin. de/agg
9. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (2006)
10. Lambers, L., Ehrig, H., Orejas, F., Prange, U.: Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. In: Ehrig, H., Pfalzgraf, J., Prange, U. (eds.) Proceedings of the ACCAT workshop at ETAPS 2007. ENTCS. Elsevier, Amsterdam (to appear, 2008)
11. Jurack, S., Lambers, L., Mehner, K., Taentzer, G.: Sufficient criteria for consistent behavior modeling with refined activity diagrams: Long version. Technical Report 2008/11, Technische Universität Berlin (2008)
12. Eshuis, R., Wieringa, R.: Tool support for verifying UML activity diagrams. IEEE Trans. on Software Eng. 7(30) (2004)
13. Stoerrle, H.: Semantics of UML 2.0 Activity Diagrams. In: International Conference on Visual Languages and Human Centric Computing VLHCC. IEEE Computer Society, Los Alamitos (2004)
14. Jayaraman, P., Whittle, J., Elkhodary, A., Gomaa, H.: Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds. ) MODELS 2007. LNCS, vol. 4735. Springer, Heidelberg (2007)
15. Fujaba: Fujaba Homepage, http: //www.fujaba.de
16. Moflon: Moflon Homepage, http : //www.moflon.org