1. Object Management Group.Unified Modeling Language: Superstructure, version 2.4.1 (2011). http://www.omg.org/spec/UML/2.4.1/Superstructure
2. Communications in Computer and Information Science;U Fatima,2015
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)
4. Gouda, M.G., Yu, Y.T.: Synthesis of communicating finite-state machines with guaranteed progress. IEEE Trans. Commun. 32(7), 779–788 (1984)
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