Skip to main content
SpringerLink
Log in

On Scenario Synchronization

  • Conference paper
Book cover Automated Technology for Verification and Analysis (ATVA 2010)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6252))

  • 526 Accesses

Abstract

In software development a system is often viewed by various models at different levels of abstraction. It is very difficult to maintain the consistency between them for both structural and behavioral semantics. This paper focuses on a formal foundation for presenting scenarios and reasoning the synchronization between them. We represent such a synchronization using a transition system, where a state is viewed as a triple graph presenting the connection of current scenarios, and a transition is defined as a triple graph transformation rule. As a result, the conformance property can be represented as a Computational Tree Logic (CTL) formula and checked by model checkers. We define the transition system using our extension of UML activity diagrams together with Triple Graph Grammars (TGGs) incorporating Object Constraint Language (OCL). We illustrate the approach with a case study of the relation between a use case model and a design model. The work is realized using the USE tool.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. OMG: OMG Unified Modeling Language (OMG UML), Superstructure, V2.1.2. OMG (November 2007)

    Google Scholar 

  2. Greenfield, J., Short, K., Cook, S., Kent, S.: Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools, 1st edn. Wiley, Chichester (August 2004)

    Google Scholar 

  3. Kleppe, A.G.: A Language Description is More than a Metamodel. In: Fourth International Workshop on Software Language Engineering, Nashville, USA, October 1 (2007), http://planet-mde.org/atem2007/

  4. Harel, D., Rumpe, B.: Meaningful Modeling: What’s the Semantics of “Semantics”? Computer 37(10), 64–72 (2004)

    Article  Google Scholar 

  5. Broy, M., Crane, M., Dingel, J., Hartman, A., Rumpe, B., Selic, B.: 2nd UML 2 Semantics Symposium: Formal Semantics for UML. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, pp. 318–323. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  6. Gogolla, M.: (An Example for) Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion. In: Bezivin, J., Heckel, R. (eds.) Proc. Dagstuhl Seminar on Language Engineering for Model-Driven Software Development (2004), http://www.dagstuhl.de/04101/

  7. 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: Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002, Orlando, Florida, USA, May 19-25. ACM, New York (2002)

    Google Scholar 

  8. Evans, A., France, R.B., Lano, K., Rumpe, B.: The UML as a Formal Modeling Notation. In: Bézivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol. 1618, pp. 336–348. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  9. Kelsen, P., Ma, Q.: A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 690–704. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  10. Warmer, J.B., Kleppe, A.G.: The Object Constraint Language: Precise Modeling With Uml, 1st edn. Addison-Wesley Professional, Reading (1998)

    Google Scholar 

  11. Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming 72(1-2), 31–39 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  12. Amelunxen, C., Königs, A., Rötschke, T., Schürr, A.: MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 361–375. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  13. OMG: Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, Final Adopted Specification ptc/07-07-07. OMG (2007)

    Google Scholar 

  14. Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151–163. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

  15. Dang, D.H., Gogolla, M.: On Integrating OCL and Triple Graph Grammars. In: Chaudron, M.R.V. (ed.) MODELS 2008. LNCS, vol. 5421, pp. 124–137. Springer, Heidelberg (2009)

    Google Scholar 

  16. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley Professional, Reading (2004)

    Google Scholar 

  17. Cockburn, A.: Writing Effective Use Cases, 1st edn. Addison-Wesley Professional, Reading (2000)

    Google Scholar 

  18. Jacobson, I.: Object-Oriented Software Engineering: A Use Case Driven Approach, 1st edn. Addison-Wesley Professional, USA (June 1992)

    MATH  Google Scholar 

  19. Gogolla, M., Büttner, F., Richters, M.: USE: A UML-Based Specification Environment for Validating UML and OCL. In: Science of Computer Programming (2007)

    Google Scholar 

  20. Ehrig, H., Ermel, C., Hermann, F.: On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars. In: Proceedings of the Third International Workshop on Graph and Model Transformations, pp. 9–16. ACM, New York (2008)

    Google Scholar 

  21. Dang, D.H., Gogolla, M.: Precise Model-Driven Transformation Based on Graphs and Metamodels. In: Hung, D.V., Krishnan, P. (eds.) 7th IEEE International Conference on Software Engineering and Formal Methods, Hanoi, Vietnam, November 23-27, pp. 1–10. IEEE Computer Society Press, Los Alamitos (2009)

    Google Scholar 

  22. Jurack, S., Lambers, L., 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)

    Chapter  Google Scholar 

  23. Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation. Software and System Modeling 4(4), 386–398 (2005)

    Article  Google Scholar 

  24. de Lara, J., Vangheluwe, H.: AToM3: A Tool for Multi-formalism and Meta-modelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 174–188. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  25. Muller, P.A., Fleurey, F., Jézéquel, J.M.: Weaving Executability into Object-Oriented Meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 264–278. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  26. Hurlbut, R.R.: A Survey of Approaches for Describing and Formalizing Use Cases. Technical Report XPT-TR-97-03, Department of Computer Science, Illinois Institute of Technology, USA (1997)

    Google Scholar 

  27. Whittle, J.: Specifying Precise Use Cases with Use Case Charts. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 290–301. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  28. Regnell, B., Andersson, M., Bergstrand, J.: A Hierarchical Use Case Model with Graphical Representation. In: IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS 1996), Friedrichshafen, Germany, March 11-15, p. 270. IEEE Computer Society, Los Alamitos (1996)

    Chapter  Google Scholar 

  29. Smialek, M., Bojarski, J., Nowakowski, W., Ambroziewicz, A., Straszak, T.: Complementary Use Case Scenario Representations Based on Domain Vocabularies. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 544–558. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  30. Durán, A., Bernárdez, B., Genero, M., Piattini, M.: Empirically Driven Use Case Metamodel Evolution. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 1–11. Springer, Heidelberg (2004)

    Google Scholar 

  31. Sinha, A., Paradkar, A., Williams, C.: On Generating EFSM Models from Use Cases. In: ICSEW 2007: Proceedings of the 29th International Conference on Software Engineering Workshops, p. 97. IEEE Computer Society, Los Alamitos (2007)

    Google Scholar 

  32. Nebut, C., Fleurey, F., Traon, Y.L., Jezequel, J.: Automatic Test Generation: A Use Case Driven Approach. IEEE Transactions on Software Engineering 32(3), 140–155 (2006)

    Article  Google Scholar 

  33. Grieskamp, W., Lepper, M., Schulte, W., Tillmann, N.: Testable use cases in the Abstract State Machine Language. In: Proceedings of 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), Hong Kong, China, December 10-11, pp. 167–172. IEEE Computer Society, Los Alamitos (2001)

    Chapter  Google Scholar 

  34. Dang, D.H.: Triple Graph Grammars and OCL for Validating System Behavior. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 481–483. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  35. Dang, D.H.: Validation of System Behavior Utilizing an Integrated Semantics of Use Case and Design Models. In: Pons, C. (ed.) Proceedings of the Doctoral Symposium at the ACM/IEEE 10th International Conference on Model-Driven Engineering Languages and Systems (MoDELS 2007), vol. 262, pp. 1–5 (2007)

    Google Scholar 

  36. Gogolla, M., Bttner, F., Dang, D.H.: From Graph Transformation to OCL using USE. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 585–586. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Engineering and Technology, Vietnam National University of Hanoi, 144 Xuan Thuy, Cau Giay, Hanoi, Vietnam

    Duc-Hanh Dang & Anh-Hoang Truong

  2. Department of Computer Science, University of Bremen, D-28334, Bremen, Germany

    Martin Gogolla

Authors
  1. Duc-Hanh Dang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Anh-Hoang Truong
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Martin Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Paris, 75205, Paris, France

    Ahmed Bouajjani

  2. National University of Singapore, Republic of Singapore

    Wei-Ngan Chin

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dang, DH., Truong, AH., Gogolla, M. (2010). On Scenario Synchronization. In: Bouajjani, A., Chin, WN. (eds) Automated Technology for Verification and Analysis. ATVA 2010. Lecture Notes in Computer Science, vol 6252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15643-4_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15643-4_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15642-7

  • Online ISBN: 978-3-642-15643-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation