Matches in SemOpenAlex for { <https://semopenalex.org/work/W1993004920> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1993004920 abstract "the correctness and reliability of requirement specifications are vital to cost and success of developing a software system, especially for networked software within complex and dynamic change environment. In this work, the solution to verification of O-RGPS, which gives a meta-model for requirement modelling of large-scale networked software, is proposed. Firstly, adopting hybrid reasoning way, consistency of domain knowledge is checked and then inference is made to acquire potential information. Moreover, web services aggregation in S-layer is described with BPEL4WS, which is converted to promela presentation, and then reliability problems such as deadlock, reachability and so on are verified with model checker tool SPIN. As a result, it makes sure that the final requirement specifications of O-RGPS framework are faithful." @default.
- W1993004920 created "2016-06-24" @default.
- W1993004920 creator A5030041377 @default.
- W1993004920 creator A5058023532 @default.
- W1993004920 date "2010-08-01" @default.
- W1993004920 modified "2023-09-23" @default.
- W1993004920 title "Ontology reasoning and services composition verification towards O-RGPS requirement meta-model" @default.
- W1993004920 cites W1562643504 @default.
- W1993004920 cites W1996538785 @default.
- W1993004920 cites W2043279440 @default.
- W1993004920 cites W2047475087 @default.
- W1993004920 cites W2114152285 @default.
- W1993004920 cites W2131482561 @default.
- W1993004920 doi "https://doi.org/10.1109/icacte.2010.5579628" @default.
- W1993004920 hasPublicationYear "2010" @default.
- W1993004920 type Work @default.
- W1993004920 sameAs 1993004920 @default.
- W1993004920 citedByCount "0" @default.
- W1993004920 crossrefType "proceedings-article" @default.
- W1993004920 hasAuthorship W1993004920A5030041377 @default.
- W1993004920 hasAuthorship W1993004920A5058023532 @default.
- W1993004920 hasConcept C110251889 @default.
- W1993004920 hasConcept C111472728 @default.
- W1993004920 hasConcept C115903868 @default.
- W1993004920 hasConcept C134306372 @default.
- W1993004920 hasConcept C136643341 @default.
- W1993004920 hasConcept C138885662 @default.
- W1993004920 hasConcept C154945302 @default.
- W1993004920 hasConcept C199360897 @default.
- W1993004920 hasConcept C25810664 @default.
- W1993004920 hasConcept C2776329536 @default.
- W1993004920 hasConcept C2776436953 @default.
- W1993004920 hasConcept C33923547 @default.
- W1993004920 hasConcept C36503486 @default.
- W1993004920 hasConcept C41008148 @default.
- W1993004920 hasConcept C55439883 @default.
- W1993004920 hasConcept C80444323 @default.
- W1993004920 hasConceptScore W1993004920C110251889 @default.
- W1993004920 hasConceptScore W1993004920C111472728 @default.
- W1993004920 hasConceptScore W1993004920C115903868 @default.
- W1993004920 hasConceptScore W1993004920C134306372 @default.
- W1993004920 hasConceptScore W1993004920C136643341 @default.
- W1993004920 hasConceptScore W1993004920C138885662 @default.
- W1993004920 hasConceptScore W1993004920C154945302 @default.
- W1993004920 hasConceptScore W1993004920C199360897 @default.
- W1993004920 hasConceptScore W1993004920C25810664 @default.
- W1993004920 hasConceptScore W1993004920C2776329536 @default.
- W1993004920 hasConceptScore W1993004920C2776436953 @default.
- W1993004920 hasConceptScore W1993004920C33923547 @default.
- W1993004920 hasConceptScore W1993004920C36503486 @default.
- W1993004920 hasConceptScore W1993004920C41008148 @default.
- W1993004920 hasConceptScore W1993004920C55439883 @default.
- W1993004920 hasConceptScore W1993004920C80444323 @default.
- W1993004920 hasLocation W19930049201 @default.
- W1993004920 hasOpenAccess W1993004920 @default.
- W1993004920 hasPrimaryLocation W19930049201 @default.
- W1993004920 hasRelatedWork W139101146 @default.
- W1993004920 hasRelatedWork W160103174 @default.
- W1993004920 hasRelatedWork W1729749005 @default.
- W1993004920 hasRelatedWork W1873956753 @default.
- W1993004920 hasRelatedWork W1983543556 @default.
- W1993004920 hasRelatedWork W1993638496 @default.
- W1993004920 hasRelatedWork W2186361351 @default.
- W1993004920 hasRelatedWork W2407375067 @default.
- W1993004920 hasRelatedWork W2521280855 @default.
- W1993004920 hasRelatedWork W2594389189 @default.
- W1993004920 hasRelatedWork W2785797961 @default.
- W1993004920 hasRelatedWork W2808493014 @default.
- W1993004920 hasRelatedWork W2808849587 @default.
- W1993004920 hasRelatedWork W2892818578 @default.
- W1993004920 hasRelatedWork W3045122454 @default.
- W1993004920 hasRelatedWork W3045559840 @default.
- W1993004920 hasRelatedWork W3084496356 @default.
- W1993004920 hasRelatedWork W3098920235 @default.
- W1993004920 hasRelatedWork W3108144276 @default.
- W1993004920 hasRelatedWork W2294434451 @default.
- W1993004920 isParatext "false" @default.
- W1993004920 isRetracted "false" @default.
- W1993004920 magId "1993004920" @default.
- W1993004920 workType "article" @default.