this paper presents a technique for verifying specifications which uses the object-oriented state-based language Object-Z. the technique is based upon translation of Object-Z specifications into transition systems. th...
详细信息
ISBN:
(纸本)3540672613
this paper presents a technique for verifying specifications which uses the object-oriented state-based language Object-Z. the technique is based upon translation of Object-Z specifications into transition systems. the translation of Object-Z into a transition system allows one to use established techniques and tools in order to verify the specifications. We present the basis of our translation approach and then illustrate it by a case study. the case study consists in proving properties of our antennae parameter setting problem specification.
Control logic of embedded systems is nowadays largely implemented in software. Such control software implements among others models of physical characteristics like heat exchange among system components. Due to evolut...
详细信息
In this paper, we present an approach aiming at full functional deductive verification of concurrent Java programs, based on symbolic execution. We define a Dynamic Logic and a deductive verification calculus for a re...
详细信息
Music systems are based on always partial, sometimes default, knowledge. In order to meet this essential character we need open systemsthat can constantly adapt their music assumptions. Ideally, the system should pro...
详细信息
the grounding system is essential in the substation operation and must be designed reliably, considering the grid conductor spacing, length, and a number of rods. this research aims to design an optimal grounding syst...
详细信息
Integration of colleges and universities continue to expand, how the network soft, hard resource deployment and configuration become a difficult problem. After analyzing the university network funding, regional differ...
详细信息
Nowadays, cyber-physical systems (CPS) are used to integrate physical and software units and provide real-time, continuous, synchronous/asynchronous computations. the systems are useful in many applications. To provid...
详细信息
Complex applications in domains such as decision support systems and real time systems require a functionality that is achieved by combining the active and temporal database technologies. In this paper we present TALE...
详细信息
ISBN:
(纸本)3540612920
Complex applications in domains such as decision support systems and real time systems require a functionality that is achieved by combining the active and temporal database technologies. In this paper we present TALE, a Temporal Active Language and Execution model. TALE is a temporal active database programming language, combined with an execution model that enables a correct and efficient processing of operations. As such, TALE is a step in accommodating softwareengineering challenges in modern information systems. TALE primitives are presented using examples and an EBNF. the run-time control mechanism of the model is introduced and TALE properties, namely active and temporal capabilities, and reflective programming capabilities are discussed.
暂无评论