Object flow definition for refined activity diagrams

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

Volumn 5503, Issue , 2009, Pages 49-63

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

^a PHILIPPS UNIVERSITY MARBURG   (Germany)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^c SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ACTIVITY DIAGRAM; CONTROL FLOWS; GRAPH TRANSFORMATION; OBJECT DIAGRAMS; OBJECT FLOW; SERVICE-BASED; SYSTEM BEHAVIORS; TRANSFORMATION RULES; PRE AND POST CONDITIONS;

COMPUTER SOFTWARE; MATHEMATICAL MODELS; REFINING; SYSTEMS ANALYSIS; FLOW GRAPHS; GRAPHIC METHODS; SEMANTICS;

GRAPHIC METHODS; SOFTWARE ENGINEERING;

EID: 67650121088     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00593-0_4     Document Type: Conference Paper

References (17)

1. Lambers, L., Jurack, S., Mehner, K., Taentzer, G.: Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, Vol. 5301, pp. 341-355. Springer, Heidelberg (2008)
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 (2002)
3. Mehner, K., Monga, M., Taentzer, G.: Interaction Analysis in Aspect-Oriented Models. In: International Conference on Requirements Engineering RE 2006 (2006)
4. Lambers, L., Mariani, L., Ehrig, H., Pezzé, 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)
5. UML: Unified Modeling Language (2008), http://www.uml.org
6. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)
7. Plump, D.: Evaluation of Funtional Expressions by Hypergraph Rewriting. PhD thesis, Universit ät Bremen, Fachbereich Mathematik und Informatik (1993)
8. AGG: AGG Homepage, http://tfs.cs.tu-berlin.de/agg
9. Engels, G., Soltenborn, C., Wehrheim, H.: Analysis of UML Activities Using Dynamic Meta Modeling. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, Vol. 4468, pp. 76-90. Springer, Heidelberg (2007) (Pubitemid 350259395)
10. Jurack, S., Lambers, L., Mehner, K., Taentzer, G., Wierse, G.: Object Flow Definition for Refined Activity Diagrams - Long Verison. Technical Report 2009-1, Technische Universität Berlin (2009)
11. Eshuis, R., Wieringa, R.: Tool support for Verifying UML Activity Diagrams. IEEE Trans. on Software Eng. 7(30) (2004)
12. Störrle, H., Hausmann, J.H.: Towards a Formal Semantics of UML 2.0 Activities. In: Software Engineering 2005. LNI P-64, Gesellschaft f. Informatik, pp. 117-128 (2005)
13. Barros, J.P., Gomes, L.: Actions as Activities and Activities as Petri nets. In: Workshop on Critical Systems Development with UML. In: 20-24 workshop at 6. Int. Conf. on the Unified Modeling Language (UML 2003), San Francisco, U.S.A (2003)
14. Störrle, H.: Semantics and Verification of Data Flow in UML 2.0 Activities. Electronic Notes in Theoretical Computer Science, Vol. 117 (2003)
15. Fischer, T., Niere, J., Torunski, L., Zündorf, A.: Story Diagrams: A new Graph Rewrite Language based on the Unified Modeling Language. In: Ehrig, H., Engels, G., Kreowski, H.- J., Rozenberg, G. (eds.) TAGT 1998. LNCS, Vol. 1764, pp. 296-309. Springer, Heidelberg (2000)
16. Visual Modeling and Transformation System (2008), http://vmts.aut.bme.hu/
17. GReAT - Graph Rewriting and Transformation (2008), http://www.isis. vanderbilt.edu/tools/GReAT