Skip to main content
SpringerLink
Log in
Book cover

International Conference on Model-Driven Engineering and Software Development

MODELSWARD 2015: Model-Driven Engineering and Software Development pp 339–355Cite as

The Interface-Modular Method for Global System Behaviour Specification

  • Conference paper
  • First Online:

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 580))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    The data structures needed may not necessarily be queues, but we refer to them as queues here for simplicity.

  2. 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. 3.

    We consider collaborations that are not further decomposed as elementary collaborations.

  4. 4.

    The activity diagrams can have all types of pins that UML allows, i.e. initiating, terminating, streaming and alternative pins.

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.: Web service choreography interface (WSCI) 1.0. Standards proposal by BEA Systems, Intalio, SAP, and Sun Microsystems (2002)

    Google Scholar 

  2. 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)

    Google Scholar 

  3. 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)

    Google Scholar 

  4. Bræk, R., Haugen, Ø.: Engineering Real Time Systems. Prentice Hall, Hertfordshire (1993)

    MATH  Google Scholar 

  5. Buhr, R.J.A.: Use case maps as architectural entities for complex systems. IEEE Trans. Softw. Eng. 24(12), 1131–1155 (1998). IEEE Press

    Article  Google Scholar 

  6. 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)

    Google Scholar 

  7. Castejón, H.N.: Collaborations in Service Engineering: Modeling, Analysis and Execution. PhD Thesis, Department of Telematics, NTNU (2008)

    Google Scholar 

  8. 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)

    Google Scholar 

  9. Dijkman, R., Dumas, M.: Service-oriented design: a multi-viewpoint approach. Int. J. Coop. Inf. Syst. 13, 337 (2004)

    Article  Google Scholar 

  10. 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)

    Chapter  Google Scholar 

  11. 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)

    Chapter  Google Scholar 

  12. 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

  13. 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)

    Chapter  Google Scholar 

  14. 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)

    Chapter  Google Scholar 

  15. 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)

    Article  Google Scholar 

  16. Lam, S.S., Shankar, A.U.: Protocol verification via projections. IEEE Trans. Softw. Eng. 10(4), 325–342 (1984)

    Article  MATH  Google Scholar 

  17. Mencl, V.: Specifying component behavior with port state machines. Electron. Notes Theor. Comput. Sci. 101, 129–153 (2004)

    Article  MATH  Google Scholar 

  18. 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

  19. ReactiveBlocks: Reactive blocks - the tool for professional java developers (2014). http://www.bitreactive.com. Accessed on 14 May 2015

  20. Salaün, G., Bultan, T., Roohi, N.: Realizability of choreographies using process algebra encodings. IEEE Trans. Serv. Comput. 5(3), 290–304 (2012)

    Article  Google Scholar 

  21. 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)

    Chapter  Google Scholar 

  22. 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

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Telematics, Norwegian University of Science and Technology (NTNU), Trondheim, Norway

    Urooj Fatima & Rolv Bræk

Authors
  1. Urooj Fatima
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rolv Bræk
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Urooj Fatima .

Editor information

Editors and Affiliations

  1. SOFTEAM, Paris, France

    Philippe Desfray

  2. Department of Systems and Informatics, Polytechnic Institute of Setúbal, Setúbal, Portugal

    Joaquim Filipe

  3. MODESTE/ESEO, Angers, France

    Slimane Hammoudi

  4. University of Twente, Enschede, The Netherlands

    Luís Ferreira Pires

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation