{"id":"https://openalex.org/W2811152607","doi":"https://doi.org/10.1145/3167132.3167311","title":"Formal modeling systems-of-systems missions with mKAOS","display_name":"Formal modeling systems-of-systems missions with mKAOS","publication_year":2018,"publication_date":"2018-04-09","ids":{"openalex":"https://openalex.org/W2811152607","doi":"https://doi.org/10.1145/3167132.3167311","mag":"2811152607"},"language":"en","primary_location":{"id":"doi:10.1145/3167132.3167311","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3167132.3167311","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100393204","display_name":"Eduardo Silva","orcid":"https://orcid.org/0000-0001-7166-3459"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eduardo Silva","raw_affiliation_strings":["University of South Britanny, Vannes, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of South Britanny, Vannes, France","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026726377","display_name":"Tha\u0131\u0301s Batista","orcid":"https://orcid.org/0000-0003-3558-1450"},"institutions":[{"id":"https://openalex.org/I35046152","display_name":"Universidade Federal do Rio Grande do Norte","ror":"https://ror.org/04wn09761","country_code":"BR","type":"education","lineage":["https://openalex.org/I35046152"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Thais Batista","raw_affiliation_strings":["Federal University of Rio Grande do Norte, Natal, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Federal University of Rio Grande do Norte, Natal, Brazil","institution_ids":["https://openalex.org/I35046152"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4527,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.66018565,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1674","last_page":"1679"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7391930222511292},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6612383127212524},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5810242891311646},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.5736506581306458},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5485253930091858},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.5353363752365112},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5315019488334656},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5180971026420593},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4894038736820221},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4154508709907532},{"id":"https://openalex.org/keywords/process-management","display_name":"Process management","score":0.33924806118011475},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25235024094581604},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.186649352312088},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.08899852633476257}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7391930222511292},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6612383127212524},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5810242891311646},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.5736506581306458},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5485253930091858},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.5353363752365112},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5315019488334656},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5180971026420593},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4894038736820221},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4154508709907532},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.33924806118011475},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25235024094581604},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.186649352312088},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.08899852633476257},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3167132.3167311","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3167132.3167311","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321091","display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","ror":"https://ror.org/00x0ma614"},{"id":"https://openalex.org/F4320325185","display_name":"Universidade Federal do Rio Grande do Norte","ror":"https://ror.org/04wn09761"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1506588809","https://openalex.org/W1581143468","https://openalex.org/W1998198053","https://openalex.org/W2017739343","https://openalex.org/W2023111752","https://openalex.org/W2047309663","https://openalex.org/W2058107586","https://openalex.org/W2074635937","https://openalex.org/W2091087544","https://openalex.org/W2129289644","https://openalex.org/W2151451947","https://openalex.org/W2300297719","https://openalex.org/W2510690504","https://openalex.org/W2528003070","https://openalex.org/W2528408885","https://openalex.org/W2547889920","https://openalex.org/W2577267154","https://openalex.org/W2727237258","https://openalex.org/W2979249584"],"related_works":["https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418","https://openalex.org/W2152752131","https://openalex.org/W1922520186","https://openalex.org/W1946493810","https://openalex.org/W2145025660","https://openalex.org/W1994222400","https://openalex.org/W2391979747","https://openalex.org/W2981877881"],"abstract_inverted_index":{"Modeling":[0],"missions":[1],"in":[2,8,126],"systems-of-systems":[3],"is":[4],"a":[5,24,44,76,119],"key":[6],"activity":[7],"the":[9,19,52,56,83,88,92,97,100,104,115,131,142,145,149,153],"development":[10,35,93,132,154],"process":[11],"of":[12,23,33,55,91,99,117,133,152],"such":[13,95],"systems.":[14],"Since":[15],"mission":[16,48,101,137,146],"models":[17,138,147],"define":[18],"objectives":[20],"and":[21,67,103,113,139,148],"participants":[22],"system-of-systems,":[25],"they":[26],"severally":[27],"impacts":[28],"on":[29,51,110],"every":[30],"subsequent":[31,150],"artifacts":[32,151],"any":[34],"process.":[36,155],"In":[37],"this":[38,111],"context,":[39],"mKAOS":[40,79],"was":[41],"proposed":[42],"as":[43,75,96],"semi-formal":[45,77],"language":[46,121],"for":[47,61,122,136,140],"description,":[49],"based":[50],"specific":[53],"needs":[54],"domain.":[57],"It":[58],"provides":[59],"mechanisms":[60],"describing":[62],"missions,":[63],"constituent":[64],"systems,":[65,125],"capabilities":[66],"emergent":[68],"behaviors,":[69],"besides":[70],"some":[71],"auxiliary":[72],"elements.":[73],"However,":[74],"language,":[78],"has":[80],"several":[81],"limitations,":[82],"inner":[84],"subjectivity":[85],"might":[86],"hampers":[87],"early":[89],"activities":[90],"process,":[94],"verification":[98,134],"model":[102],"architectural":[105],"modeling.":[106],"This":[107],"work":[108],"concerns":[109],"limitation":[112],"proposes":[114],"introduction":[116],"Dyn-BLTL,":[118],"formal":[120],"designing":[123],"dynamic":[124],"mKAOS.":[127],"Such":[128],"formalization":[129],"allows":[130],"tools":[135],"verifying":[141],"correspondences":[143],"between":[144]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}