Modeling with plausibility checking: Inspecting favorable and critical signs for consistency between control flow and functional behavior

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

Volumn 6603 LNCS, Issue , 2011, Pages 156-170

  Ermel, Claudia ^a   Gall, Jürgen ^a   Lambers, Leen ^b   Taentzer, Gabriele ^c  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

^c PHILIPPS UNIVERSITY MARBURG   (Germany)

Author keywords

activity model; AGG; conflict and causality detection; graph transformation; object rule; plausibility

Indexed keywords

GRAPH THEORY; OBJECT DETECTION;

ACTIVITY MODELING; ATTRIBUTED GRAPH TRANSFORMATIONS; CONSISTENCY VALIDATION; GRAPH TRANSFORMATION; GRAPH TRANSFORMATION TOOLS; OBJECT RULE; PLAUSIBILITY; PRE AND POST CONDITIONS;

SOFTWARE ENGINEERING;

EID: 79953222258     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19811-3_12     Document Type: Conference Paper

References (18)

1. Biermann, E., Ermel, C., Lambers, L., Prange, U., Taentzer, G.: Introduction to AGG and EMF Tiger by modeling a conference scheduling system. Int. Journal on Software Tools for Technology Transfer 12(3-4), 245-261 (2010)
2. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theor. Comp. Science. Springer, Heidelberg (2006)
3. Engels, G., Güldali, B., Soltenborn, C., Wehrheim, H.: Assuring consistency of business process models and web services using visual contracts. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 17-31. Springer, Heidelberg (2008)
4. Ermel, C., Gall, J., Lambers, L., Taentzer, G.: Modeling with plausibility checking: Inspecting favorable and critical signs for consistency between control flow and functional behavior. Tech. Rep. 2011/2, TU Berlin (2011), http://www.eecs.tu-berlin.de/menue/forschung/forschungsberichte/
5. Eshuis, R., Wieringa, R.: Tool support for verifying UML activity diagrams. IEEE Transactions on Software Engineering 7(30) (2004)
6. 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)
7. Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. Mathematical Structures in Computer Science 19, 1-52 (2009)
8. Hausmann, J.H., Heckel, R., Taentzer, G.: Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation. In: Proc. ICSE, pp. 105-115. ACM, New York (2002)
9. Jayaraman, P.K., Whittle, J., Elkhodary, A.M., 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, pp. 151-165. Springer, Heidelberg (2007)
10. Jurack, S., Lambers, L., Mehner, K., Taentzer, G.: Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams. In: Czarnecki, K. (ed.) MODELS 2008. LNCS, vol. 5301, pp. 341-355. Springer, Heidelberg (2008)
11. Jurack, S., Lambers, L., Mehner, K., Taentzer, G., Wierse, G.: Object Flow Definition for Refined Activity Diagrams. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol. 5503, pp. 49-63. Springer, Heidelberg (2009)
12. 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)
13. Lambers, L.: Certifying Rule-Based Models using Graph Transformation. Ph.D. thesis, Technische Universität Berlin (2009)
14. Mehner, K., Monga, M., Taentzer, G.: Analysis of aspect-oriented model weaving. In: Rashid, A., Ossher, H. (eds.) Transactions on AOSD V. LNCS, vol. 5490, pp. 235-263. Springer, Heidelberg (2009)
15. Mens, T., Straeten, R.V.D., D'Hondt, M.: Detecting and resolving model inconsistencies using transformation dependency analysis. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 200-214. Springer, Heidelberg (2006)
16. Object Management Group. Unified Modeling Language: Superstructure - Version 2.3 (2010), http://www.omg.org/spec/UML/2.3/ formal/07-02-05
17. Rensink, A., Van Gorp, P. (eds.): Int. Journal on Software Tools for Technology Transfer, Section on Graph Transf. Tool Contest 2008, vol. 12(3-4). Springer, Heidelberg (2010)
18. Störrle, H.: Semantics of UML 2.0 activity diagrams. In: VLHCC 2004. IEEE, Los Alamitos (2004)