Matches in SemOpenAlex for { <https://semopenalex.org/work/W2898849581> ?p ?o ?g. }
- W2898849581 endingPage "2212" @default.
- W2898849581 startingPage "2201" @default.
- W2898849581 abstract "Software-intensive Systems-of-Systems (SoS) refer to an arrangement of managerially and operationally independent systems(i.e., constituent systems), which work collaboratively towards the achievement of global missions. Because some SoS are developed for critical domains, such as healthcare and transportation, there is an increasing need to attain higher quality levels, which often justifies additional costs that can be incurred by adopting formal and semi-formal approaches (i.e., languages and techniques) for modeling requirements. Various approaches have been employed, but a detailed landscape is still missing, and it is not well known whether they are appropriate for addressing the inherent characteristics of SoS. The main contribution of this article is to present this landscape by reporting on the state of the art in SoS requirements modeling. This landscape was built by means of a systematic mapping and shows formal and semi-formal approaches grouped from model-based to property-oriented ones. Most of them have been tested in safety-critical domains, where formal approaches such as finite state machines are aimed at critical system parts, while semi-formal approaches (e.g., UML and i*) address non-critical parts. Although formal and semi-formal modeling is an essential activity, the quality of SoS requirements does not rely solely on which formalism is used, but also on the availability of supporting tools/mechanisms that enable, for instance, requirements verification along the SoS lifecycle" @default.
- W2898849581 created "2018-11-09" @default.
- W2898849581 creator A5014210058 @default.
- W2898849581 creator A5015819585 @default.
- W2898849581 creator A5017288012 @default.
- W2898849581 creator A5051850325 @default.
- W2898849581 creator A5069346099 @default.
- W2898849581 date "2019-09-01" @default.
- W2898849581 modified "2023-10-14" @default.
- W2898849581 title "A Systematic Identification of Formal and Semi-Formal Languages and Techniques for Software-Intensive Systems-of-Systems Requirements Modeling" @default.
- W2898849581 cites W1519490754 @default.
- W2898849581 cites W1533614215 @default.
- W2898849581 cites W1547000937 @default.
- W2898849581 cites W1583095677 @default.
- W2898849581 cites W1946113507 @default.
- W2898849581 cites W1964992116 @default.
- W2898849581 cites W1965186013 @default.
- W2898849581 cites W1966045096 @default.
- W2898849581 cites W1969195915 @default.
- W2898849581 cites W1976362171 @default.
- W2898849581 cites W1979416812 @default.
- W2898849581 cites W1979606755 @default.
- W2898849581 cites W1993297015 @default.
- W2898849581 cites W1999798506 @default.
- W2898849581 cites W2001570142 @default.
- W2898849581 cites W2002270641 @default.
- W2898849581 cites W2008831000 @default.
- W2898849581 cites W2009117193 @default.
- W2898849581 cites W2030522107 @default.
- W2898849581 cites W2034095786 @default.
- W2898849581 cites W2038486217 @default.
- W2898849581 cites W2045233643 @default.
- W2898849581 cites W2049809234 @default.
- W2898849581 cites W2058107586 @default.
- W2898849581 cites W2059262214 @default.
- W2898849581 cites W2089159674 @default.
- W2898849581 cites W2089520845 @default.
- W2898849581 cites W2092021616 @default.
- W2898849581 cites W2099003661 @default.
- W2898849581 cites W2103602915 @default.
- W2898849581 cites W2106971706 @default.
- W2898849581 cites W2115774534 @default.
- W2898849581 cites W2125853559 @default.
- W2898849581 cites W2130560480 @default.
- W2898849581 cites W2148395138 @default.
- W2898849581 cites W2148858639 @default.
- W2898849581 cites W2150505716 @default.
- W2898849581 cites W2152705278 @default.
- W2898849581 cites W2159715729 @default.
- W2898849581 cites W2168915271 @default.
- W2898849581 cites W2232969073 @default.
- W2898849581 cites W2312725828 @default.
- W2898849581 cites W2408234497 @default.
- W2898849581 cites W2511493116 @default.
- W2898849581 cites W2517019929 @default.
- W2898849581 cites W2596698807 @default.
- W2898849581 cites W3098985149 @default.
- W2898849581 cites W4255588109 @default.
- W2898849581 cites W4291213652 @default.
- W2898849581 cites W4376595908 @default.
- W2898849581 doi "https://doi.org/10.1109/jsyst.2018.2874061" @default.
- W2898849581 hasPublicationYear "2019" @default.
- W2898849581 type Work @default.
- W2898849581 sameAs 2898849581 @default.
- W2898849581 citedByCount "10" @default.
- W2898849581 countsByYear W28988495812021 @default.
- W2898849581 countsByYear W28988495812022 @default.
- W2898849581 countsByYear W28988495812023 @default.
- W2898849581 crossrefType "journal-article" @default.
- W2898849581 hasAuthorship W2898849581A5014210058 @default.
- W2898849581 hasAuthorship W2898849581A5015819585 @default.
- W2898849581 hasAuthorship W2898849581A5017288012 @default.
- W2898849581 hasAuthorship W2898849581A5051850325 @default.
- W2898849581 hasAuthorship W2898849581A5069346099 @default.
- W2898849581 hasBestOaLocation W28988495812 @default.
- W2898849581 hasConcept C111498074 @default.
- W2898849581 hasConcept C115903868 @default.
- W2898849581 hasConcept C116253237 @default.
- W2898849581 hasConcept C127413603 @default.
- W2898849581 hasConcept C142362112 @default.
- W2898849581 hasConcept C145644426 @default.
- W2898849581 hasConcept C146072743 @default.
- W2898849581 hasConcept C153349607 @default.
- W2898849581 hasConcept C199360897 @default.
- W2898849581 hasConcept C201995342 @default.
- W2898849581 hasConcept C2777904410 @default.
- W2898849581 hasConcept C41008148 @default.
- W2898849581 hasConcept C558565934 @default.
- W2898849581 hasConcept C73301696 @default.
- W2898849581 hasConcept C75606506 @default.
- W2898849581 hasConceptScore W2898849581C111498074 @default.
- W2898849581 hasConceptScore W2898849581C115903868 @default.
- W2898849581 hasConceptScore W2898849581C116253237 @default.
- W2898849581 hasConceptScore W2898849581C127413603 @default.
- W2898849581 hasConceptScore W2898849581C142362112 @default.
- W2898849581 hasConceptScore W2898849581C145644426 @default.
- W2898849581 hasConceptScore W2898849581C146072743 @default.
- W2898849581 hasConceptScore W2898849581C153349607 @default.