{"id":"https://openalex.org/W1972862368","doi":"https://doi.org/10.1002/1096-9128(20001210)12:14<1379::aid-cpe514>3.0.co;2-b","title":"A formal notation and tool for the engineering of CORBA systems","display_name":"A formal notation and tool for the engineering of CORBA systems","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W1972862368","doi":"https://doi.org/10.1002/1096-9128(20001210)12:14<1379::aid-cpe514>3.0.co;2-b","mag":"1972862368"},"language":"en","primary_location":{"id":"doi:10.1002/1096-9128(20001210)12:14<1379::aid-cpe514>3.0.co;2-b","is_oa":false,"landing_page_url":"https://doi.org/10.1002/1096-9128(20001210)12:14<1379::aid-cpe514>3.0.co;2-b","pdf_url":null,"source":{"id":"https://openalex.org/S4210209928","display_name":"Concurrency Practice and Experience","issn_l":"1040-3108","issn":["1040-3108","1096-9128"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Concurrency: Practice and Experience","raw_type":"journal-article"},"type":"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/A5111540791","display_name":"R\ufffdmi Bastide","orcid":null},"institutions":[{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 de Toulouse","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"R\ufffdmi Bastide","raw_affiliation_strings":["LIHS-FROGIS, Universite\u0301 Toulouse I, Place Anatole France, F-31042 Toulouse CEDEX, France","LIHS-FROGIS, Universit\u00e9 Toulouse I, Place Anatole France, F-31042 Toulouse CEDEX, France"],"affiliations":[{"raw_affiliation_string":"LIHS-FROGIS, Universite\u0301 Toulouse I, Place Anatole France, F-31042 Toulouse CEDEX, France","institution_ids":["https://openalex.org/I17866349"]},{"raw_affiliation_string":"LIHS-FROGIS, Universit\u00e9 Toulouse I, Place Anatole France, F-31042 Toulouse CEDEX, France","institution_ids":["https://openalex.org/I17866349"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102465879","display_name":"Ousmane Sy","orcid":null},"institutions":[{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 de Toulouse","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Ousmane Sy","raw_affiliation_strings":["LIHS-FROGIS, Universite\u0301 Toulouse I, Place Anatole France, F-31042 Toulouse CEDEX, France","LIHS-FROGIS, Universit\u00e9 Toulouse I, Place Anatole France, F-31042 Toulouse CEDEX, France"],"affiliations":[{"raw_affiliation_string":"LIHS-FROGIS, Universite\u0301 Toulouse I, Place Anatole France, F-31042 Toulouse CEDEX, France","institution_ids":["https://openalex.org/I17866349"]},{"raw_affiliation_string":"LIHS-FROGIS, Universit\u00e9 Toulouse I, Place Anatole France, F-31042 Toulouse CEDEX, France","institution_ids":["https://openalex.org/I17866349"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009649999","display_name":"Philippe Palanque","orcid":"https://orcid.org/0000-0002-5381-971X"},"institutions":[{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 de Toulouse","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Philippe Palanque","raw_affiliation_strings":["LIHS-FROGIS, Universite\u0301 Toulouse I, Place Anatole France, F-31042 Toulouse CEDEX, France","LIHS-FROGIS, Universit\u00e9 Toulouse I, Place Anatole France, F-31042 Toulouse CEDEX, France"],"affiliations":[{"raw_affiliation_string":"LIHS-FROGIS, Universite\u0301 Toulouse I, Place Anatole France, F-31042 Toulouse CEDEX, France","institution_ids":["https://openalex.org/I17866349"]},{"raw_affiliation_string":"LIHS-FROGIS, Universit\u00e9 Toulouse I, Place Anatole France, F-31042 Toulouse CEDEX, France","institution_ids":["https://openalex.org/I17866349"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5111540791"],"corresponding_institution_ids":["https://openalex.org/I17866349"],"apc_list":null,"apc_paid":null,"fwci":0.4542,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.63107098,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"12","issue":"14","first_page":"1379","last_page":"1403"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998000264167786,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9998000264167786,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9988999962806702,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/common-object-request-broker-architecture","display_name":"Common Object Request Broker Architecture","score":0.892349362373352},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8429552316665649},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7463134527206421},{"id":"https://openalex.org/keywords/interface-description-language","display_name":"Interface description language","score":0.7440725564956665},{"id":"https://openalex.org/keywords/interoperable-object-reference","display_name":"Interoperable Object Reference","score":0.5839301347732544},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.48257604241371155},{"id":"https://openalex.org/keywords/interoperability","display_name":"Interoperability","score":0.4719998836517334},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.4334244728088379},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4255639612674713},{"id":"https://openalex.org/keywords/distributed-object","display_name":"Distributed object","score":0.4234338104724884},{"id":"https://openalex.org/keywords/user-interface","display_name":"User interface","score":0.2583863139152527},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1055648922920227}],"concepts":[{"id":"https://openalex.org/C49312422","wikidata":"https://www.wikidata.org/wiki/Q691593","display_name":"Common Object Request Broker Architecture","level":2,"score":0.892349362373352},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8429552316665649},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7463134527206421},{"id":"https://openalex.org/C177216440","wikidata":"https://www.wikidata.org/wiki/Q1044749","display_name":"Interface description language","level":3,"score":0.7440725564956665},{"id":"https://openalex.org/C204671669","wikidata":"https://www.wikidata.org/wiki/Q1413463","display_name":"Interoperable Object Reference","level":4,"score":0.5839301347732544},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.48257604241371155},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.4719998836517334},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.4334244728088379},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4255639612674713},{"id":"https://openalex.org/C81192388","wikidata":"https://www.wikidata.org/wiki/Q5283169","display_name":"Distributed object","level":3,"score":0.4234338104724884},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.2583863139152527},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1055648922920227},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","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":1,"locations":[{"id":"doi:10.1002/1096-9128(20001210)12:14<1379::aid-cpe514>3.0.co;2-b","is_oa":false,"landing_page_url":"https://doi.org/10.1002/1096-9128(20001210)12:14<1379::aid-cpe514>3.0.co;2-b","pdf_url":null,"source":{"id":"https://openalex.org/S4210209928","display_name":"Concurrency Practice and Experience","issn_l":"1040-3108","issn":["1040-3108","1096-9128"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Concurrency: Practice and Experience","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W47979474","https://openalex.org/W95908627","https://openalex.org/W190004237","https://openalex.org/W602391989","https://openalex.org/W1503271569","https://openalex.org/W1531114667","https://openalex.org/W1532631480","https://openalex.org/W1534850333","https://openalex.org/W1535477309","https://openalex.org/W1549974765","https://openalex.org/W1551214605","https://openalex.org/W1554183872","https://openalex.org/W1562528106","https://openalex.org/W1566447456","https://openalex.org/W1583095677","https://openalex.org/W1584457353","https://openalex.org/W1759712729","https://openalex.org/W1851051181","https://openalex.org/W1966037709","https://openalex.org/W1994188141","https://openalex.org/W1994653831","https://openalex.org/W1997422892","https://openalex.org/W2050890381","https://openalex.org/W2120728757","https://openalex.org/W2121163444","https://openalex.org/W2129518651","https://openalex.org/W2134026332","https://openalex.org/W2151055462","https://openalex.org/W2912062820","https://openalex.org/W3209425045","https://openalex.org/W4213312309","https://openalex.org/W6632030194","https://openalex.org/W6633042868","https://openalex.org/W6633892975","https://openalex.org/W6637683540","https://openalex.org/W6639017857","https://openalex.org/W6678919994","https://openalex.org/W6758400797","https://openalex.org/W6803199906"],"related_works":["https://openalex.org/W2372491645","https://openalex.org/W2348430094","https://openalex.org/W2362598942","https://openalex.org/W2380304044","https://openalex.org/W2129518651","https://openalex.org/W3151554246","https://openalex.org/W2362193307","https://openalex.org/W1524224399","https://openalex.org/W2227902838","https://openalex.org/W2128230745"],"abstract_inverted_index":{"CORBA":[0,20,41,87,119,146],"is":[1,66,157],"a":[2,22,94,124,168],"standard":[3],"proposed":[4],"by":[5,37,93],"the":[6,31,50,61,75,80,86,106,115,118,143,154,175,190,194,208],"Object":[7],"Management":[8],"Group":[9],"(OMG)":[10],"in":[11,54,69,74,136],"order":[12],"to":[13,48,84,128,164],"promote":[14],"interoperability":[15],"between":[16],"distributed":[17,91,169],"object":[18,120,170],"systems.":[19],"provides":[21],"programming-language":[23],"neutral":[24],"Interface":[25],"Definition":[26],"Language":[27],"(IDL)":[28],"that":[29,192],"describes":[30],"syntactic":[32,107],"aspects":[33],"of":[34,52,90,117,145,177,189,196,205,207,215],"services":[35],"supported":[36],"remote":[38],"objects.":[39],"However,":[40],"IDL":[42],"does":[43],"not":[44],"provide":[45],"any":[46],"means":[47],"specify":[49],"behavior":[51,144],"objects":[53,92,179],"an":[55,137],"abstract":[56],"and":[57,108,140,151,166,198],"formal":[58],"way.":[59],"In":[60],"current":[62],"practice,":[63],"behavioral":[64,95,155,216],"specification":[65,96,156],"provided":[67],"either":[68],"plain":[70],"English,":[71],"or":[72],"directly":[73],"programming":[76],"language":[77],"chosen":[78,209],"for":[79,212],"implementation.":[81],"We":[82,103,122],"propose":[83],"extend":[85],"interface":[88],"definition":[89],"based":[97],"on":[98],"high":[99,203],"level":[100,110,204],"Petri":[101],"nets.":[102],"detail":[104],"at":[105],"semantic":[109],"how":[111],"this":[112,160],"formalism":[113,210],"supports":[114,193],"features":[116],"model.":[121],"present":[123],"realistic":[125],"case":[126],"study":[127],"demonstrate":[129],"our":[130],"approach.":[131],"Our":[132],"technique":[133],"allows":[134,211],"specifying":[135],"abstract,":[138],"concise":[139],"precise":[141],"way":[142],"servers,":[147],"including":[148],"internal":[149],"concurrency":[150],"synchronization.":[152],"As":[153],"fully":[158],"executable,":[159],"approach":[161],"also":[162],"enables":[163],"prototype":[165],"test":[167],"system":[171],"as":[172,174],"soon":[173],"behaviors":[176],"individual":[178],"have":[180],"been":[181],"defined.":[182],"The":[183,202],"paper":[184],"discusses":[185],"several":[186],"implementation":[187],"issues":[188],"tool":[191],"edition":[195],"models":[197],"their":[199],"interactive":[200],"excution.":[201],"formality":[206],"mathematical":[213],"analysis":[214],"specifications.":[217],"Copyright":[218],"\u00a9":[219],"2000":[220],"John":[221],"Wiley":[222],"&":[223],"Sons,":[224],"Ltd.":[225]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}