Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019950445> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2019950445 endingPage "360" @default.
- W2019950445 startingPage "347" @default.
- W2019950445 abstract "The concept of software architecture has recently emerged as a new way to improve our ability to effectively construct large scale software systems. However, there is no formal architecture specification language available to model and analyze temporal properties of complex real-time systems. In this paper, an object-oriented logic-based architecture specification language for real-time systems is discussed. Representation of the temporal properties and timing constraints, and their integration with the language to model real-time concurrent systems is given. Architecture based specification languages enable the construction of large system architectures and provide a means of testing and validation. In general, checking the timing constraints of real-time systems is done by applying model checking to the constraint expressed as a formula in temporal logic. The complexity of such a formal method depends on the size of the representation of the system. It is possible that this size could increase exponentially when the system consists of several concurrently executing real-time processes. This means that the complexity of the algorithm will be exponential in the number of processes of the system and thus the size of the system becomes a limiting factor. Such a problem has been defined in the literature as state explosion problem. We propose a method of incremental verification of architectural specifications for real-time systems. The method has a lower complexity in a sense that it does not work on the whole state space, but only on a subset of it that is relevant to the property to be verified." @default.
- W2019950445 created "2016-06-24" @default.
- W2019950445 creator A5001037153 @default.
- W2019950445 creator A5018669587 @default.
- W2019950445 creator A5035821371 @default.
- W2019950445 creator A5079873020 @default.
- W2019950445 date "1998-09-01" @default.
- W2019950445 modified "2023-09-27" @default.
- W2019950445 title "Incremental Verification of Architecture Specification Language for Real-Time Systems" @default.
- W2019950445 doi "https://doi.org/10.1142/s0218194098000194" @default.
- W2019950445 hasPublicationYear "1998" @default.
- W2019950445 type Work @default.
- W2019950445 sameAs 2019950445 @default.
- W2019950445 citedByCount "3" @default.
- W2019950445 crossrefType "journal-article" @default.
- W2019950445 hasAuthorship W2019950445A5001037153 @default.
- W2019950445 hasAuthorship W2019950445A5018669587 @default.
- W2019950445 hasAuthorship W2019950445A5035821371 @default.
- W2019950445 hasAuthorship W2019950445A5079873020 @default.
- W2019950445 hasConcept C110251889 @default.
- W2019950445 hasConcept C116253237 @default.
- W2019950445 hasConcept C199360897 @default.
- W2019950445 hasConcept C201677973 @default.
- W2019950445 hasConcept C25016198 @default.
- W2019950445 hasConcept C2777904410 @default.
- W2019950445 hasConcept C35869016 @default.
- W2019950445 hasConcept C41008148 @default.
- W2019950445 hasConcept C55356503 @default.
- W2019950445 hasConcept C80444323 @default.
- W2019950445 hasConceptScore W2019950445C110251889 @default.
- W2019950445 hasConceptScore W2019950445C116253237 @default.
- W2019950445 hasConceptScore W2019950445C199360897 @default.
- W2019950445 hasConceptScore W2019950445C201677973 @default.
- W2019950445 hasConceptScore W2019950445C25016198 @default.
- W2019950445 hasConceptScore W2019950445C2777904410 @default.
- W2019950445 hasConceptScore W2019950445C35869016 @default.
- W2019950445 hasConceptScore W2019950445C41008148 @default.
- W2019950445 hasConceptScore W2019950445C55356503 @default.
- W2019950445 hasConceptScore W2019950445C80444323 @default.
- W2019950445 hasIssue "03" @default.
- W2019950445 hasLocation W20199504451 @default.
- W2019950445 hasOpenAccess W2019950445 @default.
- W2019950445 hasPrimaryLocation W20199504451 @default.
- W2019950445 hasRelatedWork W1519624782 @default.
- W2019950445 hasRelatedWork W1569814689 @default.
- W2019950445 hasRelatedWork W1601757209 @default.
- W2019950445 hasRelatedWork W2019950445 @default.
- W2019950445 hasRelatedWork W2043588306 @default.
- W2019950445 hasRelatedWork W2099374974 @default.
- W2019950445 hasRelatedWork W2125047630 @default.
- W2019950445 hasRelatedWork W2774415564 @default.
- W2019950445 hasRelatedWork W3168724739 @default.
- W2019950445 hasRelatedWork W4362635300 @default.
- W2019950445 hasVolume "08" @default.
- W2019950445 isParatext "false" @default.
- W2019950445 isRetracted "false" @default.
- W2019950445 magId "2019950445" @default.
- W2019950445 workType "article" @default.