VCD:: A visual formalism for specification of heterogeneous software architectures

被引：0
|
作者：
Safránek, D [1 ]
Simsa, J [1 ]
机构：
[1] Masaryk Univ, Fac Informat, Dept Comp Sci, Brno, Czech Republic
来源：
SOFSEM 2005:THEORY AND PRACTICE OF COMPUTER SCIENCE | 2005年 / 3381卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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 soft-ware design. Formal definition of VCD is included in the paper. Moreover, an example of use of the language is also given.
引用
收藏
页码：320 / 329
页数：10
相关论文
共 50 条
  • [1] Visual Specification and Analysis of Contract-Based Software Architectures
    Mert Ozkaya
    [J]. Journal of Computer Science and Technology, 2017, 32 : 1025 - 1043
  • [2] Visual Specification and Analysis of Contract-Based Software Architectures
    Ozkaya, Mert
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2017, 32 (05) : 1025 - 1043
  • [3] Declarative specification of software architectures
    Penix, J
    Alexander, P
    Havelund, K
    [J]. AUTOMATED SOFTWARE ENGINEERING, 12TH IEEE INTERNATIONAL CONFERENCE, PROCEEDINGS, 1997, : 201 - 208
  • [4] Specification of exception flow in software architectures
    Castor Filho, Fernando
    Brito, Patrick Henrique da S.
    Rubira, Cecilia Mary F.
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2006, 79 (10) : 1397 - 1418
  • [5] Specification and refinement of dynamic software architectures
    Canal, C
    Pimentel, E
    Troya, JM
    [J]. SOFTWARE ARCHITECTURE, 1999, 12 : 107 - 125
  • [6] Software Visual Specification for Requirement Specification Validation
    Zainuddin, Fauziah Binti
    Arshah, Ruzaini bin Abdullah
    Mohamad, Rozlina Binti
    [J]. PROCEEDINGS OF 2018 7TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2018), 2018, : 66 - 71
  • [7] Formal specification of evolving distributed software architectures
    Justo, GRR
    de Paula, VC
    Cunha, PRF
    [J]. NINTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 1998, : 548 - 553
  • [8] A Contract-Based Formalism for the Specification of Heterogeneous Systems
    Benvenuti, Luca
    Ferrari, Alberto
    Mangeruca, Leonardo
    Mazzi, Emanuele
    Passerone, Roberto
    Sofronis, Christos
    [J]. 2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 166 - +
  • [9] Visual Comparison of Software Architectures
    Beck, Fabian
    Diehl, Stephan
    [J]. SOFTVIS 2010: PROCEEDINGS OF THE 2010 INTERNATIONAL SYMPOSIUM ON SOFTWARE VISUALIZATION, 2010, : 183 - 192
  • [10] Visual comparison of software architectures
    Beck, Fabian
    Diehl, Stephan
    [J]. INFORMATION VISUALIZATION, 2013, 12 (02) : 178 - 199
12345