乐胖代购免代理版

{"id":"https://openalex.org/W2146165236","doi":"https://doi.org/10.1109/cmpsac.1993.404207","title":"Entity behaviour descriptions-A specification model for communicating entities","display_name":"Entity behaviour descriptions-A specification model for communicating entities","publication_year":2002,"publication_date":"2002-12-30","ids":{"openalex":"https://openalex.org/W2146165236","doi":"https://doi.org/10.1109/cmpsac.1993.404207","mag":"2146165236"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/cmpsac.1993.404207","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5019200962","display_name":"Joanne L. Boyd","orcid":null},"institutions":[{"id":"https://openalex.org/I67031392","display_name":"Carleton University","ror":"https://ror.org/02qtvee93","country_code":"CA","type":"funder","lineage":["https://openalex.org/I67031392"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"J.L. Boyd","raw_affiliation_strings":["Dept of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada"],"affiliations":[{"raw_affiliation_string":"Dept of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada","institution_ids":["https://openalex.org/I67031392"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033040722","display_name":"G.M. Karam","orcid":"https://orcid.org/0000-0003-1108-5356"},"institutions":[{"id":"https://openalex.org/I67031392","display_name":"Carleton University","ror":"https://ror.org/02qtvee93","country_code":"CA","type":"funder","lineage":["https://openalex.org/I67031392"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"G.M. Karam","raw_affiliation_strings":["Dept of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada"],"affiliations":[{"raw_affiliation_string":"Dept of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada","institution_ids":["https://openalex.org/I67031392"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.255,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":2,"citation_normalized_percentile":{"value":0.236222,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":64,"max":68},"biblio":{"volume":null,"issue":null,"first_page":"2","last_page":"10"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9996,"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.9996,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9992,"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/traceability","display_name":"Traceability","score":0.68721277},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5710337},{"id":"https://openalex.org/keywords/behavioral-modeling","display_name":"Behavioral Modeling","score":0.45730454}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.80137527},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.7421351},{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.68721277},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6553571},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.59104156},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5860315},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5710337},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.46580654},{"id":"https://openalex.org/C78639753","wikidata":"https://www.wikidata.org/wiki/Q3318160","display_name":"Behavioral modeling","level":2,"score":0.45730454},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.42567006},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34214038},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/cmpsac.1993.404207","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":23,"referenced_works":["https://openalex.org/W1500110201","https://openalex.org/W1531229597","https://openalex.org/W1597459313","https://openalex.org/W174531364","https://openalex.org/W1948802341","https://openalex.org/W2010795160","https://openalex.org/W2048299435","https://openalex.org/W2049764332","https://openalex.org/W2054409309","https://openalex.org/W205664789","https://openalex.org/W2075079124","https://openalex.org/W2099529102","https://openalex.org/W2099937209","https://openalex.org/W2114154624","https://openalex.org/W2116936037","https://openalex.org/W2123985997","https://openalex.org/W2135714282","https://openalex.org/W2153733834","https://openalex.org/W2589217375","https://openalex.org/W2945526390","https://openalex.org/W3144368627","https://openalex.org/W38316647","https://openalex.org/W4238023202"],"related_works":["https://openalex.org/W4380301954","https://openalex.org/W4285661598","https://openalex.org/W2803090313","https://openalex.org/W2379549210","https://openalex.org/W2378709054","https://openalex.org/W2376767034","https://openalex.org/W2350918606","https://openalex.org/W2149848299","https://openalex.org/W2052375654","https://openalex.org/W1482465488"],"abstract_inverted_index":{"This":[0,38],"paper":[1],"presents":[2],"the":[3,12,32,44,47,51,54,82],"Entity":[4],"Behavior":[5],"Description":[6],"(EBD)":[7],"modelling":[8],"technique":[9],"for":[10],"specifying":[11],"behavioral":[13,67,86],"requirements":[14,87],"of":[15,18,35,46,53,76,85],"a":[16,22,73,77,89],"set":[17],"communicating":[19],"entities":[20],"in":[21,88],"concurrent":[23],"system.":[24],"EBDs":[25,56],"are":[26,57,72],"finite":[27],"state":[28],"machines":[29],"which":[30,62,80],"describe":[31],"abstract":[33,39],"behaviour":[34],"an":[36],"entity.":[37],"behavior":[40],"is":[41],"defined":[42],"as":[43,70],"combination":[45],"application-specific":[48],"behavior,":[49],"and":[50],"semantics":[52,61],"communications.":[55],"given":[58],"formal":[59],"operational":[60],"explicitly":[63],"separate":[64],"these":[65],"two":[66],"components;":[68],"and,":[69],"such,":[71],"fundamental":[74],"component":[75],"design":[78],"process":[79],"emphasizes":[81],"strong":[83],"traceability":[84],"design.<":[90],">":[93]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2146165236","counts_by_year":[],"updated_date":"2025-02-18T09:54:58.728116","created_date":"2016-06-24"}