Abstract
In use case-driven approaches to requirements modeling, UML activity diagrams are a wide-spread means for refining the functional view of use cases. Early consistency validation of activity diagrams is therefore desirable but difficult due to the semi-formal nature of activity diagrams. In this paper, we specify well-structured activity diagrams and define activities more precisely by pre- and post- conditions. They can be modeled by interrelated pairs of object diagrams based on a domain class diagram. This activity refinement is based on the theory of graph transformation and paves the ground for a consistency analysis of the required system behavior. A formal semantics for activity diagrams refined by pre- and post-conditions allows us to establish sufficient criteria for consistency. The semi-automatic checking of these criteria is supported by a tool for graph transformation.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
OMG: UML Resource Page of the Object Management Group, http://www.uml.org/
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)
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)
Mehner, K., Monga, M., Taentzer, G.: Analysis of Aspect-Oriented Model Weaving. LNCS Transactions on Aspect-Oriented Software Development (to appear, 2008)
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)
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)
Harel, D., Marelly, R.: Come, Let’s Play - Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)
AGG: AGG Homepage, http://tfs.cs.tu-berlin.de/agg
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (2006)
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)
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)
Eshuis, R., Wieringa, R.: Tool support for verifying UML activity diagrams. IEEE Trans. on Software Eng. 7(30) (2004)
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)
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)
Fujaba: Fujaba Homepage, http://www.fujaba.de
Moflon: Moflon Homepage, http://www.moflon.org
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jurack, S., Lambers, L., Mehner, K., Taentzer, G. (2008). Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams. In: Czarnecki, K., Ober, I., Bruel, JM., Uhl, A., Völter, M. (eds) Model Driven Engineering Languages and Systems. MODELS 2008. Lecture Notes in Computer Science, vol 5301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87875-9_25
Download citation
DOI: https://doi.org/10.1007/978-3-540-87875-9_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87874-2
Online ISBN: 978-3-540-87875-9
eBook Packages: Computer ScienceComputer Science (R0)