{"id":"https://openalex.org/W1959881238","doi":"https://doi.org/10.1109/syseng.2015.7302777","title":"Modeling of system properties: Research challenges and promising solutions","display_name":"Modeling of system properties: Research challenges and promising solutions","publication_year":2015,"publication_date":"2015-09-01","ids":{"openalex":"https://openalex.org/W1959881238","doi":"https://doi.org/10.1109/syseng.2015.7302777","mag":"1959881238"},"language":"en","primary_location":{"id":"doi:10.1109/syseng.2015.7302777","is_oa":false,"landing_page_url":"https://doi.org/10.1109/syseng.2015.7302777","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE International Symposium on Systems Engineering (ISSE)","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/A5067175860","display_name":"Alfredo Garro","orcid":"https://orcid.org/0000-0003-0351-0869"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alfredo Garro","raw_affiliation_strings":["Department of Informatics, Modeling, Electronics and Systems Engineering (DIMES), University of Calabria, Rende, CS, Italy","Department of Informatics, Modeling, Electronics and Systems Engineering (DIMES), University of Calabria, Rende (CS), Italy, Via P. Bucci Cubo 41C, 87036"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics, Modeling, Electronics and Systems Engineering (DIMES), University of Calabria, Rende, CS, Italy","institution_ids":["https://openalex.org/I45204951"]},{"raw_affiliation_string":"Department of Informatics, Modeling, Electronics and Systems Engineering (DIMES), University of Calabria, Rende (CS), Italy, Via P. Bucci Cubo 41C, 87036","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012797617","display_name":"Andrea Tundis","orcid":"https://orcid.org/0000-0002-7729-2780"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Tundis","raw_affiliation_strings":["Department of Informatics, Modeling, Electronics and Systems Engineering (DIMES), University of Calabria, Rende, CS, Italy","Department of Informatics, Modeling, Electronics and Systems Engineering (DIMES), University of Calabria, Rende (CS), Italy, Via P. Bucci Cubo 41C, 87036"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics, Modeling, Electronics and Systems Engineering (DIMES), University of Calabria, Rende, CS, Italy","institution_ids":["https://openalex.org/I45204951"]},{"raw_affiliation_string":"Department of Informatics, Modeling, Electronics and Systems Engineering (DIMES), University of Calabria, Rende (CS), Italy, Via P. Bucci Cubo 41C, 87036","institution_ids":["https://openalex.org/I45204951"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I45204951"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"324","last_page":"331"},"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9973999857902527,"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.7143346667289734},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.6221374273300171},{"id":"https://openalex.org/keywords/tracing","display_name":"Tracing","score":0.5660313963890076},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5329431295394897},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.49197694659233093},{"id":"https://openalex.org/keywords/systems-modeling","display_name":"Systems modeling","score":0.49124711751937866},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.40254324674606323},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1685633659362793},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13280096650123596}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7143346667289734},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.6221374273300171},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.5660313963890076},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5329431295394897},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.49197694659233093},{"id":"https://openalex.org/C110963975","wikidata":"https://www.wikidata.org/wiki/Q12070446","display_name":"Systems modeling","level":2,"score":0.49124711751937866},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.40254324674606323},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1685633659362793},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13280096650123596},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/syseng.2015.7302777","is_oa":false,"landing_page_url":"https://doi.org/10.1109/syseng.2015.7302777","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE International Symposium on Systems Engineering (ISSE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.46000000834465027,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W23897865","https://openalex.org/W320166343","https://openalex.org/W1517125074","https://openalex.org/W1555745065","https://openalex.org/W1979671873","https://openalex.org/W1985147491","https://openalex.org/W2022375158","https://openalex.org/W2022972313","https://openalex.org/W2029958405","https://openalex.org/W2030686704","https://openalex.org/W2044781970","https://openalex.org/W2050405159","https://openalex.org/W2129899354","https://openalex.org/W2163524795","https://openalex.org/W2292820636","https://openalex.org/W2294222071","https://openalex.org/W2336488275","https://openalex.org/W2402588215","https://openalex.org/W2760801172","https://openalex.org/W2911273612","https://openalex.org/W2921285647","https://openalex.org/W4242346029","https://openalex.org/W6697252623","https://openalex.org/W6712930911","https://openalex.org/W6744829707","https://openalex.org/W6760378803"],"related_works":["https://openalex.org/W2888673113","https://openalex.org/W2056065966","https://openalex.org/W2062641654","https://openalex.org/W2352602608","https://openalex.org/W3023262859","https://openalex.org/W2077744500","https://openalex.org/W4253008064","https://openalex.org/W2626677217","https://openalex.org/W3111791102","https://openalex.org/W2971651074"],"abstract_inverted_index":{"Modeling":[0],"of":[1,19,28],"system":[2,29,43,49],"properties":[3,30,66],"deals":[4],"with":[5],"formally":[6],"expressing":[7],"constraints":[8],"and":[9,13,17,45,70,80],"requirements":[10],"that":[11],"influence":[12],"determine":[14],"the":[15,26],"structure":[16],"behavior":[18],"a":[20],"system.":[21],"System":[22],"Property":[23],"Models":[24],"enable":[25],"verification":[27],"through":[31],"real":[32],"or":[33],"simulated":[34],"experiments":[35],"so":[36],"as":[37],"to":[38,58,68],"support":[39],"their":[40,46],"evaluation":[41],"during":[42,48],"design":[44],"monitoring":[47],"operation.":[50],"However,":[51],"several":[52],"research":[53,94],"challenges":[54,79],"should":[55],"be":[56],"addressed":[57],"effectively":[59],"handle":[60],"systems":[61],"properties,":[62],"ranging":[63],"from":[64,90],"conceptual":[65],"representation":[67],"tracing":[69],"verification.":[71],"The":[72],"paper":[73],"aims":[74],"at":[75],"discussing":[76],"these":[77],"main":[78],"presenting":[81],"some":[82],"promising":[83],"solutions":[84],"by":[85],"focusing":[86],"on":[87],"those":[88],"resulting":[89],"recent":[91],"Systems":[92],"Engineering":[93],"efforts.":[95]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}