J. Carmo and A. Sernadas. A temporal logic framework for a layered approach to systems specification and verification. In Proceedings of the Conference on Temporal Aspects in Information Systems, pages 31--47, France, May 1987. AFCET.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... the constraints, where z i is the value to be assigned to v i ; namely, for each (v i ; v j ) 2 E, it results z j Gamma z i 2 S I2L(v i ;v j ) I (assuming j i) Problems involving temporal constraints arise in several areas of computer science such as scheduling [2,9] program verification [11,3,12], real time systems [17] temporal databases [18] and artificial intelligence (see [6] for an extensive bibliography) In [5] it is proved that the problem of deciding whether a given network admits a solution is NP hard, also if we restrict each constraint to consist of no more than two ....

....altering the set of the solutions because of the constraints between pairs of vertices in a path linking the initial pair. An example is illustrated in Fig. 1 where the interval [6; 20] can be replaced by [7; 11] without altering the solutions of the network. Informally, the process of [4,6] [3,5] [6,20] 7,11] v1 v2 v3 Fig. 1. Constraint [6; 20] can by replaced by [7; 11] making path consistent a given network consists of restricting its constraints to keep into account the effects of the propagation of the other constraints. This pre processing in the general case is very useful ....

J. Carmo and A. Sernadas. A temporal logic framework for a layered approach to systems specification and verification. In Proceedings of the Conference on Temporal Aspects in Information Systems, pages 31--47, France, May 1987. AFCET.

....temporal database of the information system. The temporal database is a family of database states, whose indices are made implicit. The processes in the system may only change the current state of the temporal database and may refer to all the previous states. This approach is further refined in [Carmo Sernadas, 1987]. According to this, a layered approach is proposed for the specification and verification of information systems. The dynamic requirements of this approach are described by a unifying temporal logic framework which uses linear formalisms in some layers and branching formalisms in other layers. ....

Carmo J., Sernadas A. (1987) A temporal logic framework for a layered approach to system specification and verification in Proceedings of the IFIP 8/WG8.1 Working Conference on Temporal Aspects in Information Systems, Sophia-Antipolis, France, May 1987.

....a database schema would begin with modelling (some of the) object structures. During this process the other features as data types and database behaviour are modelled around the object specifications. Layered approaches to structure conceptual modelling formalisms are proposed among others by [55, 56, 22, 34, 57, 58]. These approaches agree in structuring conceptual models according to the handled semantic domains and specification logics, but differ in the number and the separation of the used several layers. None of them captures completely the full spectrum of the specification formalisms as presented in ....

Carmo, J. ; Sernadas, A. A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification. C. Rolland, F. Bodart, M. Levard (eds.), Proc. IFIP TC 8 WG 8.1 Working Conference on Temporal Aspects of Information Systems. Sophia--Antipolis (France) 1987 (31 -- 46), 1987. REFERENCES 49

No context found.

J.Carmo and A.Sernadas, "A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification", in Temporal Aspects of Information Systems, C.Rolland, F.Bodart and M.Leonard (eds), North-Holland 1988, 31-46

.... reader should also consult [Hai82] For an overview see [Eme90] Closer to the application area of information systems, some effort triggered by [Ser80] has been dedicated to establishing appropriate temporal logic frameworks for the specification and verification of information systems [FS88, CS88, CS91] More recently several attempts have been made towards the development of a suitable temporal logic around the concepts of object orientation, mainly within the scope of the Esprit BRA IS CORE [SFSE89a, SSC95, FSMS92, FM92, FM94] Some interesting results have been obtained concerning ....

J. Carmo and A. Sernadas. A temporal logic framework for a layered approach to systems specification and verification. In C. Rolland, F. Bodart, and M. Leonard, editors, Temporal Aspects in Information Systems, pages 31--46. North-Holland, 1988.

.... reader should also consult [Hai82] For an overview see [Eme90] Closer to the application area of information systems, some effort triggered by [Ser80] has been dedicated to establishing appropriate temporal logic frameworks for the specification and verification of information systems [FS88, CS88, CS91] More recently several attempts have been made towards the development of a suitable temporal logic around the concepts of object orientation, mainly within the scope of the Esprit BRA IS CORE [SFSE89a, SSC92, FSMS92, FM92, FM94] Some interesting results have been obtained concerning ....

J. Carmo and A. Sernadas. A temporal logic framework for a layered approach to systems specification and verification. In C. Rolland, F. Bodart, and M. Leonard, editors, Temporal Aspects in Information Systems, pages 31--46. North-Holland, 1988.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC