Abstract
Traditionally, the global behaviour of distributed reactive systems has been considered hard to specify completely, and therefore many details are left to the designers to decide. The challenge addressed in this paper is how this situation can be improved. Is it possible to specify the global behaviour of distributed reactive systems in a way which eases comprehension of the system without compromising the specification’s correctness, completeness, modularity and readability? Instead of defining the global behaviour models in a monolithic way, we approach the problem by decomposing the specification into interface functionality and core functionality. The resulting interface-modular method for system specification is presented and discussed in this paper using a TaxiCentral as case study. The novelty of this method lies in the clear separation of interfaces from core functionality, and the use of activity diagrams in combination with collaborations to express and compose the specifications. Given a set of core functionality and interface functionalities, the core functionality and interface functionalities are composed into a specification of the complete global behaviour. The prospects for automatic design synthesis from such a specification are discussed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The data structures needed may not necessarily be queues, but we refer to them as queues here for simplicity.
- 2.
Filled circles and squares are not standard UML notations, but can be provided by profiling. They represent information needed during subsequent behaviour analysis and design synthesis.
- 3.
We consider collaborations that are not further decomposed as elementary collaborations.
- 4.
The activity diagrams can have all types of pins that UML allows, i.e. initiating, terminating, streaming and alternative pins.
References
Arkin, A., Askary, S., Fordin, S., Jekeli, W., Kawaguchi, K., Orchard, D., Pogliani, S., Riemer, K., Struble, S., Takacsi-Nagy, P., et al.: Web service choreography interface (WSCI) 1.0. Standards proposal by BEA Systems, Intalio, SAP, and Sun Microsystems (2002)
Beyer, D., Chakrabarti, A., Henzinger, T.A.: An interface formalism for web services. In: Proceeding of the First International Workshop on Foundations of Interface Technologies (2005)
Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web service interfaces. In: Proceedings of the 14th International Conference on World Wide Web. ACM, New York (2005)
Bræk, R., Haugen, Ø.: Engineering Real Time Systems. Prentice Hall, Hertfordshire (1993)
Buhr, R.J.A.: Use case maps as architectural entities for complex systems. IEEE Trans. Softw. Eng. 24(12), 1131–1155 (1998). IEEE Press
Castejón, H.N.: Synthesizing state-machine behaviour from UML collaborations and use case maps. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, pp. 339–359. Springer, Heidelberg (2005)
Castejón, H.N.: Collaborations in Service Engineering: Modeling, Analysis and Execution. PhD Thesis, Department of Telematics, NTNU (2008)
Castejón, H.N., Bræk, R., Bochmann, G.V.: Realizability of collaboration-based service specifications. In: Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC07). IEEE Computer Society Press (2007)
Dijkman, R., Dumas, M.: Service-oriented design: a multi-viewpoint approach. Int. J. Coop. Inf. Syst. 13, 337 (2004)
Fatima, U., Bræk, R.: On deriving detailed component design from high-level service specification. In: Haugen, Ø., Reed, R., Gotzhein, R. (eds.) SAM 2012. LNCS, vol. 7744, pp. 142–159. Springer, Heidelberg (2013)
Floch, J., Bræk, R.: Using projections for the detection of anomalous behaviours. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 251–268. Springer, Heidelberg (2003)
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, MoDeVVa, pp. 6:1–6:8. ACM, New York (2011). 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)
Kathayat, S.B., Le, H.N., Bræk, R.: A model-driven framework for component-based development. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol. 7083, pp. 154–167. Springer, Heidelberg (2011)
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)
Lam, S.S., Shankar, A.U.: Protocol verification via projections. IEEE Trans. Softw. Eng. 10(4), 325–342 (1984)
Mencl, V.: Specifying component behavior with port state machines. Electron. Notes Theor. Comput. Sci. 101, 129–153 (2004)
Qiu, Z., Zhao, X., Cai, C., Yang, H.: Towards the theoretical foundation of choreography. In: Proceedings of the 16th International Conference on World Wide Web, WWW ’07, pp. 973–982. ACM, New York (2007). http://doi.acm.org/10.1145/1242572.1242704
ReactiveBlocks: Reactive blocks - the tool for professional java developers (2014). http://www.bitreactive.com. Accessed on 14 May 2015
Salaün, G., Bultan, T., Roohi, N.: Realizability of choreographies using process algebra encodings. IEEE Trans. Serv. Comput. 5(3), 290–304 (2012)
Sanders, R.T., Bræk, R., Bochmann, G.V., Amyot, D.: Service discovery and component reuse with semantic interfaces. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, pp. 85–102. Springer, Heidelberg (2005)
Zaha, M.J., Dumas, M., Hofstede, A.H.M., Barros, A., Decker, G.: Bridging global and local models of service-oriented systems. IEEE Trans. Syst. Man Cybern. 38(3), 302–318 (2008). IEEE Press
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Fatima, U., Bræk, R. (2015). The Interface-Modular Method for Global System Behaviour Specification. In: Desfray, P., Filipe, J., Hammoudi, S., Pires, L. (eds) Model-Driven Engineering and Software Development. MODELSWARD 2015. Communications in Computer and Information Science, vol 580. Springer, Cham. https://doi.org/10.1007/978-3-319-27869-8_20
Download citation
DOI: https://doi.org/10.1007/978-3-319-27869-8_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-27868-1
Online ISBN: 978-3-319-27869-8
eBook Packages: Computer ScienceComputer Science (R0)