Matches in SemOpenAlex for { <https://semopenalex.org/work/W2058579564> ?p ?o ?g. }
- W2058579564 endingPage "294" @default.
- W2058579564 startingPage "267" @default.
- W2058579564 abstract "A brief overview is made of the use of temporal logic formalisms for specifying and verifying concurrent systems in general and information systems in particular. The requirements imposed by object-orientation on such formalisms are examined. A logic is proposed fulfilling those requirements (except concerning non-monotonic features), allowing the uniform treatment of both local and global properties of systems with concurrent, interacting components organized in classes, and supporting specialization. A semantics and a calculus (following an axiomatic, Hilbert style) are presented in detail. The calculus includes rules for the sound inheritance and reflection of theorems between classes. Practical aspects of the usage of such a logic for both specification and verification are considered. To this end a set of metatheorems is provided for expediting the proof of invariants. Finally, the need and availability of automatic theorem proving for systems querying is briefly discussed." @default.
- W2058579564 created "2016-06-24" @default.
- W2058579564 creator A5008068694 @default.
- W2058579564 creator A5020274709 @default.
- W2058579564 creator A5072300699 @default.
- W2058579564 date "1996-06-01" @default.
- W2058579564 modified "2023-09-25" @default.
- W2058579564 title "A temporal logic approach to object certification" @default.
- W2058579564 cites W123933375 @default.
- W2058579564 cites W1499174375 @default.
- W2058579564 cites W1506588809 @default.
- W2058579564 cites W1509710907 @default.
- W2058579564 cites W1513651165 @default.
- W2058579564 cites W1531723926 @default.
- W2058579564 cites W1539389255 @default.
- W2058579564 cites W1577824716 @default.
- W2058579564 cites W1582960532 @default.
- W2058579564 cites W1587995303 @default.
- W2058579564 cites W1603788080 @default.
- W2058579564 cites W1604635398 @default.
- W2058579564 cites W1969368990 @default.
- W2058579564 cites W1974817955 @default.
- W2058579564 cites W1983475008 @default.
- W2058579564 cites W2003773532 @default.
- W2058579564 cites W2005819264 @default.
- W2058579564 cites W2010883554 @default.
- W2058579564 cites W2023808162 @default.
- W2058579564 cites W202748147 @default.
- W2058579564 cites W2034494860 @default.
- W2058579564 cites W2035845010 @default.
- W2058579564 cites W2045641460 @default.
- W2058579564 cites W2045927055 @default.
- W2058579564 cites W2061841985 @default.
- W2058579564 cites W2065353132 @default.
- W2058579564 cites W2065817972 @default.
- W2058579564 cites W2088027070 @default.
- W2058579564 cites W2101604841 @default.
- W2058579564 cites W2152882089 @default.
- W2058579564 cites W215656572 @default.
- W2058579564 cites W2164778826 @default.
- W2058579564 cites W2165373889 @default.
- W2058579564 cites W2260769207 @default.
- W2058579564 cites W2286801322 @default.
- W2058579564 cites W2396555304 @default.
- W2058579564 cites W2485756336 @default.
- W2058579564 cites W2613184277 @default.
- W2058579564 cites W2912818154 @default.
- W2058579564 cites W2914821813 @default.
- W2058579564 cites W1606351783 @default.
- W2058579564 doi "https://doi.org/10.1016/0169-023x(96)00004-3" @default.
- W2058579564 hasPublicationYear "1996" @default.
- W2058579564 type Work @default.
- W2058579564 sameAs 2058579564 @default.
- W2058579564 citedByCount "9" @default.
- W2058579564 crossrefType "journal-article" @default.
- W2058579564 hasAuthorship W2058579564A5008068694 @default.
- W2058579564 hasAuthorship W2058579564A5020274709 @default.
- W2058579564 hasAuthorship W2058579564A5072300699 @default.
- W2058579564 hasConcept C167729594 @default.
- W2058579564 hasConcept C171018156 @default.
- W2058579564 hasConcept C184337299 @default.
- W2058579564 hasConcept C199343813 @default.
- W2058579564 hasConcept C199360897 @default.
- W2058579564 hasConcept C25016198 @default.
- W2058579564 hasConcept C2524010 @default.
- W2058579564 hasConcept C2777686260 @default.
- W2058579564 hasConcept C33923547 @default.
- W2058579564 hasConcept C41008148 @default.
- W2058579564 hasConcept C65682993 @default.
- W2058579564 hasConcept C71924100 @default.
- W2058579564 hasConcept C80444323 @default.
- W2058579564 hasConceptScore W2058579564C167729594 @default.
- W2058579564 hasConceptScore W2058579564C171018156 @default.
- W2058579564 hasConceptScore W2058579564C184337299 @default.
- W2058579564 hasConceptScore W2058579564C199343813 @default.
- W2058579564 hasConceptScore W2058579564C199360897 @default.
- W2058579564 hasConceptScore W2058579564C25016198 @default.
- W2058579564 hasConceptScore W2058579564C2524010 @default.
- W2058579564 hasConceptScore W2058579564C2777686260 @default.
- W2058579564 hasConceptScore W2058579564C33923547 @default.
- W2058579564 hasConceptScore W2058579564C41008148 @default.
- W2058579564 hasConceptScore W2058579564C65682993 @default.
- W2058579564 hasConceptScore W2058579564C71924100 @default.
- W2058579564 hasConceptScore W2058579564C80444323 @default.
- W2058579564 hasIssue "3" @default.
- W2058579564 hasLocation W20585795641 @default.
- W2058579564 hasOpenAccess W2058579564 @default.
- W2058579564 hasPrimaryLocation W20585795641 @default.
- W2058579564 hasRelatedWork W1483213041 @default.
- W2058579564 hasRelatedWork W1587224678 @default.
- W2058579564 hasRelatedWork W1778728081 @default.
- W2058579564 hasRelatedWork W2047793074 @default.
- W2058579564 hasRelatedWork W2099269319 @default.
- W2058579564 hasRelatedWork W2165371142 @default.
- W2058579564 hasRelatedWork W2473110861 @default.
- W2058579564 hasRelatedWork W27605384 @default.
- W2058579564 hasRelatedWork W29068956 @default.
- W2058579564 hasRelatedWork W1894736207 @default.