Skip to main content
SpringerLink
Log in
Book cover

International Conference on System Analysis and Modeling

SAM 2016: System Analysis and Modeling. Technology-Specific Aspects of Models pp 226–241Cite as

Modular Solutions to Common Design Problems Using Activities and the Interface-Modular Method

  • Conference paper
  • First Online:

  • 560 Accesses

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

Abstract

In order to enable automatic design synthesis it is necessary that functionality can be completely specified and that the so-called realizability problems can be detected and resolved. In this paper we focus on the second issue to resolve realizability problems. We assume a specification approach called the interface-modular method in which interfaces and core functionalities are specified and analyzed separately as modules that can be composed into complete specifications using UML collaborations and activities as the main notations. From this the designs can be derived by a process of direct synthesis whereby activities are localized to components in a manner that maintains the modularity. Such direct synthesis may contain so-called realizability problems that may need to be resolved. In this paper we propose and discuss modular solutions to the known realizability problems in terms of activities.

This is a preview of subscription content, 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 EPUB and 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

Learn about institutional subscriptions

Notes

  1. 1.

    In a TaxiSystem, Users can book Taxis by placing taxi-booking requests to a TaxiDispatcher.

  2. 2.

    The stop pins are added to all the participating roles except the responding role of the primary collaboration (B.C1), because the primary collaboration should not be stopped once initiated.

  3. 3.

    For interruptible regions, the events representing the initiatives of the conflicting collaborations are shown explicitly outside the collaborations, whereas in the case of initiative choice they were encapsulated inside the conflicting collaborations.

References

  1. Object Management Group.Unified Modeling Language: Superstructure, version 2.4.1 (2011). http://www.omg.org/spec/UML/2.4.1/Superstructure

  2. Fatima, U., Bræk, R.: The interface-modular method for global system behaviour specification. In: Desfray, P., Filipe, J., Hammoudi, S., Pires, L.F. (eds.) MODELSWARD 2015. CCIS, vol. 580, pp. 339–355. Springer, Heidelberg (2015). doi:10.1007/978-3-319-27869-8_20

    Chapter  Google Scholar 

  3. Castejón, H.N., Bochmann, G.V., Bræk, R.: On the realizability of collaborative services. Softw. Syst. Model. 12(3), 597–617 (2013)

    Article  Google Scholar 

  4. Gouda, M.G., Yu, Y.T.: Synthesis of communicating finite-state machines with guaranteed progress. IEEE Trans. Commun. 32(7), 779–788 (1984)

    Article  MATH  Google Scholar 

  5. Kathayat, S.B., Bræk, R.: Analyzing realizability of choreographies using initiating and responding flows. In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, pp. 6:1–6:8. ACM (2011). URL http://doi.acm.org/10.1145/2095654.2095662

  6. Kathayat, S.B., Bræk, R.: From flow-global choreography to component types. In: Kraemer, F.A., Herrmann, P. (eds.) SAM 2010. LNCS, vol. 6598, pp. 36–55. Springer, Heidelberg (2011). doi:10.1007/978-3-642-21652-7_3

    Chapter  Google Scholar 

  7. Floch, J., Bræk, R.: Towards plug-and-play services: design and validation using roles. Ph.D. thesis, Department of Telematics, Norwegian University of Science and Technology (2003)

    Google Scholar 

  8. Lam, S.S., Shankar, A.U.: Protocol verification via projections. IEEE Trans. Softw. Eng. 10(4), 325–342 (1984)

    Article  MATH  Google Scholar 

  9. Reactive blocks - the tool for professional java developers. Accessed 01 Nov 2015

    Google Scholar 

  10. Kraemer, F.A., Slåtten, V., Herrmann, P.: Tool support for the rapid composition, analysis and implementation of reactive services. J. Syst. Softw. 82(12), 2068–2080 (2009). Elsevier

    Article  Google Scholar 

  11. Liang, H., Dingel, J., Diskin, Z.: A comparative survey of scenario-based to state-based model synthesis approaches. In: 5th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools, pp. 5–12. ACM (2006)

    Google Scholar 

  12. Han, F., Herrmann, P.: Remedy of mixed initiative conflicts in model-based system engineering. Electron. Commun. EASST 47, 1–14 (2012). doi:10.14279/tuj.eceasst.47.717.723

    Google Scholar 

  13. Kraemer, F.A., Slåtten, V., Herrmann, P.: Engineering support for UML activities by automated model-checking - an example. In: Proceedings of the 4th International Workshop on Rapid Integration of Software Engineering Techniques (RISE 2007), pp. 51–66. ERCIM Working Group (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Telematics, NTNU - Norwegian University of Science and Technology, Trondheim, Norway

    Urooj Fatima & Rolv Bræk

Authors
  1. Urooj Fatima
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rolv Bræk
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Urooj Fatima or Rolv Bræk .

Editor information

Editors and Affiliations

  1. Georg-August-Universität Göttingen , Göttingen, Germany

    Jens Grabowski

  2. Georg-August-Universität Göttingen , Göttingen, Germany

    Steffen Herbold

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Fatima, U., Bræk, R. (2016). Modular Solutions to Common Design Problems Using Activities and the Interface-Modular Method. In: Grabowski , J., Herbold, S. (eds) System Analysis and Modeling. Technology-Specific Aspects of Models . SAM 2016. Lecture Notes in Computer Science(), vol 9959. Springer, Cham. https://doi.org/10.1007/978-3-319-46613-2_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-46613-2_15

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-46612-5

  • Online ISBN: 978-3-319-46613-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation