{"id":"https://openalex.org/W4256752910","doi":"https://doi.org/10.1109/seams.2013.6595501","title":"High-quality specification of self-adaptive software systems","display_name":"High-quality specification of self-adaptive software systems","publication_year":2013,"publication_date":"2013-05-01","ids":{"openalex":"https://openalex.org/W4256752910","doi":"https://doi.org/10.1109/seams.2013.6595501"},"language":"en","primary_location":{"id":"doi:10.1109/seams.2013.6595501","is_oa":false,"landing_page_url":"https://doi.org/10.1109/seams.2013.6595501","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","raw_type":"proceedings-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/A5063039128","display_name":"Markus Luckey","orcid":null},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Markus Luckey","raw_affiliation_strings":["University of Paderborn, Germany"],"affiliations":[{"raw_affiliation_string":"University of Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108072625","display_name":"Gregor Engels","orcid":null},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Gregor Engels","raw_affiliation_strings":["University of Paderborn, Germany"],"affiliations":[{"raw_affiliation_string":"University of Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5063039128"],"corresponding_institution_ids":["https://openalex.org/I206945453"],"apc_list":null,"apc_paid":null,"fwci":4.8089,"has_fulltext":false,"cited_by_count":31,"citation_normalized_percentile":{"value":0.95168714,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"10","issue":null,"first_page":"143","last_page":"152"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"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.9998999834060669,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9970999956130981,"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.836060643196106},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.695002555847168},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.5662855505943298},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.5478633642196655},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.5396156311035156},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.5124509930610657},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.5056085586547852},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4710255265235901},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.46768859028816223},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.46676063537597656},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.46198803186416626},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.45354264974594116},{"id":"https://openalex.org/keywords/separation-of-concerns","display_name":"Separation of concerns","score":0.45348188281059265},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.4515671730041504},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4512738585472107},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.33718544244766235},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.315792441368103}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.836060643196106},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.695002555847168},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.5662855505943298},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.5478633642196655},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.5396156311035156},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.5124509930610657},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.5056085586547852},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4710255265235901},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.46768859028816223},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.46676063537597656},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.46198803186416626},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.45354264974594116},{"id":"https://openalex.org/C76214141","wikidata":"https://www.wikidata.org/wiki/Q2465506","display_name":"Separation of concerns","level":3,"score":0.45348188281059265},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.4515671730041504},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4512738585472107},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.33718544244766235},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.315792441368103},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/seams.2013.6595501","is_oa":false,"landing_page_url":"https://doi.org/10.1109/seams.2013.6595501","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6000000238418579,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W47325553","https://openalex.org/W1537179409","https://openalex.org/W1552435611","https://openalex.org/W1668140416","https://openalex.org/W1680397247","https://openalex.org/W1964137226","https://openalex.org/W1970289470","https://openalex.org/W1990911977","https://openalex.org/W2003258198","https://openalex.org/W2028037778","https://openalex.org/W2045521911","https://openalex.org/W2054636385","https://openalex.org/W2078654030","https://openalex.org/W2080019998","https://openalex.org/W2082836387","https://openalex.org/W2092836785","https://openalex.org/W2111802499","https://openalex.org/W2118779850","https://openalex.org/W2131966463","https://openalex.org/W2134196660","https://openalex.org/W2158849671","https://openalex.org/W2163784380","https://openalex.org/W4232239282","https://openalex.org/W6633052977","https://openalex.org/W6637027790","https://openalex.org/W6676517857","https://openalex.org/W6679798096"],"related_works":["https://openalex.org/W4252527915","https://openalex.org/W2409287660","https://openalex.org/W2233357156","https://openalex.org/W1976489385","https://openalex.org/W4256317220","https://openalex.org/W2130585794","https://openalex.org/W4385433080","https://openalex.org/W2157728090","https://openalex.org/W1577283448","https://openalex.org/W2080834778"],"abstract_inverted_index":{"Today'":[0],"software":[1,52,143,215],"systems":[2,144],"have":[3],"to":[4,47,85,92,103,128,175,180],"cope":[5,93],"with":[6,94,213],"changing":[7],"environments":[8],"while":[9],"at":[10,68],"the":[11,34,73,98,106,139,160,181,187,208],"same":[12],"time":[13],"facing":[14],"high":[15],"non-functional":[16,25],"requirements":[17,26],"such":[18,195],"as":[19,196],"flexibility":[20],"and":[21,39,87,111,122,162,201,210],"dependability.":[22],"Recently,":[23],"these":[24],"are":[27,62],"addressed":[28],"using":[29,145],"self-adaptivity":[30,55,110,166,193],"features,":[31],"that":[32,82,158],"is,":[33],"system":[35],"monitors":[36],"its":[37,41],"environment":[38],"adjusts":[40],"structure":[42],"or":[43],"behavior":[44],"in":[45,64,72,76],"reaction":[46],"changes.":[48],"In":[49,131],"classical":[50],"model-driven":[51],"engineering":[53],"approaches,":[54],"introduces":[56],"additional":[57],"complexity":[58],"since":[59],"self-adaptation":[60],"features":[61],"distributed":[63],"a":[65,77,136,146],"cross-cutting":[66],"manner":[67],"various":[69],"different":[70],"locations":[71],"models,":[74],"resulting":[75],"tightly":[78],"interwoven":[79],"model":[80],"landscape":[81],"is":[83,97],"hard":[84,190],"understand":[86],"maintain.":[88],"A":[89],"particular":[90],"solution":[91],"this":[95,132],"problem":[96],"separation":[99],"of":[100,109,141,165,189],"concerns":[101],"(SoC)":[102],"focus":[104],"on":[105,169],"specific":[107],"concern":[108],"allow":[112],"in-depth":[113],"analyses.":[114],"Applying":[115],"SoC":[116],"requires":[117],"suitable":[118],"development":[119,216],"processes,":[120],"languages,":[121],"techniques,":[123],"e.g.,":[124],"for":[125,138],"quality":[126,177],"assurance,":[127],"be":[129],"available.":[130],"paper,":[133],"we":[134,172,205],"present":[135],"method":[137],"specification":[140,164],"self-adaptive":[142,183],"UML":[147],"based":[148],"concern-specific":[149],"modeling":[150],"language":[151,209],"called":[152],"Adapt":[153],"Case":[154],"Modeling":[155],"Language":[156],"(ACML)":[157],"allows":[159],"separated":[161],"explicit":[163],"concerns.":[167],"Based":[168],"formal":[170],"semantics":[171],"show":[173,206],"how":[174,207],"apply":[176],"assurance":[178],"techniques":[179,211],"modeled":[182],"system,":[184],"which":[185],"enable":[186],"provisioning":[188],"guarantees":[191],"concerning":[192],"characteristics":[194],"adaptation":[197],"rule":[198],"set":[199],"stability":[200],"deadlock":[202],"freedom.":[203],"Further,":[204],"integrate":[212],"existing":[214],"processes.":[217]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}