FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4242961127> ?p ?o ?g. }

• W4242961127 endingPage "222" @default.
• W4242961127 startingPage "201" @default.
• W4242961127 abstract "The approach aims at solving the above problems by including the analysis and verification of two different levels of software development process–design level and implementation level-and bridging the gap between software architecture analysis and verification and the software product. In the architecture design level, to make sure the design correctness and attack the large scale of complex systems, the compositional verification is used by dividing and verifying each component individually and synthesizing them based on the driving theory. Then for those properties that cannot be verified on the design level, the design model is translated to implementation and runtime verification technique is adapted to the program. This approach can highly reduce the work on the design verification and avoid the state-explosion problem using model checking. Moreover, this approach can ensure both design and implementation correctness, and can further provide a high confident final software product. This approach is based on Software Architecture Model (SAM) that was proposed by Florida International University in 1999. SAM is a formal specification and built on the pair of component-connector with two formalisms – Petri nets and temporal logic. The ACV approach places strong demands on an organization to articulate those quality attributes of primary importance. It also requires a selection of benchmark combination points with which to verify integrated properties. The purpose of the ACV is not to commend particular architectures, but to provide a method for verification and analysis of large scale software systems in architecture level. The future research works fall in two directions. In the compositional verification of SAM model, it is possible that there is circular waiting of certain data among different component and connectors. This problem was not discussed in the current work. The translation of SAM to implementation is based on the restricted Petri nets due to the undecidable issue of high level Petri nets. In the runtime analysis of implementation, extraction of the execution trace of the program is still needed to get a white box view, and further analysis of execution can provide more information of the product correctness." @default.
• W4242961127 created "2022-05-12" @default.
• W4242961127 creator A5009723525 @default.
• W4242961127 creator A5047231419 @default.
• W4242961127 creator A5060484889 @default.
• W4242961127 date "2012-01-26" @default.
• W4242961127 modified "2023-09-27" @default.
• W4242961127 title "Architecture-Centered Integrated Verification" @default.
• W4242961127 cites W1500350767 @default.
• W4242961127 cites W1536878839 @default.
• W4242961127 cites W1554850964 @default.
• W4242961127 cites W1965171366 @default.
• W4242961127 cites W1986671085 @default.
• W4242961127 cites W1996804992 @default.
• W4242961127 cites W2024250355 @default.
• W4242961127 cites W2054943246 @default.
• W4242961127 cites W2074213888 @default.
• W4242961127 cites W2080267935 @default.
• W4242961127 cites W2096973649 @default.
• W4242961127 cites W2115309705 @default.
• W4242961127 cites W2118023438 @default.
• W4242961127 cites W2119810999 @default.
• W4242961127 cites W2124702291 @default.
• W4242961127 cites W2130025446 @default.
• W4242961127 cites W2133254848 @default.
• W4242961127 cites W2162366870 @default.
• W4242961127 cites W4235527454 @default.
• W4242961127 cites W4245624634 @default.
• W4242961127 cites W4247560292 @default.
• W4242961127 doi "https://doi.org/10.4018/978-1-61350-456-7.ch202" @default.
• W4242961127 hasPublicationYear "2012" @default.
• W4242961127 type Work @default.
• W4242961127 citedByCount "0" @default.
• W4242961127 crossrefType "book-chapter" @default.
• W4242961127 hasAuthorship W4242961127A5009723525 @default.
• W4242961127 hasAuthorship W4242961127A5047231419 @default.
• W4242961127 hasAuthorship W4242961127A5060484889 @default.
• W4242961127 hasConcept C110251889 @default.
• W4242961127 hasConcept C111498074 @default.
• W4242961127 hasConcept C115903868 @default.
• W4242961127 hasConcept C149091818 @default.
• W4242961127 hasConcept C186846655 @default.
• W4242961127 hasConcept C199360897 @default.
• W4242961127 hasConcept C2777904410 @default.
• W4242961127 hasConcept C33054407 @default.
• W4242961127 hasConcept C35869016 @default.
• W4242961127 hasConcept C41008148 @default.
• W4242961127 hasConcept C55356503 @default.
• W4242961127 hasConcept C55439883 @default.
• W4242961127 hasConcept C62460635 @default.
• W4242961127 hasConcept C73219336 @default.
• W4242961127 hasConcept C75606506 @default.
• W4242961127 hasConceptScore W4242961127C110251889 @default.
• W4242961127 hasConceptScore W4242961127C111498074 @default.
• W4242961127 hasConceptScore W4242961127C115903868 @default.
• W4242961127 hasConceptScore W4242961127C149091818 @default.
• W4242961127 hasConceptScore W4242961127C186846655 @default.
• W4242961127 hasConceptScore W4242961127C199360897 @default.
• W4242961127 hasConceptScore W4242961127C2777904410 @default.
• W4242961127 hasConceptScore W4242961127C33054407 @default.
• W4242961127 hasConceptScore W4242961127C35869016 @default.
• W4242961127 hasConceptScore W4242961127C41008148 @default.
• W4242961127 hasConceptScore W4242961127C55356503 @default.
• W4242961127 hasConceptScore W4242961127C55439883 @default.
• W4242961127 hasConceptScore W4242961127C62460635 @default.
• W4242961127 hasConceptScore W4242961127C73219336 @default.
• W4242961127 hasConceptScore W4242961127C75606506 @default.
• W4242961127 hasLocation W42429611271 @default.
• W4242961127 hasOpenAccess W4242961127 @default.
• W4242961127 hasPrimaryLocation W42429611271 @default.
• W4242961127 hasRelatedWork W12007438 @default.
• W4242961127 hasRelatedWork W14365260 @default.
• W4242961127 hasRelatedWork W15905725 @default.
• W4242961127 hasRelatedWork W16795818 @default.
• W4242961127 hasRelatedWork W1864419 @default.
• W4242961127 hasRelatedWork W2966141 @default.
• W4242961127 hasRelatedWork W3149520 @default.
• W4242961127 hasRelatedWork W3453007 @default.
• W4242961127 hasRelatedWork W5172584 @default.
• W4242961127 hasRelatedWork W6774590 @default.
• W4242961127 isParatext "false" @default.
• W4242961127 isRetracted "false" @default.
• W4242961127 workType "book-chapter" @default.