返回

Especificación formal de arquitecturas de software basadas en componentes Chequeo de corrección con cálculo ρ-arq

Especificación formal de arquitecturas de software basadas en componentes Chequeo de corrección con cálculo ρ-arq (版本 1.4)

缩略图 由Arquisoft Admin，19-2-22 下午7:48上传
The ρ-arq calculus is a formal notation to specify structural and dynamic aspects of component-based software architec- tures. The underlying idea is to leave of an initial static configuration that is only susceptible of passing to a new configuration by means of the application of the operational semantics rules of the ρ arq − calculus. We propose a graphical notation that it gives more semantic reach to diagrams of components in UML 2.x. As a result, this notation allows to represent dynamic aspects in a consistent way with other modeling proposals of component-based software in distributed systems.
标签: componentes de software arquitectura de referencia modelo de referencia cálculo−ρarq método formal sistema de transición rotulado chequeo de corrección equivalencia de observación
1 的 16
评论
还没有评论。 发表第一个留言。

版本 1.4

由Arquisoft Admin最近更新
19-3-19 下午12:49
状态: 已批准
The ρ-arq calculus is a formal notation to specify structural and dynamic aspects of component-based software architec- tures. The underlying idea is to leave of an initial static configuration that is only susceptible of passing to a new configuration by means of the application of the operational semantics rules of the ρ arq − calculus. We propose a graphical notation that it gives more semantic reach to diagrams of components in UML 2.x. As a result, this notation allows to represent dynamic aspects in a consistent way with other modeling proposals of component-based software in distributed systems.
下载 (376k) 获取
阅读更多。
自动提取的元数据
版本历史
版本 日期 大小  
1.7 5 年之前 376k
1.6 5 年之前 376k
1.5 5 年之前 376k
1.4 5 年之前 376k
1.3 5 年之前 376k
1.2 5 年之前 376k
1.1 5 年之前 376k
1.0 5 年之前 376k