Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
复制标题
软件工程的基本方法
DOI：
10.1007/978-3-642-54804-8_6
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Fiadeiro J
中科院分区：
文献类型：
--
作者：
Fiadeiro J
我们提出了一个组件代数和相关的逻辑异构定时系统，可以在运行时互连。代数的组件是进程的异步网络，其中进程是对互连的软件应用或设备的行为进行建模的迹线集合，并且根据它们所处的网络节点的时钟粒度来执行。基于迹的模型的优点是，它抽象的特殊性的不同类别的自动机，可以选择作为模型的实现和特征，在更高的层次上的拓扑性质的语言所产生的这种自动机，支持几个组合的结果;在该文件中，这样的属性是支持一个新的时间细化关系及其相关的闭包运算符。我们的理论的主要新奇和贡献在于这样一个事实，即我们不假设所有的网络节点具有相同的时钟粒度和互连可以建立，在运行时，节点之间具有不同的时钟粒度。我们研究的条件下，相互关联的过程可以沟通和取得进展，产生一个集体的非空行为，即，确保互连一致的条件。这些条件可以在设计时进行验证，从而使系统可以在运行时互连，而无需进一步检查兼容性;据我们所知，没有其他组件代数已被提出的时间异构系统，不需要他们的结构prioryknowledge。最后，我们提出了一个逻辑，可以支持此组件代数的规格，并证明相关的组合性结果。
We present a component algebra and an associated logic for heterogeneous timed systems that can be interconnected at run time. The components of the algebra are asynchronous networks of processes, where processes are sets of traces that model the behaviour of the software applications or devices that are interconnected and execute according to the clock granularity of the network node in which they are placed. The advantage of a trace-based model is that it abstracts from the specificities of the different classes of automata that can be chosen as models of implementations and characterises at a higher level the topological properties of the languages generated by such automata that support several compositionality results; in the paper, such properties are supported by a new time refinement relation and its related closure operator. The main novelty and contribution of our theory lies in the fact that we do not assume that all network nodes have the same clock granularity and that interconnections can be established, at run time, among nodes with different clock granularities. We investigate conditions under which the interconnected processes can communicate and make progress, generating a collective non-empty behaviour, i.e., conditions that ensure that the interconnection is consistent. Those conditions can be verified at design time, thus allowing that systems can be interconnected at run time without further checking for compatibility; to the best of our knowledge, no other component algebra has been put forward for timed heterogeneous systems that does not requirea-prioryknowledge of their structure. Finally, we propose a logic that can support specifications for this component algebra and prove associated compositionality results.
登录
查看更多内容
JavaScript 的混合 DOM 敏感变更影响分析
DOI：
10.4230/lipics.ecoop.2015.321
发表时间：
2015
期刊：
--
影响因子：
--
作者：
Saba Alimadadi;A. Mesbah;K. Pattabiraman
通讯作者：
K. Pattabiraman
DOI：
10.1145/1147249.1147259
发表时间：
2006
期刊：
--
影响因子：
--
作者：
Jung Soo Kim;D. Garlan
通讯作者：
D. Garlan
影响因子：
1.8
作者：
Grech, Neville;Fourtounis, George;Smaragdakis, Yannis
通讯作者：
Smaragdakis, Yannis
使用 KIV 指定和验证基于知识的系统的架构
DOI：
10.1109/ase.1997.632826
发表时间：
1997
期刊：
Proceedings 12th IEEE International Conference Automated Software Engineering
影响因子：
--
作者：
D. Fensel;A. Schönegge
通讯作者：
A. Schönegge
SAFE：ECMAScript 可扩展分析框架的正式规范和实现
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
Hongki Lee;S. Won;Joonho Jin;Junhee Cho;Sukyoung Ryu
通讯作者：
Sukyoung Ryu