A Modular Method for Global System Behaviour Specification

Urooj Fatima, Rolv Bræk

Abstract

The challenge addressed in this paper is that how can we specify the global behaviour of distributed reactive systems in a way which eases the comprehension of the system without compromising its 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 in global specification, and the use of activity diagrams in combination with collaborations to express and compose the specifications.

References

  1. Arkin, A., Askary, S., Fordin, S., Jekeli, W., Kawaguchi, K., Orchard, D., Pogliani, S., Riemer, K., Struble, S., Takacsi-Nagy, P., et al. (2002). Web service choreography interface (wsci) 1.0. Standards proposal by BEA Systems, Intalio, SAP, and Sun Microsystems.
  2. bCMS (2012). bcms case study document. http://cserg0.site.uottawa.ca/cma2013re/CaseStudy.pdf. Accessed On: 22-09-2014.
  3. Beyer, D., Chakrabarti, A., and Henzinger, T. A. (2005a). An interface formalism for web services. In Proceeding of the First International Workshop on Foundations of Interface Technologies.
  4. Beyer, D., Chakrabarti, A., and Henzinger, T. A. (2005b). Web service interfaces. In Proceedings of the 14th International Conference on World Wide Web. ACM, New York.
  5. Braek, R. and Haugen, Ø. (1993). Engineering Real Time Systems. Prentice Hall.
  6. Buhr, R. J. A. (1998). Use case maps as architectural entities for complex systems. In IEEE Transactions on Software Engineering, volume 24(12). IEEE Press.
  7. Castejón, H. N. (2005). Synthesizing state-machine behaviour from uml collaborations and use case maps. In SDL 2005 Model Driven, volume 3530. LNCS, Springer.
  8. Castejón, H. N. (2008). Collaborations in Service Engineering: Modeling, Analysis and Execution. PhD Thesis, Department of Telematics, NTNU.
  9. Castejón, H. N., Braek, R., and Bochmann, G. V. (2007). Realizability of collaboration-based service specifications. In Proceedings of the 14th Asia-Pacific Soft. Eng. Conf. (APSEC07). IEEE Computer Society Press.
  10. Dijkman, R. and Dumas, M. (2004). Service-oriented design: A multi-viewpoint approach. In International Journal of Cooperative Information Systems, volume 13.
  11. Fatima, U. and Braek, R. (2013). On deriving detailed component design from high-level service specification. In System Analysis and Modeling About Models, volume 7744. LNCS, Springer.
  12. Floch, J. and Braek, R. (2003). Using projections for the detection of anomalous behaviours. In SDL 2003 System Design, volume 2708. LNCS, Springer.
  13. Kathayat, S. B. and Braek, R. (2011). Analyzing realizability of choreographies using initiating and responding flows. In Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, pages 6:1-6:8, New York, NY, USA. ACM.
  14. Kathayat, S. B., Le, H., and Braek, R. (2011). A modeldriven framework for component-based development. In SDL 2011 - Integrating System and Software Modeling, volume 7083. LNCS, Springer.
  15. Kraemer, F. A., Sla°tten, V., and Herrmann, P. (2009). Tool support for the rapid composition, analysis and implementation of reactive services. In Journal of Systems and Software, volume 82(12). Elsevier.
  16. Lam, S. S. and Shankar, A. U. (1984). Protocol verification via projections. IEEE Transactions on Software Engineering, 10(4).
  17. Mencl, V. (2004). Specifying component behavior with port state machines. In Electronic Notes on Theoretical Computer Science.
  18. Qiu, Z., Zhao, X., Cai, C., and Yang, H. (2007). Towards the theoretical foundation of choreography. In Proceedings of the 16th International Conference on World Wide Web, WWW 7807, pages 973-982, New York, NY, USA. ACM.
  19. ReactiveBlocks (2014). Reactive blocks - the tool for professional java developers. http://www. bitreactive.com. Accessed On: 10-12-2014.
  20. Salaün, G. and Bultan, T. (2012). Realizability of choreographies using process algebra encodings. Services Computing, IEEE Transactions on, 5(3):290-304.
  21. Sanders, R. T., Braek, R., Bochmann, G. V., and Amyot, D. (2005). Service discovery and component reuse with semantic interfaces. In SDL 2005 Model Driven, volume 3530. LNCS, Springer.
  22. Zaha, M. J., Dumas, M., Hofstede, A. H. M., Barros, A., and Decker, G. (2008). Bridging global and local models of service-oriented systems. In IEEE Transactions on Systems, Man., and Cybernetics, volume 38(3). IEEE Press.
Download


Paper Citation


in Harvard Style

Fatima U. and Bræk R. (2015). A Modular Method for Global System Behaviour Specification . In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, pages 490-497. DOI: 10.5220/0005245104900497


in Bibtex Style

@conference{modelsward15,
author={Urooj Fatima and Rolv Bræk},
title={A Modular Method for Global System Behaviour Specification},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={490-497},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005245104900497},
isbn={978-989-758-083-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - A Modular Method for Global System Behaviour Specification
SN - 978-989-758-083-3
AU - Fatima U.
AU - Bræk R.
PY - 2015
SP - 490
EP - 497
DO - 10.5220/0005245104900497