Skip to main content

Advertisement

SpringerLink
Log in
Menu
Find a journal Publish with us
Search
Cart
Book cover

International Conference on Coordination Languages and Models

COORDINATION 2012: Coordination Models and Languages pp 59–73Cite as

  1. Home
  2. Coordination Models and Languages
  3. Conference paper
Partial Connector Colouring

Partial Connector Colouring

  • Dave Clarke17 &
  • José Proença17 
  • Conference paper
  • 551 Accesses

  • 5 Citations

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 7274)

Abstract

Connector colouring provided an intuitive semantics of Reo connectors which lead to effective implementation techniques, first based on computing colouring tables directly, and later on encodings of colouring into constraints. One weakness of the framework is that it operates globally, giving a colouring to all primitives of the connector in lock-step, including those not involved in the interaction. This global approach limits both scalability and the available concurrency. This paper addresses these problems by introducing partiality into the connector colouring model. Partial colourings allow parts of a connector to operate independently and in isolation, increasing scalability and concurrency.

This research is partly funded by the EU project FP7-231620 HATS: Highly Adaptable and Trustworthy Software using Formal Models (http://www.hats-project.eu) and KULeuven BOF Project STRT1/09/031: DesignerTypeLab.

Download conference paper PDF

References

  1. Arbab, F.: Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), 329–366 (2004)

    CrossRef  MathSciNet  MATH  Google Scholar 

  2. Arbab, F.: Composition of interacting computations. In: Goldin, D., Smolka, S., Wegner, P. (eds.) Interactive Computation: The New Paradigm, pp. 277–321. Springer-Verlag New York, Inc., Secaucus (2006)

    Google Scholar 

  3. Arbab, F., Bruni, R., Clarke, D., Lanese, I., Montanari, U.: Tiles for Reo. In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol. 5486, pp. 37–55. Springer, Heidelberg (2009)

    CrossRef  Google Scholar 

  4. Arbab, F., Koehler, C., Maraikar, Z., Moon, Y., Proença, J.: Modeling, testing and executing Reo connectors with the Eclipse Coordination Tools. In: International Workshop on Formal Aspects of Component Software (FACS), Malaga. ENTCS (2008)

    Google Scholar 

  5. Bliudze, S., Sifakis, J.: Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems. In: Apel, S., Jackson, E. (eds.) SC 2011. LNCS, vol. 6708, pp. 51–67. Springer, Heidelberg (2011)

    CrossRef  Google Scholar 

  6. Bonsangue, M.M., Clarke, D., Silva, A.: Automata for Context-Dependent Connectors. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol. 5521, pp. 184–203. Springer, Heidelberg (2009)

    CrossRef  Google Scholar 

  7. Bruni, R., Lanese, I., Montanari, U.: A basic algebra of stateless connectors. Theor. Comput. Sci. 366(1-2), 98–120 (2006)

    CrossRef  MathSciNet  MATH  Google Scholar 

  8. Clarke, D., Costa, D., Arbab, F.: Connector colouring I: Synchronisation and context dependency. Science of Computer Programming 66(3), 205–225 (2007)

    CrossRef  MathSciNet  MATH  Google Scholar 

  9. Clarke, D., Proença, J., Lazovik, A., Arbab, F.: Channel-based coordination via constraint satisfaction. Sci. Comput. Program. 76(8), 681–710 (2011)

    CrossRef  MATH  Google Scholar 

  10. Costa, D.: Formal Models for Component Connectors. PhD thesis, Vrij Universiteit Amsterdam (2010)

    Google Scholar 

  11. Jongmans, S.-S.T.Q., Krause, C., Arbab, F.: Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. In: De Meuter, W., Roman, G.-C. (eds.) COORDINATION 2011. LNCS, vol. 6721, pp. 31–48. Springer, Heidelberg (2011)

    CrossRef  Google Scholar 

  12. Klüppelholz, S., Baier, C.: Symbolic model checking for channel-based component connectors. ENTCS 175(2), 19–37 (2007)

    Google Scholar 

  13. Lazovik, A., Aiello, M., Gennari, R.: Choreographies: Using constraints to satisfy service requests. In: Proc. of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services, p. 150. IEEE Computer Society, Washington, DC (2006)

    CrossRef  Google Scholar 

  14. Minsky, N.H., Ungureanu, V.: Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Transactions on Software Engineering and Methodology 9(3), 273–305 (2000)

    CrossRef  Google Scholar 

  15. Montanari, U., Rossi, F.: Modeling process coordination via tiles, graphs, and constraints. In: 3rd Biennial World Conference on Integrated Design and Process Technology, vol. 4, pp. 1–8 (1998)

    Google Scholar 

  16. Proença, J.: Synchronous coordination of distributed components. PhD thesis, LIACS, Leiden University (May 2011)

    Google Scholar 

  17. Sobociński, P.: Representations of Petri Net Interactions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 554–568. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  18. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)

    CrossRef  Google Scholar 

  19. Wegner, P.: Coordination as Constrained Interaction (Extended Abstract). In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol. 1061, pp. 28–33. Springer, Heidelberg (1996)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBBT-DistriNet, Department of Computer Science, K.U. Leuven, Belgium

    Dave Clarke & José Proença

Authors
  1. Dave Clarke
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. José Proença
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computer Science, Reykjavik University, Menntavegur 1, 101, Reykjavik, Iceland

    Marjan Sirjani

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 IFIP International Federation for Information Processing

About this paper

Cite this paper

Clarke, D., Proença, J. (2012). Partial Connector Colouring. In: Sirjani, M. (eds) Coordination Models and Languages. COORDINATION 2012. Lecture Notes in Computer Science, vol 7274. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30829-1_5

Download citation

  • .RIS
  • .ENW
  • .BIB
  • DOI: https://doi.org/10.1007/978-3-642-30829-1_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-30828-4

  • Online ISBN: 978-3-642-30829-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Share this paper

Anyone you share the following link with will be able to read this content:

Sorry, a shareable link is not currently available for this article.

Provided by the Springer Nature SharedIt content-sharing initiative

Search

Navigation

  • Find a journal
  • Publish with us

Discover content

  • Journals A-Z
  • Books A-Z

Publish with us

  • Publish your research
  • Open access publishing

Products and services

  • Our products
  • Librarians
  • Societies
  • Partners and advertisers

Our imprints

  • Springer
  • Nature Portfolio
  • BMC
  • Palgrave Macmillan
  • Apress
  • Your US state privacy rights
  • Accessibility statement
  • Terms and conditions
  • Privacy policy
  • Help and support

167.114.118.210

Not affiliated

Springer Nature

© 2023 Springer Nature