{"id":"https://openalex.org/W4238157996","doi":"https://doi.org/10.1109/wsc.1994.717384","title":"Model diagnosis using the condition specification: from conceptualization to implementation","display_name":"Model diagnosis using the condition specification: from conceptualization to implementation","publication_year":2005,"publication_date":"2005-08-25","ids":{"openalex":"https://openalex.org/W4238157996","doi":"https://doi.org/10.1109/wsc.1994.717384"},"language":"en","primary_location":{"id":"doi:10.1109/wsc.1994.717384","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wsc.1994.717384","pdf_url":null,"source":{"id":"https://openalex.org/S4363608840","display_name":"Proceedings of Winter Simulation Conference","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of Winter Simulation Conference","raw_type":"proceedings-article"},"type":"conference-paper","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/A5055390022","display_name":"C. Michael Overstreet","orcid":null},"institutions":[{"id":"https://openalex.org/I81365321","display_name":"Old Dominion University","ror":"https://ror.org/04zjtrb98","country_code":"US","type":"education","lineage":["https://openalex.org/I81365321"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"C.M. Overstreet","raw_affiliation_strings":["Computer Science Department, Old Dominion University, Norfolk, VA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Old Dominion University, Norfolk, VA, USA","institution_ids":["https://openalex.org/I81365321"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114005180","display_name":"E.H. Page","orcid":null},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"E.H. Page","raw_affiliation_strings":["Systems Research Center Department of Computer Science, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Systems Research Center Department of Computer Science, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018624571","display_name":"Richard E. Nance","orcid":null},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R.E. Nance","raw_affiliation_strings":["Systems Research Center Department of Computer Science, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Systems Research Center Department of Computer Science, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA","institution_ids":["https://openalex.org/I859038795"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"4","issue":null,"first_page":"566","last_page":"573"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9997000098228455,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9987999796867371,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9986000061035156,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8163588047027588},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.687101423740387},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5603297352790833},{"id":"https://openalex.org/keywords/conceptualization","display_name":"Conceptualization","score":0.5583293437957764},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5461063385009766},{"id":"https://openalex.org/keywords/specification","display_name":"Specification","score":0.5433089137077332},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5287829637527466},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5200095772743225},{"id":"https://openalex.org/keywords/system-requirements-specification","display_name":"System requirements specification","score":0.49573907256126404},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4243362843990326},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.20079049468040466},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10621458292007446},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09814727306365967},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.0934852659702301}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8163588047027588},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.687101423740387},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5603297352790833},{"id":"https://openalex.org/C90734943","wikidata":"https://www.wikidata.org/wiki/Q17008777","display_name":"Conceptualization","level":2,"score":0.5583293437957764},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5461063385009766},{"id":"https://openalex.org/C117222624","wikidata":"https://www.wikidata.org/wiki/Q7575010","display_name":"Specification","level":2,"score":0.5433089137077332},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5287829637527466},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5200095772743225},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.49573907256126404},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4243362843990326},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.20079049468040466},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10621458292007446},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09814727306365967},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0934852659702301}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/wsc.1994.717384","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wsc.1994.717384","pdf_url":null,"source":{"id":"https://openalex.org/S4363608840","display_name":"Proceedings of Winter Simulation Conference","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of Winter Simulation Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W32494919","https://openalex.org/W185385199","https://openalex.org/W798021849","https://openalex.org/W1523575843","https://openalex.org/W1544417740","https://openalex.org/W1581534768","https://openalex.org/W2024199418","https://openalex.org/W2042668228","https://openalex.org/W2068991673","https://openalex.org/W2077164759","https://openalex.org/W2091161585","https://openalex.org/W2135028832","https://openalex.org/W2293624369","https://openalex.org/W2582485868","https://openalex.org/W4245324580"],"related_works":["https://openalex.org/W2047524021","https://openalex.org/W2558572842","https://openalex.org/W2158159493","https://openalex.org/W239966521","https://openalex.org/W3048422056","https://openalex.org/W2136463869","https://openalex.org/W2164362143","https://openalex.org/W2211523418","https://openalex.org/W2086075944","https://openalex.org/W1523195236"],"abstract_inverted_index":{"Creating":[0],"efficient":[1,94],"implementations":[2],"for":[3],"discrete":[4],"event":[5],"models":[6],"with":[7,23,34],"complex":[8],"behaviors":[9,19],"is":[10,28,58,110],"often":[11],"difficult.":[12],"The":[13],"task":[14],"of":[15,45,69,92,114],"correctly":[16],"specifying":[17],"intended":[18,37],"even":[20],"without":[21],"dealing":[22],"implementation":[24,55],"and":[25,57,122],"run-time":[26],"details":[27,56],"challenging.":[29],"We":[30,96],"describe":[31,116],"ongoing":[32],"work":[33,99],"Condition":[35,50,101],"Specifications":[36],"to":[38,60,75,84,108],"support":[39],"a":[40,46],"modeler":[41,83],"in":[42,112,127],"the":[43,76,82],"creation":[44,91],"model":[47,77],"specification.":[48],"A":[49],"Specification":[51],"includes":[52],"no":[53],"low-level":[54],"amenable":[59],"static":[61],"analysis":[62,113,118],"which":[63,79],"can":[64,119],"1)":[65],"identify":[66],"some":[67,104,124],"types":[68],"specification":[70,86],"errors,":[71,87],"2)":[72],"provide":[73],"feedback":[74],"specifier":[78],"might":[80],"allow":[81],"detect":[85],"or":[88],"3)":[89],"assist":[90],"an":[93],"implementation.":[95],"review":[97],"previous":[98],"on":[100],"Specifications,":[102],"present":[103],"important":[105],"results":[106],"related":[107],"what":[109],"achievable":[111],"specifications,":[115],"how":[117],"be":[120],"performed":[121],"discuss":[123],"current":[125],"activities":[126],"this":[128],"area.":[129]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}