{"id":"https://openalex.org/W2092106531","doi":"https://doi.org/10.1016/s1571-0661(04)81030-2","title":"A Safety Mechanism Using Software Patterns","display_name":"A Safety Mechanism Using Software Patterns","publication_year":2003,"publication_date":"2003-09-01","ids":{"openalex":"https://openalex.org/W2092106531","doi":"https://doi.org/10.1016/s1571-0661(04)81030-2","mag":"2092106531"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)81030-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)81030-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)81030-2","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039599032","display_name":"Kiyohito Itoh","orcid":null},"institutions":[{"id":"https://openalex.org/I1314466530","display_name":"Tokai University","ror":"https://ror.org/01p7qe739","country_code":"JP","type":"education","lineage":["https://openalex.org/I1314466530"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kiyohito Itoh","raw_affiliation_strings":["Department of Management Engineering, Tokai University, Hiratsuka, Japan"],"affiliations":[{"raw_affiliation_string":"Department of Management Engineering, Tokai University, Hiratsuka, Japan","institution_ids":["https://openalex.org/I1314466530"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103432879","display_name":"Hiromi Kobayashi","orcid":null},"institutions":[{"id":"https://openalex.org/I1314466530","display_name":"Tokai University","ror":"https://ror.org/01p7qe739","country_code":"JP","type":"education","lineage":["https://openalex.org/I1314466530"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Hiromi Kobayashi","raw_affiliation_strings":["Department of Management Engineering, Tokai University, Hiratsuka, Japan"],"affiliations":[{"raw_affiliation_string":"Department of Management Engineering, Tokai University, Hiratsuka, Japan","institution_ids":["https://openalex.org/I1314466530"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5103432879"],"corresponding_institution_ids":["https://openalex.org/I1314466530"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12273019,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"82","issue":"6","first_page":"110","last_page":"120"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"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.9998000264167786,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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/T10260","display_name":"Software Engineering Research","score":0.9993000030517578,"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.7916430234909058},{"id":"https://openalex.org/keywords/software-design-pattern","display_name":"Software design pattern","score":0.5011646747589111},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.4711386561393738},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.4585762321949005},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.44447198510169983},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4397861361503601},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.43855857849121094},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4356318712234497},{"id":"https://openalex.org/keywords/mechanism","display_name":"Mechanism (biology)","score":0.42287513613700867},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.4103360176086426},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3172818720340729}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7916430234909058},{"id":"https://openalex.org/C146054899","wikidata":"https://www.wikidata.org/wiki/Q181156","display_name":"Software design pattern","level":3,"score":0.5011646747589111},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.4711386561393738},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4585762321949005},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.44447198510169983},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4397861361503601},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.43855857849121094},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4356318712234497},{"id":"https://openalex.org/C89611455","wikidata":"https://www.wikidata.org/wiki/Q6804646","display_name":"Mechanism (biology)","level":2,"score":0.42287513613700867},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4103360176086426},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3172818720340729},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(04)81030-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)81030-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)81030-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)81030-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.4300000071525574,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W130102441","https://openalex.org/W133354355","https://openalex.org/W1529293277","https://openalex.org/W1535654799","https://openalex.org/W1596400039","https://openalex.org/W2099529102","https://openalex.org/W2117834984","https://openalex.org/W6605254786"],"related_works":["https://openalex.org/W4312927049","https://openalex.org/W2520111506","https://openalex.org/W2064336064","https://openalex.org/W2185084576","https://openalex.org/W2380017313","https://openalex.org/W2183984908","https://openalex.org/W2166356874","https://openalex.org/W2371269538","https://openalex.org/W2363993616","https://openalex.org/W4382053383"],"abstract_inverted_index":{"Software":[0],"patterns":[1,19,58],"have":[2,20],"been":[3,21],"widely":[4],"studied":[5],"in":[6,13,23,39,88],"order":[7,64],"to":[8,59,78],"reuse":[9],"of":[10,26,48,65,75,91,97],"design":[11,15],"knowledge":[12],"software":[14,37,57,103],"phase.":[16],"However,":[17],"few":[18],"known":[22],"the":[24,63,86,89],"area":[25],"safety.":[27],"This":[28],"paper":[29],"addresses":[30],"a":[31,40,45,49,92],"mechanism":[32,50],"for":[33],"safety":[34,87],"and":[35,67,101],"its":[36,76,102],"pattern":[38,46],"reactive":[41,93],"system.":[42],"We":[43],"construct":[44],"composed":[47],"called":[51],"an":[52],"event":[53,99],"checker":[54,100],"including":[55],"several":[56],"check":[60],"scenarios,":[61],"i.e.,":[62],"events":[66],"their":[68],"timing":[69],"constraints.":[70],"Next,":[71],"we":[72,84],"show":[73],"examples":[74],"implementation":[77],"railroad":[79],"models":[80],"using":[81,106],"Java.":[82],"Moreover,":[83],"discuss":[85],"domain":[90],"system":[94],"by":[95,105],"means":[96],"this":[98,107],"reliability":[104],"pattern.":[108]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}