Abstract
The development of distributed reactive systems is quite complex. They provide services where two or more active components collaborate that may take independent initiatives, operate concurrently and interact with each other and their environment in order to provide services. We need precise and complete global behaviour definitions in the domain of these distributed reactive systems that will enable us to derive component designs automatically in a systematic way. In this paper, we continue the previous research where an approach is proposed to map flow-global choreographies to flow-localized choreographies and further to distributed component designs. The proposed approach has the potential to become highly automated, however, some issues still need to be addressed manually while deriving the components. These issues are identified in this paper and solutions are proposed by defining precise rules to support component derivation by taking into account the problems that need to be solved in a distributed realization. The derived component types will be available to compose larger components and systems. The challenge for the designer is to ensure correct behaviour of the resulting composite reactive system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Castejón, H.N.: Collaborations in Service Engineering: Modeling, Analysis and Execution. PhD thesis, Department of Telematics, Norwegian University of Science and Technology (2008)
Castejón, H.N., Bochmann, G.V., Bræk, R.: Realizability of Collaboration-based Service Specifications. In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), pp. 73–80. IEEE Computer Society (2007)
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)
Sarstedt, S., Guttmann, W.: An ASM Semantics of Token Flow in UML 2 Activity Diagrams. In: Virbitskaite, I., Voronkov, A. (eds.) PSI 2006. LNCS, vol. 4378, pp. 349–362. Springer, Heidelberg (2007)
Fatima, U., Bræk, R., Castejón, H.N.: Session Initiation as a Service. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol. 7083, pp. 122–137. Springer, Heidelberg (2011)
Han, F., Kathayat, S.B., Le, H.N., Bræk, R., Herrmann, P.: Towards Choreography Model Transformation via Graph Transformation. In: IEEE 2nd International Conference on Software Engineering and Service Science (ICSESS 2011), pp. 508–515. IEEE Press (2011)
Kathayat, S.B.: On the Development of Situated Collaborative Services. PhD thesis, Department of Telematics, Norwegian University of Science and Technology (2012), http://ntnu.diva-portal.org/smash/get/diva2:566435/FULLTEXT01
Kathayat, S.B., Bræk, R.: Analyzing Realizability of Choreographies Using Initiating and Responding Flows. In: 8th International Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2011), Article 6. ACM Press (2011)
Kraemer, F.A., Slåtten, V., Herrmann, P.: Tool Support for the Rapid Composition, Analysis and Implementation of Reactive Services. Journal of Systems and Software 82(12), 2068–2080 (2009)
Buhr, R.J.A.: Use Case Maps as Architectural Entities for Complex Systems. IEEE Transactions on Software Engineering 24(12), 1131–1155 (1998)
Martínez, H.N.C.: 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)
Salaün, G., Bultan, T.: Realizability of Choreographies Using Process Algebra Encodings. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol. 5423, pp. 167–182. Springer, Heidelberg (2009)
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, pp. 973–982. ACM Press (2007)
Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and Orchestration Conformance for System Design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 63–81. Springer, Heidelberg (2006)
Laamarti, F.: Derivation of Component Designs from Global Specifications. Master thesis, Ottawa-Carleton Institute for Computer Science, School of Information Technology and Engineering, University of Ottawa (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fatima, U., Bræk, R. (2013). On Deriving Detailed Component Design from High-Level Service Specification. In: Haugen, Ø., Reed, R., Gotzhein, R. (eds) System Analysis and Modeling: Theory and Practice. SAM 2012. Lecture Notes in Computer Science, vol 7744. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36757-1_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-36757-1_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36756-4
Online ISBN: 978-3-642-36757-1
eBook Packages: Computer ScienceComputer Science (R0)