{"id":"https://openalex.org/W94409711","doi":"https://doi.org/10.1142/s0218194012400104","title":"DETECTING EMERGENT BEHAVIOR IN DISTRIBUTED SYSTEMS USING SCENARIO-BASED SPECIFICATIONS","display_name":"DETECTING EMERGENT BEHAVIOR IN DISTRIBUTED SYSTEMS USING SCENARIO-BASED SPECIFICATIONS","publication_year":2012,"publication_date":"2012-09-01","ids":{"openalex":"https://openalex.org/W94409711","doi":"https://doi.org/10.1142/s0218194012400104","mag":"94409711"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194012400104","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194012400104","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"},"type":"article","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/A5076503652","display_name":"Mohammad Moshirpour","orcid":"https://orcid.org/0009-0009-9763-0124"},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"MOHAMMAD MOSHIRPOUR","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Calgary, 2500 University Drive N.W, Calgary, Alberta T2N 1N4, Canada","University of Calgary, Calgary, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Calgary, 2500 University Drive N.W, Calgary, Alberta T2N 1N4, Canada","institution_ids":["https://openalex.org/I168635309"]},{"raw_affiliation_string":"University of Calgary, Calgary, Canada","institution_ids":["https://openalex.org/I168635309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101523017","display_name":"Abdolmajid Mousavi","orcid":"https://orcid.org/0000-0002-2113-2673"},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"ABDOLMAJID MOUSAVI","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Calgary, 2500 University Drive N.W, Calgary, Alberta T2N 1N4, Canada","University of Calgary, Calgary, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Calgary, 2500 University Drive N.W, Calgary, Alberta T2N 1N4, Canada","institution_ids":["https://openalex.org/I168635309"]},{"raw_affiliation_string":"University of Calgary, Calgary, Canada","institution_ids":["https://openalex.org/I168635309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008779348","display_name":"Behrouz H. Far","orcid":"https://orcid.org/0000-0003-1589-8039"},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"BEHROUZ H. FAR","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Calgary, 2500 University Drive N.W, Calgary, Alberta T2N 1N4, Canada","Department of Electrical and Computer Engineering University of Calgary, 2500 University Drive N.W. Calgary, Alberta, T2N 1N4, Canada#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Calgary, 2500 University Drive N.W, Calgary, Alberta T2N 1N4, Canada","institution_ids":["https://openalex.org/I168635309"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering University of Calgary, 2500 University Drive N.W. Calgary, Alberta, T2N 1N4, Canada#TAB#","institution_ids":["https://openalex.org/I168635309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5076503652"],"corresponding_institution_ids":["https://openalex.org/I168635309"],"apc_list":null,"apc_paid":null,"fwci":1.4184,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.81077706,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"22","issue":"06","first_page":"729","last_page":"746"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9986000061035156,"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/T10260","display_name":"Software Engineering Research","score":0.9984999895095825,"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/sequence-diagram","display_name":"Sequence diagram","score":0.801852822303772},{"id":"https://openalex.org/keywords/agile-software-development","display_name":"Agile software development","score":0.7565540075302124},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7482945919036865},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.6369291543960571},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.5224470496177673},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.4559389650821686},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4480217695236206},{"id":"https://openalex.org/keywords/use-case-diagram","display_name":"Use Case Diagram","score":0.41157180070877075},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.39649027585983276},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3809986710548401},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3735785186290741},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.17251041531562805},{"id":"https://openalex.org/keywords/class-diagram","display_name":"Class diagram","score":0.12469306588172913},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12158569693565369}],"concepts":[{"id":"https://openalex.org/C153185123","wikidata":"https://www.wikidata.org/wiki/Q1391624","display_name":"Sequence diagram","level":4,"score":0.801852822303772},{"id":"https://openalex.org/C14185376","wikidata":"https://www.wikidata.org/wiki/Q30232","display_name":"Agile software development","level":2,"score":0.7565540075302124},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7482945919036865},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.6369291543960571},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5224470496177673},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.4559389650821686},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4480217695236206},{"id":"https://openalex.org/C161756209","wikidata":"https://www.wikidata.org/wiki/Q613423","display_name":"Use Case Diagram","level":5,"score":0.41157180070877075},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.39649027585983276},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3809986710548401},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3735785186290741},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17251041531562805},{"id":"https://openalex.org/C202446494","wikidata":"https://www.wikidata.org/wiki/Q664166","display_name":"Class diagram","level":4,"score":0.12469306588172913},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12158569693565369},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1142/s0218194012400104","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194012400104","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"},{"id":"mag:94409711","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/seke/seke2010.html#MoshirpourMF10","pdf_url":null,"source":{"id":"https://openalex.org/S4306420911","display_name":"Software Engineering and Knowledge Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Software Engineering and Knowledge Engineering","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W2024445190","https://openalex.org/W2027515180","https://openalex.org/W2144807091","https://openalex.org/W2164440547"],"related_works":["https://openalex.org/W2000317315","https://openalex.org/W1982990420","https://openalex.org/W1547436580","https://openalex.org/W2966845482","https://openalex.org/W2974457847","https://openalex.org/W2112281596","https://openalex.org/W2789925149","https://openalex.org/W315156860","https://openalex.org/W2803970557","https://openalex.org/W2020221119","https://openalex.org/W2001742825","https://openalex.org/W2535057240","https://openalex.org/W2973914964","https://openalex.org/W2184420734","https://openalex.org/W2955582742","https://openalex.org/W2054897454","https://openalex.org/W3210296803","https://openalex.org/W2809554805","https://openalex.org/W1533776166","https://openalex.org/W2148167250"],"abstract_inverted_index":{"Emergent":[0],"behavior":[1,14,97],"is":[2,39,59,101,105],"an":[3,114],"important":[4],"issue":[5],"in":[6,24,121,130,139,146],"distributed":[7,37],"systems'":[8],"design.":[9],"Detecting":[10],"and":[11,81,86,107,134],"removing":[12],"emergent":[13,96],"during":[15],"the":[16,34,136],"design":[17,35],"phase":[18],"will":[19],"lead":[20],"to":[21,40,74,79],"huge":[22],"savings":[23],"deployment":[25],"costs":[26],"of":[27,36,63,98],"such":[28],"systems.":[29],"An":[30],"effective":[31],"approach":[32],"for":[33,94],"systems":[38],"describe":[41],"system":[42,67],"requirements":[43],"using":[44,109],"scenarios.":[45],"A":[46],"scenario,":[47],"commonly":[48],"known":[49,83],"as":[50,84,113],"a":[51,56,60,92,110],"message":[52],"sequence":[53,57,62],"chart":[54],"or":[55],"diagram,":[58],"temporal":[61],"messages":[64],"sent":[65],"between":[66],"components.":[68],"However,":[69],"scenario-based":[70,99,125],"specifications":[71,126],"are":[72],"prone":[73],"subtle":[75],"deficiencies":[76],"with":[77],"respect":[78],"analysis":[80],"validation":[82],"incompleteness":[85],"partial":[87],"description.":[88],"In":[89],"this":[90,122,140],"research,":[91],"method":[93,104],"detecting":[95],"specification":[100],"proposed.":[102],"The":[103],"demonstrated":[106,120],"verified":[108],"mine-sweeping":[111],"robot":[112],"example.":[115],"Furthermore":[116],"it":[117],"has":[118],"been":[119],"paper":[123],"that":[124,135],"can":[127,142],"be":[128,143],"used":[129],"agile":[131,147],"software":[132],"development":[133],"proposed":[137],"methodologies":[138],"research":[141],"utilized":[144],"effectively":[145],"approaches.":[148]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}