{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,11]],"date-time":"2025-03-11T04:28:53Z","timestamp":1741667333041,"version":"3.38.0"},"reference-count":0,"publisher":"SAGE Publications","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JID"],"published-print":{"date-parts":[[2022,5,30]]},"abstract":"<jats:p>Existing formal languages for the specification of self-adaptive cyber-physical systems focus on re-configuring the system-to-be depending on its current context, to satisfy the user\u2019s requirements, that is by dynamically composing the software\u2019s structure and behavior. While these approaches specify context-sensitive requirements, they rarely consider their run-time dynamic and scalable nature. The State-Constraint Transition (SCT) modeling language, introduced in this paper, provides an answer to the problems linked to the specification of dynamic requirements by introducing the concept of configuration states, in which requirements are translated into constraints. The expressiveness of existing approaches is thus extended, combining the ease of use of well-established notations, notably those based on characteristics, and those based on Finite-state Machines (FSM), with the computational power and expressiveness of the constraint programming approach. The paper briefly presents the results of the preliminary evaluation, which assesses the expressiveness, scalability, and domain independence of the SCT language.<\/jats:p>","DOI":"10.3233\/jid210027","type":"journal-article","created":{"date-parts":[[2022,5,31]],"date-time":"2022-05-31T16:17:31Z","timestamp":1654013851000},"page":"80-99","source":"Crossref","is-referenced-by-count":0,"title":["State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements"],"prefix":"10.1177","volume":"25","author":[{"given":"Camille","family":"Salinesi","sequence":"first","affiliation":[{"name":"CRI, Universit\u00e9 Panth\u00e9on Sorbonne, Paris, France"}]},{"given":"Asmaa","family":"Achtaich","sequence":"additional","affiliation":[{"name":"CRI, Universit\u00e9 Panth\u00e9on Sorbonne, Paris, France"},{"name":"Siweb, Univ. Mohammed V, Rabat, Moroccco"}]},{"given":"Nissrine","family":"Souissi","sequence":"additional","affiliation":[{"name":"Siweb, Univ. Mohammed V, Rabat, Moroccco"},{"name":"ENSMR & Siweb, Univ. Mohammed V, Rabat, Morocco"}]},{"given":"Ra\u00fal","family":"Mazo","sequence":"additional","affiliation":[{"name":"Lab-STICC, ENSTA Bretagne, Brest, France"},{"name":"GiDITIC, Universidad EAFIT, Medell\u00edn, Colombia"}]},{"given":"Ounsa","family":"Roudies","sequence":"additional","affiliation":[{"name":"Siweb, Univ. Mohammed V, Rabat, Moroccco"}]},{"given":"Angela","family":"Villota","sequence":"additional","affiliation":[{"name":"i2t, Universidad Icesi, Cali, Colombia"},{"name":"CRI, Universit\u00e9 Panth\u00e9on Sorbonne, Paris, France"}]}],"member":"179","container-title":["Journal of Integrated Design and Process Science"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/JID210027","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,10]],"date-time":"2025-03-10T18:29:51Z","timestamp":1741631391000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/JID210027"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,30]]},"references-count":0,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.3233\/jid210027","relation":{},"ISSN":["1092-0617","1875-8959"],"issn-type":[{"type":"print","value":"1092-0617"},{"type":"electronic","value":"1875-8959"}],"subject":[],"published":{"date-parts":[[2022,5,30]]}}}