{"id":"https://openalex.org/W2550132637","doi":null,"title":"A Lightweight Formal Method for the Prediction of Non-Functional System Properties","display_name":"A Lightweight Formal Method for the Prediction of Non-Functional System Properties","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W2550132637","mag":"2550132637"},"language":"en","primary_location":{"id":"pmh:oai:aleph.bib-bvb.de:BVB01-014587342","doi":null,"is_oa":false,"landing_page_url":"https://bvbr.bib-bvb.de:443/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014587342&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Hochschulschrift"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"J\u00f6rg Barner","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"J\u00f6rg Barner","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9398999810218811,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9398999810218811,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.026799999177455902,"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/T12127","display_name":"Software System Performance and Reliability","score":0.004100000020116568,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/lightweight-formal-methods","display_name":"lightweight formal methods","score":0.8600000143051147},{"id":"https://openalex.org/keywords/non-functional-requirements","display_name":"non-functional requirements","score":0.7960000038146973},{"id":"https://openalex.org/keywords/performance-evaluation","display_name":"performance evaluation","score":0.7870000004768372},{"id":"https://openalex.org/keywords/reliability-analysis","display_name":"reliability analysis","score":0.7670000195503235},{"id":"https://openalex.org/keywords/stochastic-modeling","display_name":"stochastic modeling","score":0.6119999885559082},{"id":"https://openalex.org/keywords/requirements-verification","display_name":"requirements verification","score":0.6549999713897705},{"id":"https://openalex.org/keywords/communication-networks","display_name":"communication networks","score":0.7009999752044678},{"id":"https://openalex.org/keywords/formal-description-language","display_name":"formal description languages","score":0.4519999921321869},{"id":"https://openalex.org/keywords/model-analysis","display_name":"model analysis","score":0.32199999690055847},{"id":"https://openalex.org/keywords/early-conceptual-design","display_name":"early conceptual design","score":0.6359999775886536},{"id":"https://openalex.org/keywords/industry-academia-gap","display_name":"industry-academia gap","score":0.8270000219345093},{"id":"https://openalex.org/keywords/formal-methods-adoption","display_name":"formal methods adoption","score":0.3109999895095825},{"id":"https://openalex.org/keywords/software-systems","display_name":"software systems","score":0.5400000214576721},{"id":"https://openalex.org/keywords/reliability-prediction","display_name":"reliability prediction","score":0.5170000195503235}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6997309327125549},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5845481753349304},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.5311656594276428},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4858388602733612},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4828110635280609},{"id":"https://openalex.org/C2777601897","wikidata":"https://www.wikidata.org/wiki/Q3409113","display_name":"Presentation (obstetrics)","level":2,"score":0.4445984363555908},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43737804889678955},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.4280620217323303},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.32157236337661743},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14922478795051575},{"id":"https://openalex.org/C126838900","wikidata":"https://www.wikidata.org/wiki/Q77604","display_name":"Radiology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C126322002","wikidata":"https://www.wikidata.org/wiki/Q11180","display_name":"Internal medicine","level":1,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:aleph.bib-bvb.de:BVB01-014587342","doi":null,"is_oa":false,"landing_page_url":"https://bvbr.bib-bvb.de:443/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014587342&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Hochschulschrift"},{"id":"mag:2550132637","doi":null,"is_oa":false,"landing_page_url":"https://www4.cs.fau.de/~barner/me/barner05alightweight.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":254,"referenced_works":["https://openalex.org/W3987623","https://openalex.org/W4117805","https://openalex.org/W32190225","https://openalex.org/W55257470","https://openalex.org/W71853745","https://openalex.org/W109112237","https://openalex.org/W116833590","https://openalex.org/W128833057","https://openalex.org/W145483466","https://openalex.org/W148404740","https://openalex.org/W157005112","https://openalex.org/W158951875","https://openalex.org/W175025436","https://openalex.org/W231168465","https://openalex.org/W601745770","https://openalex.org/W1481465901","https://openalex.org/W1482004269","https://openalex.org/W1483422122","https://openalex.org/W1485528136","https://openalex.org/W1485650462","https://openalex.org/W1487060125","https://openalex.org/W1488069027","https://openalex.org/W1490228606","https://openalex.org/W1490319099","https://openalex.org/W1493036753","https://openalex.org/W1498542756","https://openalex.org/W1503007395","https://openalex.org/W1513221091","https://openalex.org/W1514324734","https://openalex.org/W1517173317","https://openalex.org/W1520191953","https://openalex.org/W1523509419","https://openalex.org/W1529465401","https://openalex.org/W1530797069","https://openalex.org/W1537624148","https://openalex.org/W1543900902","https://openalex.org/W1545042256","https://openalex.org/W1547562281","https://openalex.org/W1552414204","https://openalex.org/W1557379344","https://openalex.org/W1559218280","https://openalex.org/W1561267729","https://openalex.org/W1562934601","https://openalex.org/W1568547366","https://openalex.org/W1569205584","https://openalex.org/W1570445666","https://openalex.org/W1571635307","https://openalex.org/W1573897561","https://openalex.org/W1577384748","https://openalex.org/W1577692163","https://openalex.org/W1580745021","https://openalex.org/W1583137169","https://openalex.org/W1587663028","https://openalex.org/W1589318611","https://openalex.org/W1595417290","https://openalex.org/W1600230604","https://openalex.org/W1604087637","https://openalex.org/W1604559946","https://openalex.org/W1605566377","https://openalex.org/W1634450459","https://openalex.org/W1644864267","https://openalex.org/W1690037246","https://openalex.org/W1705210632","https://openalex.org/W1739260075","https://openalex.org/W1773459340","https://openalex.org/W1795577507","https://openalex.org/W1831904643","https://openalex.org/W1855403548","https://openalex.org/W1902648207","https://openalex.org/W1911546088","https://openalex.org/W1930200668","https://openalex.org/W1935892444","https://openalex.org/W1965662337","https://openalex.org/W1971224469","https://openalex.org/W1972478730","https://openalex.org/W1974040526","https://openalex.org/W1976570600","https://openalex.org/W1977612568","https://openalex.org/W1978006658","https://openalex.org/W1979349468","https://openalex.org/W1980084436","https://openalex.org/W1984391920","https://openalex.org/W1991189695","https://openalex.org/W1992580876","https://openalex.org/W1992690281","https://openalex.org/W1994350081","https://openalex.org/W1996109622","https://openalex.org/W2000947342","https://openalex.org/W2003436900","https://openalex.org/W2006616183","https://openalex.org/W2007018477","https://openalex.org/W2008930836","https://openalex.org/W2008988868","https://openalex.org/W2010883554","https://openalex.org/W2011177514","https://openalex.org/W2011950164","https://openalex.org/W2012780051","https://openalex.org/W2013672985","https://openalex.org/W2015840019","https://openalex.org/W2016914525","https://openalex.org/W2018291475","https://openalex.org/W2021048608","https://openalex.org/W2021089599","https://openalex.org/W2021257181","https://openalex.org/W2022743324","https://openalex.org/W2023808162","https://openalex.org/W2024012113","https://openalex.org/W2025452930","https://openalex.org/W2027230364","https://openalex.org/W2027515139","https://openalex.org/W2027622095","https://openalex.org/W2028079360","https://openalex.org/W2030224590","https://openalex.org/W2030942926","https://openalex.org/W2039977878","https://openalex.org/W2040001805","https://openalex.org/W2043557231","https://openalex.org/W2045033949","https://openalex.org/W2045931351","https://openalex.org/W2047764386","https://openalex.org/W2050104152","https://openalex.org/W2054097655","https://openalex.org/W2054801208","https://openalex.org/W2056921560","https://openalex.org/W2059057465","https://openalex.org/W2060795628","https://openalex.org/W2063917454","https://openalex.org/W2064811181","https://openalex.org/W2066210260","https://openalex.org/W2066462730","https://openalex.org/W2068486694","https://openalex.org/W2069255518","https://openalex.org/W2069300761","https://openalex.org/W2070382139","https://openalex.org/W2071011601","https://openalex.org/W2075773711","https://openalex.org/W2077095314","https://openalex.org/W2077172290","https://openalex.org/W2077358611","https://openalex.org/W2077359497","https://openalex.org/W2078250023","https://openalex.org/W2087713039","https://openalex.org/W2089904802","https://openalex.org/W2090311494","https://openalex.org/W2092187580","https://openalex.org/W2093419235","https://openalex.org/W2094055697","https://openalex.org/W2095152777","https://openalex.org/W2095595785","https://openalex.org/W2095825522","https://openalex.org/W2095939858","https://openalex.org/W2096076421","https://openalex.org/W2098506306","https://openalex.org/W2099529102","https://openalex.org/W2101190362","https://openalex.org/W2101206446","https://openalex.org/W2101508170","https://openalex.org/W2101762200","https://openalex.org/W2102840360","https://openalex.org/W2103071636","https://openalex.org/W2103904278","https://openalex.org/W2103953153","https://openalex.org/W2105850132","https://openalex.org/W2109142454","https://openalex.org/W2110701642","https://openalex.org/W2112337853","https://openalex.org/W2114184597","https://openalex.org/W2114521935","https://openalex.org/W2115309705","https://openalex.org/W2115525458","https://openalex.org/W2116508343","https://openalex.org/W2118229393","https://openalex.org/W2119239145","https://openalex.org/W2120825799","https://openalex.org/W2120900135","https://openalex.org/W2121372686","https://openalex.org/W2121483787","https://openalex.org/W2122253789","https://openalex.org/W2124209077","https://openalex.org/W2124405605","https://openalex.org/W2124441589","https://openalex.org/W2124479173","https://openalex.org/W2126160338","https://openalex.org/W2130534974","https://openalex.org/W2130793115","https://openalex.org/W2132670859","https://openalex.org/W2133080717","https://openalex.org/W2134112335","https://openalex.org/W2134991157","https://openalex.org/W2136105491","https://openalex.org/W2137079713","https://openalex.org/W2137490213","https://openalex.org/W2137865376","https://openalex.org/W2138074713","https://openalex.org/W2139580393","https://openalex.org/W2144625195","https://openalex.org/W2144687289","https://openalex.org/W2145071552","https://openalex.org/W2145482038","https://openalex.org/W2145801840","https://openalex.org/W2146432221","https://openalex.org/W2146822640","https://openalex.org/W2146948100","https://openalex.org/W2147543351","https://openalex.org/W2147607210","https://openalex.org/W2149366752","https://openalex.org/W2149374919","https://openalex.org/W2151994914","https://openalex.org/W2154602821","https://openalex.org/W2156218005","https://openalex.org/W2159202155","https://openalex.org/W2159443917","https://openalex.org/W2159651799","https://openalex.org/W2159763578","https://openalex.org/W2160136100","https://openalex.org/W2165121897","https://openalex.org/W2165439624","https://openalex.org/W2166503214","https://openalex.org/W2166656159","https://openalex.org/W2169325581","https://openalex.org/W2176300081","https://openalex.org/W2176526388","https://openalex.org/W2177002043","https://openalex.org/W2184719612","https://openalex.org/W2213728804","https://openalex.org/W2321212376","https://openalex.org/W2326418800","https://openalex.org/W2339337913","https://openalex.org/W2485260361","https://openalex.org/W2491539874","https://openalex.org/W2493256084","https://openalex.org/W2497778231","https://openalex.org/W2500044873","https://openalex.org/W2559604153","https://openalex.org/W2695253840","https://openalex.org/W2725916269","https://openalex.org/W2727341304","https://openalex.org/W2753533763","https://openalex.org/W2758547194","https://openalex.org/W2799061192","https://openalex.org/W2799137445","https://openalex.org/W2905199852","https://openalex.org/W2911865844","https://openalex.org/W2914206182","https://openalex.org/W2914250922","https://openalex.org/W2921270224","https://openalex.org/W2983136877","https://openalex.org/W2987907651","https://openalex.org/W2987977008","https://openalex.org/W3018464802","https://openalex.org/W3022463643","https://openalex.org/W3043060850","https://openalex.org/W3146075203","https://openalex.org/W4244285160"],"related_works":["https://openalex.org/W1567539415","https://openalex.org/W2484687809","https://openalex.org/W7047191000","https://openalex.org/W2327257661","https://openalex.org/W2542381867","https://openalex.org/W2119187404","https://openalex.org/W7099786666","https://openalex.org/W7030143850","https://openalex.org/W1485528136","https://openalex.org/W2138210004"],"abstract_inverted_index":{"The":[0,111,161,269,372,425,448,505],"goal":[1,178],"of":[2,10,18,25,37,51,78,98,107,114,124,135,148,152,191,201,246,253,258,272,288,298,302,311,322,331,342,360,369,375,402,427,434,443,450,465,479,488,500,507,515,524,536],"performance":[3,79,115,138,283,332,528],"and":[4,103,198,222,308,387,398,529],"reliability":[5,530],"evaluation":[6,80,116,139,284,333,449,470,531],"during":[7,55,295],"the":[8,16,19,32,49,56,64,95,104,108,136,149,176,192,199,225,240,244,251,296,303,306,309,312,320,323,329,340,343,358,367,391,395,400,403,411,432,435,441,451,462,466,469,477,486,489,498,513,522,533,537],"development":[9,267,297,539],"computerbased":[11],"systems":[12,502],"is":[13,275,280,364,381,454,510],"to":[14,121,179,185,196,204,211,232,281,328,348,393,484,511,519],"predict":[15],"compliance":[17],"projected":[20],"system":[21,255,362,396,404,414,452],"with":[22,175,243,405,440],"a":[23,41,52,85,122,145,286,336,352,376,384,417,421,444,458],"set":[24],"non-functional":[26],"requirements.":[27],"As":[28],"an":[29],"example,":[30],"consider":[31],"expected":[33],"mean":[34],"end-to-end":[35],"delay":[36],"data":[38],"packets":[39],"in":[40,157,239,264,277,305,314,457,468,476,532],"communication":[42,501],"network,":[43],"which":[44,182,259,274,292,380,473],"can":[45,141],"be":[46,142,186,261],"predicted":[47],"on":[48,84,339,383,420],"basis":[50],"stochastic":[53,100,418],"model":[54,419,467],"early":[57,534],"conceptual":[58],"design":[59],"phase.":[60],"A":[61,229],"glance":[62],"at":[63],"software":[65,159,226,266,538],"engineering":[66,227],"practice":[67],"reveals":[68],"that":[69,206,319],"despite":[70],"their":[71,202],"high":[72,422],"financial":[73],"savings":[74],"potential":[75],"academic":[76,137],"methods":[77,117,164,208,249,313,526],"are":[81,94,183,209,293],"not":[82,218],"applied":[83,262,294],"large":[86],"scale.":[87],"Frequently":[88],"quoted":[89],"reasons":[90],"for":[91,250,357,527],"these":[92],"findings":[93],"cumbersome":[96],"notation":[97],"some":[99,133,257,493],"description":[101,378,429],"techniques":[102,291],"impractical":[105],"presentation":[106],"theoretical":[109],"foundations.":[110],"successful":[112],"application":[113],"thus":[118],"remains":[119],"reserved":[120],"handful":[123],"well-educated":[125],"experts.":[126],"This":[127],"phenomenon,":[128],"termed":[129],"insularity":[130,344],"problem":[131,151],"by":[132,167,188,224,461,521],"members":[134],"community,":[140],"regarded":[143],"as":[144,285,408,410,416],"special":[146],"case":[147,495],"general":[150],"low":[153],"formal":[154,163,207,248,325,355,377,525],"method":[155,326,356,373,490],"acceptance":[156],"industrial":[158,265],"development.":[160],"first":[162],"were":[165],"developed":[166,365],"several":[168],"computer":[169],"scientists":[170],"about":[171],"40":[172],"years":[173],"ago":[174],"ambitious":[177],"create":[180],"programs":[181],"proven":[184],"correct":[187],"construction.":[189],"Because":[190,301],"quite":[193],"revolutionary":[194],"approach":[195],"programming":[197],"inability":[200],"developers":[203],"show":[205],"appropriate":[210],"solve":[212],"larger":[213],"real-world":[214],"problems":[215],"they":[216],"did":[217],"become":[219],"widely":[220],"accepted":[221],"used":[223],"industry.":[228],"promising":[230],"attempt":[231],"bridge":[233],"this":[234,278,350,370,480,508],"\u201cindustry-academia":[235],"gap\u201d":[236],"was":[237,474],"initiated":[238],"early-mid":[241],"1990s":[242],"advent":[245],"\u201clightweight\u201d":[247],"verification":[252,290],"functional":[254],"requirements,":[256],"could":[260],"successfully":[263],"projects.":[268],"initial":[270],"point":[271],"view":[273],"adopted":[276],"dissertation":[279,509],"regard":[282],"branch":[287],"requirements":[289,363,415],"software-based":[299],"systems.":[300],"similarities":[304],"structure":[307,397],"objectives":[310],"both":[315],"areas,":[316],"we":[317,491],"assume":[318],"transfer":[321,514],"lightweight":[324,354],"concept":[327],"area":[330,499],"will":[334],"have":[335],"positive":[337],"effect":[338],"solution":[341],"problem.":[345],"In":[346,482],"order":[347,483],"corroborate":[349],"assumption,":[351],"new":[353],"prediction":[359],"nonfunctional":[361,413],"within":[366],"scope":[368],"thesis.":[371,481],"consists":[374],"technique":[379],"based":[382],"well-defined":[385],"syntax":[386,426],"semantics.":[388],"It":[389],"enables":[390],"user":[392],"specify":[394],"behaviour,":[399],"interaction":[401],"its":[406],"enviroment":[407],"well":[409],"interesting":[412],"abstraction":[423],"level.":[424],"our":[428],"language":[430],"combines":[431],"advantages":[433],"pragmatic":[436],"network-oriented":[437],"modelling":[438],"paradigm":[439],"succinctness":[442],"pure":[445],"textual":[446],"notation.":[447],"properties":[453],"carried":[455],"out":[456],"user-friendly":[459],"manner":[460],"automatic":[463],"analysis":[464],"environment":[471],"prototype":[472],"implemented":[475],"context":[478],"demonstrate":[485],"applicability":[487],"present":[492],"detailed":[494],"studies":[496],"from":[497,517],"(WLAN,":[503],"GSM).":[504],"keynote":[506],"promote":[512],"technology":[516],"academia":[518],"industry":[520],"integration":[523],"phases":[535],"process.":[540]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-11-30T00:00:00"}