Skip to main content
SpringerLink
Log in
Book cover

International Conference on Current Trends in Theory and Practice of Computer Science

SOFSEM 2005: SOFSEM 2005: Theory and Practice of Computer Science pp 320–329Cite as

VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures

  • Conference paper

  • 661 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3381))

Abstract

A visual formalism called Visual Coordination Diagrams (VCD) for high-level design of heterogeneous systems is presented in this paper. The language is based on a state-transition operational semantics, which allows application of formal methods to software design. Formal definition of VCD is included in the paper. Moreover, an example of use of the language is also given.

This work has been supported by the Grant Agency of Czech Republic grant No. 201/03/0509, the FP5 project No. IST-2001-32603 and the CESNET activity Programmable hardware.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. OMG: Unified Modeling Language. Version 2.0. OMG (2003)

    Google Scholar 

  2. Harel, D., Rumpe, B.: Modeling Languages: Syntax, Semantics and All That Stuff. Technical Report MSC00-16, Weizman Institute of Science (2000)

    Google Scholar 

  3. Cleaveland, R., Du, X., Smolka, S.A.: GCCS: A Graphical Coordination Language for System Specification. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol. 1906, pp. 284–298. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  4. Šafránek, D.: SGCCS: A Graphical Language for Real-Time Coordination. In: Proceedings of FOCLASA 2002. ENTCS, vol. 68. Elsevier Science, Amsterdam (2002)

    Google Scholar 

  5. Antoš, D., Fučík, O., Novotný, J.: Project of IPv6 Router with FPGA Hardware Accelerator. In: Cheung, P.Y.K., Constantinides, G.A. (eds.) FPL 2003. LNCS, vol. 2778, pp. 964–967. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  6. Jan, J.H., Kratochvíla, T., Řehák, V., Šafránek, D., Šimecek, P.: How to Formalize FPGA Hardware Design. Technical Report 4/2004, CESNET z.s.p.o (2004)

    Google Scholar 

  7. Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Technical report, The Weizmann Institute (1987)

    Google Scholar 

  8. Maggiolo-Schettini, A., Peron, A., Tini, S.: A Comparison of Statecharts Step Semantics. Theoretical Computer Science 290 (2003)

    Google Scholar 

  9. von der Beeck, M.: Formalization of UML-Statecharts. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, p. 406. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  10. Harel, D., Kugler, H.: The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML). In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 325–354. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  11. Leue, S.: Methods and Semantics for Telecommunications Systems Engineering. PhD thesis, University of Berne (1994)

    Google Scholar 

  12. Ray, A., Cleaveland, R.: Architectural Interaction Diagrams: AIDs for System Modeling. In: Proc. of ICSE 2003. IEEE, Los Alamitos (2003)

    Google Scholar 

  13. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)

    MATH  Google Scholar 

  14. Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol. 6, 213–249 (1997)

    Article  Google Scholar 

  15. Shaw, M., DeLine, R., Klein, D.V., Ross, T.L., Young, D.M., Zelesnik, G.: Abstractions for Software Architecture and Tools to Support Them. IEEE Trans. Softw. Eng. 21, 314–335 (1995)

    Article  Google Scholar 

  16. Magee, J., Kramer, J.: Dynamic Structure in Software Architectures. SIGSOFT Softw. Eng. Notes 21, 3–14 (1996)

    Article  Google Scholar 

  17. Plášil, F., Bálek, D., Janeček, R.: SOFA/DCUP: Architecture for Component Trading and Dynamic Updating. In: Proceedings of the International Conference on Configurable Distributed Systems, p. 43. IEEE Computer Society, Los Alamitos (1998)

    Google Scholar 

  18. Šafránek, D., Šimša, J.: Visual Formalism for Specification of Heterogeneous Software Architectures. Technical Report FIMU-RS-2004-11, Faculty of Informatics, Masaryk University Brno (2004)

    Google Scholar 

  19. ParaDiSe Lab, Masaryk University Brno: DiVinE project home page (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Faculty of Informatics, Masaryk University, Brno, Czech Republic

    David Šafránek & Jiřı Šimša

Authors
  1. David Šafránek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jiřı Šimša
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Charles University, Prague, Czech Republic

    Peter Vojtáš

  2. Institute of Informatics and Software Engineering Faculty of Informatics and Information technologies, Slovak University of Technology, Ilkovičova 3, 842 16, Bratislava,  

    Mária Bieliková

  3. STIX, École Polytechnique, 91128, Palaiseau Cedex, France

    Bernadette Charron-Bost

  4. Department of Computer Science, University of Loughborough, Loughborough, UK

    Ondrej Sýkora

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Šafránek, D., Šimša, J. (2005). VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures. In: Vojtáš, P., Bieliková, M., Charron-Bost, B., Sýkora, O. (eds) SOFSEM 2005: Theory and Practice of Computer Science. SOFSEM 2005. Lecture Notes in Computer Science, vol 3381. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30577-4_35

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30577-4_35

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-24302-1

  • Online ISBN: 978-3-540-30577-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation