{"id":"https://openalex.org/W1490228606","doi":"https://doi.org/10.3217/jucs-008-01-0002","title":"The Origins and the Development of the ASM Method for High Level System Design and Analysis","display_name":"The Origins and the Development of the ASM Method for High Level System Design and Analysis","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W1490228606","doi":"https://doi.org/10.3217/jucs-008-01-0002","mag":"1490228606"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:6996095","is_oa":true,"landing_page_url":"https://zenodo.org/record/6996095","pdf_url":"https://zenodo.org/record/6996095","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 8((1)) 2-74","raw_type":"info:eu-repo/semantics/article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/6996095","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021020828","display_name":"Egon B\u00f6rger","orcid":null},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Egon B\u00f6rger","raw_affiliation_strings":["University of Pisa,#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Pisa,#TAB#","institution_ids":["https://openalex.org/I108290504"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5021020828"],"corresponding_institution_ids":["https://openalex.org/I108290504"],"apc_list":null,"apc_paid":null,"fwci":1.3908,"has_fulltext":false,"cited_by_count":73,"citation_normalized_percentile":{"value":0.8590419,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"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/T10260","display_name":"Software Engineering Research","score":0.9747999906539917,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9747999906539917,"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"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9574000239372253,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9472000002861023,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/abstract-state-machines","display_name":"Abstract state machines","score":0.7720714807510376},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7078227996826172},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5628756284713745},{"id":"https://openalex.org/keywords/realization","display_name":"Realization (probability)","score":0.5180659294128418},{"id":"https://openalex.org/keywords/salient","display_name":"Salient","score":0.5175113677978516},{"id":"https://openalex.org/keywords/development","display_name":"Development (topology)","score":0.43682122230529785},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.41171014308929443},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2616368532180786},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1468905508518219},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.14481568336486816},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.09581387042999268}],"concepts":[{"id":"https://openalex.org/C145243422","wikidata":"https://www.wikidata.org/wiki/Q333385","display_name":"Abstract state machines","level":3,"score":0.7720714807510376},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7078227996826172},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5628756284713745},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.5180659294128418},{"id":"https://openalex.org/C2780719617","wikidata":"https://www.wikidata.org/wiki/Q1030752","display_name":"Salient","level":2,"score":0.5175113677978516},{"id":"https://openalex.org/C2776542497","wikidata":"https://www.wikidata.org/wiki/Q5266672","display_name":"Development (topology)","level":2,"score":0.43682122230529785},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.41171014308929443},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2616368532180786},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1468905508518219},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.14481568336486816},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.09581387042999268},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","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}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:zenodo.org:6996095","is_oa":true,"landing_page_url":"https://zenodo.org/record/6996095","pdf_url":"https://zenodo.org/record/6996095","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 8((1)) 2-74","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.20.3431","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.3431","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://www.eecs.umich.edu/groups/gasm/asmhist02.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.96.9367","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.9367","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.jucs.org/jucs_8_1/the_origins_and_the/Boerger_E.pdf","raw_type":"text"},{"id":"doi:10.3217/jucs-008-01-0002","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-008-01-0002","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:6996095","is_oa":true,"landing_page_url":"https://zenodo.org/record/6996095","pdf_url":"https://zenodo.org/record/6996095","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 8((1)) 2-74","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"score":0.5400000214576721,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W1490228606.pdf"},"referenced_works_count":197,"referenced_works":["https://openalex.org/W11319233","https://openalex.org/W24111477","https://openalex.org/W25583328","https://openalex.org/W27343765","https://openalex.org/W30853153","https://openalex.org/W35059077","https://openalex.org/W40699726","https://openalex.org/W41993862","https://openalex.org/W44335504","https://openalex.org/W48107892","https://openalex.org/W50774051","https://openalex.org/W53653536","https://openalex.org/W54190576","https://openalex.org/W55257470","https://openalex.org/W56115156","https://openalex.org/W70020211","https://openalex.org/W70044333","https://openalex.org/W71164964","https://openalex.org/W71478258","https://openalex.org/W73111637","https://openalex.org/W76766519","https://openalex.org/W79718280","https://openalex.org/W81170107","https://openalex.org/W92962286","https://openalex.org/W99916501","https://openalex.org/W109707648","https://openalex.org/W113911099","https://openalex.org/W114045765","https://openalex.org/W117549897","https://openalex.org/W127868156","https://openalex.org/W139974271","https://openalex.org/W144098610","https://openalex.org/W144737392","https://openalex.org/W163838185","https://openalex.org/W165855966","https://openalex.org/W179373627","https://openalex.org/W194603590","https://openalex.org/W196212197","https://openalex.org/W198100525","https://openalex.org/W202516335","https://openalex.org/W204190369","https://openalex.org/W205992776","https://openalex.org/W206065626","https://openalex.org/W228827630","https://openalex.org/W235921957","https://openalex.org/W324429007","https://openalex.org/W610012793","https://openalex.org/W1485075292","https://openalex.org/W1485237120","https://openalex.org/W1485458514","https://openalex.org/W1487966966","https://openalex.org/W1489287562","https://openalex.org/W1490145522","https://openalex.org/W1490948297","https://openalex.org/W1493922483","https://openalex.org/W1498044638","https://openalex.org/W1499925253","https://openalex.org/W1500960498","https://openalex.org/W1502238081","https://openalex.org/W1503754652","https://openalex.org/W1506629142","https://openalex.org/W1506722146","https://openalex.org/W1508086784","https://openalex.org/W1510460632","https://openalex.org/W1512874973","https://openalex.org/W1513086642","https://openalex.org/W1514691125","https://openalex.org/W1515835590","https://openalex.org/W1521991699","https://openalex.org/W1523542737","https://openalex.org/W1523917254","https://openalex.org/W1526432407","https://openalex.org/W1527613567","https://openalex.org/W1528672540","https://openalex.org/W1528766740","https://openalex.org/W1531374985","https://openalex.org/W1534135395","https://openalex.org/W1534428587","https://openalex.org/W1535242529","https://openalex.org/W1537627357","https://openalex.org/W1539030153","https://openalex.org/W1541972627","https://openalex.org/W1543787834","https://openalex.org/W1543977071","https://openalex.org/W1547570088","https://openalex.org/W1548903741","https://openalex.org/W1551705173","https://openalex.org/W1555618383","https://openalex.org/W1557646685","https://openalex.org/W1557832504","https://openalex.org/W1560870874","https://openalex.org/W1561365846","https://openalex.org/W1563334701","https://openalex.org/W1567557053","https://openalex.org/W1567803624","https://openalex.org/W1570906644","https://openalex.org/W1574117976","https://openalex.org/W1580617510","https://openalex.org/W1589349472","https://openalex.org/W1598200460","https://openalex.org/W1598391744","https://openalex.org/W1600689686","https://openalex.org/W1602332434","https://openalex.org/W1603314635","https://openalex.org/W1616792186","https://openalex.org/W1617538704","https://openalex.org/W1626607324","https://openalex.org/W1628144013","https://openalex.org/W1631479359","https://openalex.org/W1662279475","https://openalex.org/W1678176544","https://openalex.org/W1793133712","https://openalex.org/W1818561783","https://openalex.org/W1826173575","https://openalex.org/W1836997725","https://openalex.org/W1885142743","https://openalex.org/W1886596997","https://openalex.org/W1924502949","https://openalex.org/W1926460446","https://openalex.org/W1966006501","https://openalex.org/W1967877062","https://openalex.org/W1969402593","https://openalex.org/W1983346515","https://openalex.org/W1987439631","https://openalex.org/W1998333922","https://openalex.org/W2001793006","https://openalex.org/W2006928136","https://openalex.org/W2009396172","https://openalex.org/W2009798194","https://openalex.org/W2009986092","https://openalex.org/W2012154699","https://openalex.org/W2016915322","https://openalex.org/W2017588406","https://openalex.org/W2029591641","https://openalex.org/W2031506023","https://openalex.org/W2040990265","https://openalex.org/W2045916776","https://openalex.org/W2051073429","https://openalex.org/W2063162149","https://openalex.org/W2070366441","https://openalex.org/W2070908350","https://openalex.org/W2070956783","https://openalex.org/W2080796162","https://openalex.org/W2082611979","https://openalex.org/W2099740052","https://openalex.org/W2101454793","https://openalex.org/W2101491628","https://openalex.org/W2106997383","https://openalex.org/W2110452971","https://openalex.org/W2113043472","https://openalex.org/W2114571153","https://openalex.org/W2117313088","https://openalex.org/W2125522861","https://openalex.org/W2127391147","https://openalex.org/W2131540458","https://openalex.org/W2131676941","https://openalex.org/W2131734358","https://openalex.org/W2134072717","https://openalex.org/W2134466651","https://openalex.org/W2141029595","https://openalex.org/W2143303250","https://openalex.org/W2144153673","https://openalex.org/W2146700742","https://openalex.org/W2148829562","https://openalex.org/W2154978557","https://openalex.org/W2156765622","https://openalex.org/W2158402267","https://openalex.org/W2161042426","https://openalex.org/W2166337581","https://openalex.org/W2166886226","https://openalex.org/W2168280567","https://openalex.org/W2169466088","https://openalex.org/W2171377784","https://openalex.org/W2176995258","https://openalex.org/W2234536257","https://openalex.org/W2296223104","https://openalex.org/W2305261677","https://openalex.org/W2339337913","https://openalex.org/W2488946417","https://openalex.org/W2490931782","https://openalex.org/W2582545698","https://openalex.org/W2586045098","https://openalex.org/W2586154859","https://openalex.org/W2592241421","https://openalex.org/W2604885820","https://openalex.org/W2724963341","https://openalex.org/W2726197984","https://openalex.org/W2913018386","https://openalex.org/W2913347817","https://openalex.org/W2983179306","https://openalex.org/W3017738704","https://openalex.org/W3103896344","https://openalex.org/W3105529609","https://openalex.org/W3141510079","https://openalex.org/W3150645380","https://openalex.org/W3185910042","https://openalex.org/W3215652920"],"related_works":["https://openalex.org/W1853368733","https://openalex.org/W1969402593","https://openalex.org/W1998333922","https://openalex.org/W1557646685","https://openalex.org/W2724963341","https://openalex.org/W2074794556","https://openalex.org/W2125522861","https://openalex.org/W1560870874","https://openalex.org/W58308675","https://openalex.org/W2488946417","https://openalex.org/W2234536257","https://openalex.org/W157065520","https://openalex.org/W2604885820","https://openalex.org/W1528672540","https://openalex.org/W99916501","https://openalex.org/W182429990","https://openalex.org/W1485237120","https://openalex.org/W76766519","https://openalex.org/W179373627","https://openalex.org/W127868156"],"abstract_inverted_index":{"Abstract:":[0],"The":[1,24],"research":[2],"belonging":[3],"to":[4,10,57,80],"the":[5,27,32,35,40,50,58,71,87],"Abstract":[6],"State":[7],"Machines":[8],"approach":[9],"system":[11,66],"design":[12],"and":[13,17,78],"analysis":[14],"is":[15,75],"surveyed":[16],"documented":[18],"in":[19,53,76],"an":[20],"annotated":[21],"ASM":[22],"bibliography.":[23],"survey":[25],"covers":[26],"period":[28],"from":[29],"1984,":[30],"when":[31],"idea":[33],"for":[34,49,86],"concept":[36],"of":[37,73,89],"ASMs":[38,74,90],"(under":[39],"name":[41],"dynamic":[42],"or":[43,46],"evolving":[44],"algebras":[45],"structures)":[47],"appears":[48],"first":[51],"time":[52],"a":[54,62],"foundational":[55],"context,":[56],"year":[59],"2001":[60],"where":[61],"mathematically":[63],"well-founded,":[64],"practical":[65],"development":[67],"method":[68],"based":[69],"upon":[70],"notion":[72],"place":[77],"ready":[79],"be":[81],"industrially":[82],"deployed.":[83],"Some":[84],"lessons":[85],"future":[88],"are":[91],"drawn.":[92]},"counts_by_year":[{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":4},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2016-06-24T00:00:00"}