{"id":"https://openalex.org/W2037629414","doi":"https://doi.org/10.1109/isorc.2013.6913235","title":"Contracts for evolving systems","display_name":"Contracts for evolving systems","publication_year":2013,"publication_date":"2013-06-01","ids":{"openalex":"https://openalex.org/W2037629414","doi":"https://doi.org/10.1109/isorc.2013.6913235","mag":"2037629414"},"language":"en","primary_location":{"id":"doi:10.1109/isorc.2013.6913235","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isorc.2013.6913235","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)","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/A5076778493","display_name":"Christoph Etzien","orcid":null},"institutions":[{"id":"https://openalex.org/I202367325","display_name":"Oldenburger Institut f\u00fcr Informatik","ror":"https://ror.org/003sav189","country_code":"DE","type":"facility","lineage":["https://openalex.org/I202367325"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christoph Etzien","raw_affiliation_strings":["Institute for Information Technology (OFFIS), Oldenburg, Germany","Inst. for Inf. Technol. (OFFIS), Oldenburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Information Technology (OFFIS), Oldenburg, Germany","institution_ids":["https://openalex.org/I202367325"]},{"raw_affiliation_string":"Inst. for Inf. Technol. (OFFIS), Oldenburg, Germany","institution_ids":["https://openalex.org/I202367325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017123003","display_name":"Tayfun Gezgin","orcid":null},"institutions":[{"id":"https://openalex.org/I202367325","display_name":"Oldenburger Institut f\u00fcr Informatik","ror":"https://ror.org/003sav189","country_code":"DE","type":"facility","lineage":["https://openalex.org/I202367325"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tayfun Gezgin","raw_affiliation_strings":["Institute for Information Technology (OFFIS), Oldenburg, Germany","Inst. for Inf. Technol. (OFFIS), Oldenburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Information Technology (OFFIS), Oldenburg, Germany","institution_ids":["https://openalex.org/I202367325"]},{"raw_affiliation_string":"Inst. for Inf. Technol. (OFFIS), Oldenburg, Germany","institution_ids":["https://openalex.org/I202367325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066830262","display_name":"Sibylle Fr\u00f6schle","orcid":"https://orcid.org/0000-0002-6695-7599"},"institutions":[{"id":"https://openalex.org/I202367325","display_name":"Oldenburger Institut f\u00fcr Informatik","ror":"https://ror.org/003sav189","country_code":"DE","type":"facility","lineage":["https://openalex.org/I202367325"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sibylle Froschle","raw_affiliation_strings":["Institute for Information Technology (OFFIS), Oldenburg, Germany","Inst. for Inf. Technol. (OFFIS), Oldenburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Information Technology (OFFIS), Oldenburg, Germany","institution_ids":["https://openalex.org/I202367325"]},{"raw_affiliation_string":"Inst. for Inf. Technol. (OFFIS), Oldenburg, Germany","institution_ids":["https://openalex.org/I202367325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031057579","display_name":"Stefan Henkler","orcid":null},"institutions":[{"id":"https://openalex.org/I202367325","display_name":"Oldenburger Institut f\u00fcr Informatik","ror":"https://ror.org/003sav189","country_code":"DE","type":"facility","lineage":["https://openalex.org/I202367325"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefan Henkler","raw_affiliation_strings":["Institute for Information Technology (OFFIS), Oldenburg, Germany","Inst. for Inf. Technol. (OFFIS), Oldenburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Information Technology (OFFIS), Oldenburg, Germany","institution_ids":["https://openalex.org/I202367325"]},{"raw_affiliation_string":"Inst. for Inf. Technol. (OFFIS), Oldenburg, Germany","institution_ids":["https://openalex.org/I202367325"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052344240","display_name":"Achim Rettberg","orcid":"https://orcid.org/0000-0002-9181-1110"},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Achim Rettberg","raw_affiliation_strings":["Carl von Ossietzky University Oldenburg, Oldenburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carl von Ossietzky University Oldenburg, Oldenburg, Germany","institution_ids":["https://openalex.org/I129877168"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.9648,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.91612267,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"11","issue":null,"first_page":"1","last_page":"8"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9991999864578247,"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/T10260","display_name":"Software Engineering Research","score":0.9979000091552734,"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.8240739107131958},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.731533408164978},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.6164432764053345},{"id":"https://openalex.org/keywords/system-of-systems","display_name":"System of systems","score":0.6118962168693542},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6021742224693298},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5853951573371887},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.4838225245475769},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.481060266494751},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.42754867672920227},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.24690517783164978},{"id":"https://openalex.org/keywords/systems-design","display_name":"Systems design","score":0.23238548636436462},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.19974622130393982},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09553560614585876},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09428811073303223}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8240739107131958},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.731533408164978},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.6164432764053345},{"id":"https://openalex.org/C87912763","wikidata":"https://www.wikidata.org/wiki/Q7663737","display_name":"System of systems","level":3,"score":0.6118962168693542},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6021742224693298},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5853951573371887},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.4838225245475769},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.481060266494751},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.42754867672920227},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.24690517783164978},{"id":"https://openalex.org/C31352089","wikidata":"https://www.wikidata.org/wiki/Q3750474","display_name":"Systems design","level":2,"score":0.23238548636436462},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.19974622130393982},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09553560614585876},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09428811073303223},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/isorc.2013.6913235","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isorc.2013.6913235","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)","raw_type":"proceedings-article"},{"id":"pmh:oai:tore.tuhh.de:11420/11275","is_oa":false,"landing_page_url":"http://hdl.handle.net/11420/11275","pdf_url":null,"source":{"id":"https://openalex.org/S4306401751","display_name":"tub.dok (Hamburg University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I884043246","host_organization_name":"Hamburg University of Technology","host_organization_lineage":["https://openalex.org/I884043246"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5600000023841858}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W31108525","https://openalex.org/W50631513","https://openalex.org/W101199937","https://openalex.org/W144041492","https://openalex.org/W1498631091","https://openalex.org/W1501131047","https://openalex.org/W1560962701","https://openalex.org/W1564907586","https://openalex.org/W1642278851","https://openalex.org/W1703762398","https://openalex.org/W1863793285","https://openalex.org/W1999616773","https://openalex.org/W2000159891","https://openalex.org/W2002887051","https://openalex.org/W2048357182","https://openalex.org/W2052363833","https://openalex.org/W2058107586","https://openalex.org/W2071616717","https://openalex.org/W2075027485","https://openalex.org/W2077050476","https://openalex.org/W2099385637","https://openalex.org/W2100653580","https://openalex.org/W2134196660","https://openalex.org/W2134716336","https://openalex.org/W2139300704","https://openalex.org/W2146478966","https://openalex.org/W2153604631","https://openalex.org/W2174985802","https://openalex.org/W2472638187","https://openalex.org/W2983240785","https://openalex.org/W4241790482","https://openalex.org/W6601280499","https://openalex.org/W6605761543","https://openalex.org/W6685620578"],"related_works":["https://openalex.org/W2997567050","https://openalex.org/W4236696095","https://openalex.org/W3143779693","https://openalex.org/W2626808643","https://openalex.org/W2004064826","https://openalex.org/W3103727510","https://openalex.org/W97045569","https://openalex.org/W1527069879","https://openalex.org/W2946179579","https://openalex.org/W2348021072"],"abstract_inverted_index":{"In":[0],"this":[1],"work":[2,81],"we":[3,83,133,165,190],"address":[4,101],"evolving":[5],"systems,":[6],"which":[7,43],"are":[8,25,191],"basically":[9],"collaborative":[10],"and":[11,58,64,94,115,149],"distributed":[12],"systems":[13,24,39,71,112],"building":[14],"up":[15],"a":[16,41,60,67,85,128,170],"larger":[17],"scale":[18],"system":[19,21,171],"of":[20,40,48,56,69,143,146,185],"(SoS).":[22],"These":[23],"able":[26,192],"to":[27,32,100,109,120,150,168,177,193,206],"adapt":[28,110,169],"the":[29,36,45,62,103,106,111,117,123,136,141,147,152,157,179,183,186,196,208],"current":[30],"architecture":[31,159],"some":[33,200],"changes":[34],"in":[35,127,175,211],"environment.":[37],"Constituent":[38],"SoS,":[42,148],"represent":[44],"basic":[46],"elements":[47],"our":[49,79],"modeling":[50],"approach,":[51],"operate":[52],"with":[53],"different":[54],"degrees":[55],"freedom":[57],"as":[59],"result":[61],"self-adaptation":[63],"cooperation":[65],"between":[66],"set":[68],"constituent":[70],"is":[72,99],"driven":[73],"by":[74],"local":[75],"needs.":[76],"Based":[77],"on":[78,102,116],"former":[80],"[11],":[82],"propose":[84],"well-defined":[86],"modelling":[87],"approach":[88],"for":[89,139],"SoS":[90,124,158,197],"capturing":[91],"both":[92,140],"static":[93],"dynamic":[95],"aspects.":[96],"The":[97],"aim":[98],"one":[104],"hand":[105,119],"required":[107],"flexibility":[108],"during":[113,162],"run-time,":[114],"other":[118],"guarantee":[121],"that":[122],"reacts":[125],"still":[126],"safe":[129],"manner.":[130,214],"For":[131],"this,":[132,189],"will":[134],"use":[135],"contract":[137],"paradigm":[138],"specification":[142],"legal":[144],"configurations":[145],"specify":[151],"dynamicity":[153,180,209],"model,":[154],"describing":[155],"how":[156,167],"can":[160,198],"change":[161],"run-time.":[163],"Further,":[164],"depict":[166],"level":[172],"analysis":[173],"technique":[174],"order":[176],"check":[178],"model":[181,210],"against":[182],"invariants":[184],"SoS.":[187],"With":[188],"determine,":[194],"whether":[195],"reach":[199],"critical":[201],"configurations.":[202],"This":[203],"enables":[204],"us":[205],"modify":[207],"an":[212],"adequate":[213]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":4},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}