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.
Keywords
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
In a TaxiSystem, Users can book Taxis by placing taxi-booking requests to a TaxiDispatcher.
- 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.
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
Object Management Group.Unified Modeling Language: Superstructure, version 2.4.1 (2011). http://www.omg.org/spec/UML/2.4.1/Superstructure
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
Castejón, H.N., Bochmann, G.V., Bræk, R.: On the realizability of collaborative services. Softw. Syst. Model. 12(3), 597–617 (2013)
Gouda, M.G., Yu, Y.T.: Synthesis of communicating finite-state machines with guaranteed progress. IEEE Trans. Commun. 32(7), 779–788 (1984)
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
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
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)
Lam, S.S., Shankar, A.U.: Protocol verification via projections. IEEE Trans. Softw. Eng. 10(4), 325–342 (1984)
Reactive blocks - the tool for professional java developers. Accessed 01 Nov 2015
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
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)
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
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)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights 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)