{"id":"https://openalex.org/W2148040915","doi":"https://doi.org/10.1109/coginf.2005.1532649","title":"Formal specification of CORBA-based distributed objects and behaviors","display_name":"Formal specification of CORBA-based distributed objects and behaviors","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W2148040915","doi":"https://doi.org/10.1109/coginf.2005.1532649","mag":"2148040915"},"language":"en","primary_location":{"id":"doi:10.1109/coginf.2005.1532649","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coginf.2005.1532649","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fourth IEEE Conference on Cognitive Informatics, 2005. (ICCI 2005).","raw_type":"proceedings-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/A5034445887","display_name":"Cyprian F. Ngolah","orcid":null},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"C.F. Ngolah","raw_affiliation_strings":["Theoretical and Empirical Software Engineering Research Center, Department of Electrical and Computer Engineering, University of Calgary, Calgary, AB, Canada"],"affiliations":[{"raw_affiliation_string":"Theoretical and Empirical Software Engineering Research Center, Department of Electrical and Computer Engineering, University of Calgary, Calgary, AB, Canada","institution_ids":["https://openalex.org/I168635309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012322217","display_name":"Yingxu Wang","orcid":"https://orcid.org/0000-0003-0445-3632"},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Yingxu Wang","raw_affiliation_strings":["Theoretical and Empirical Software Engineering Research Center, Department of Electrical and Computer Engineering, University of Calgary, Calgary, AB, Canada"],"affiliations":[{"raw_affiliation_string":"Theoretical and Empirical Software Engineering Research Center, Department of Electrical and Computer Engineering, University of Calgary, Calgary, AB, Canada","institution_ids":["https://openalex.org/I168635309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5034445887"],"corresponding_institution_ids":["https://openalex.org/I168635309"],"apc_list":null,"apc_paid":null,"fwci":0.8775,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.81377174,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"1628","issue":null,"first_page":"331","last_page":"339"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13062","display_name":"Cognitive Computing and Networks","score":0.9998999834060669,"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/T13062","display_name":"Cognitive Computing and Networks","score":0.9998999834060669,"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/T12805","display_name":"Cognitive Science and Mapping","score":0.9445000290870667,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9301000237464905,"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/common-object-request-broker-architecture","display_name":"Common Object Request Broker Architecture","score":0.9457876682281494},{"id":"https://openalex.org/keywords/distributed-object","display_name":"Distributed object","score":0.8285354375839233},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8249380588531494},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.7025942206382751},{"id":"https://openalex.org/keywords/method","display_name":"Method","score":0.6355631351470947},{"id":"https://openalex.org/keywords/middleware","display_name":"Middleware (distributed applications)","score":0.6276216506958008},{"id":"https://openalex.org/keywords/tuple","display_name":"Tuple","score":0.5889101028442383},{"id":"https://openalex.org/keywords/object-request-broker","display_name":"Object request broker","score":0.5735949277877808},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.48754093050956726},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4777992367744446},{"id":"https://openalex.org/keywords/object-model","display_name":"Object model","score":0.47161343693733215},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.44266825914382935},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.4412086009979248},{"id":"https://openalex.org/keywords/interoperable-object-reference","display_name":"Interoperable Object Reference","score":0.42802348732948303},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4161442220211029},{"id":"https://openalex.org/keywords/object-oriented-design","display_name":"Object-oriented design","score":0.4137463867664337},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.404170960187912},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21918976306915283}],"concepts":[{"id":"https://openalex.org/C49312422","wikidata":"https://www.wikidata.org/wiki/Q691593","display_name":"Common Object Request Broker Architecture","level":2,"score":0.9457876682281494},{"id":"https://openalex.org/C81192388","wikidata":"https://www.wikidata.org/wiki/Q5283169","display_name":"Distributed object","level":3,"score":0.8285354375839233},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8249380588531494},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.7025942206382751},{"id":"https://openalex.org/C512554520","wikidata":"https://www.wikidata.org/wiki/Q815844","display_name":"Method","level":3,"score":0.6355631351470947},{"id":"https://openalex.org/C169468491","wikidata":"https://www.wikidata.org/wiki/Q146923","display_name":"Middleware (distributed applications)","level":2,"score":0.6276216506958008},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.5889101028442383},{"id":"https://openalex.org/C48914193","wikidata":"https://www.wikidata.org/wiki/Q1366152","display_name":"Object request broker","level":4,"score":0.5735949277877808},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48754093050956726},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4777992367744446},{"id":"https://openalex.org/C20894473","wikidata":"https://www.wikidata.org/wiki/Q1116105","display_name":"Object model","level":3,"score":0.47161343693733215},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.44266825914382935},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.4412086009979248},{"id":"https://openalex.org/C204671669","wikidata":"https://www.wikidata.org/wiki/Q1413463","display_name":"Interoperable Object Reference","level":4,"score":0.42802348732948303},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4161442220211029},{"id":"https://openalex.org/C53073257","wikidata":"https://www.wikidata.org/wiki/Q7075021","display_name":"Object-oriented design","level":3,"score":0.4137463867664337},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.404170960187912},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21918976306915283},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","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},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/coginf.2005.1532649","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coginf.2005.1532649","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fourth IEEE Conference on Cognitive Informatics, 2005. (ICCI 2005).","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5199999809265137,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W105267039","https://openalex.org/W1483241283","https://openalex.org/W1511202038","https://openalex.org/W1599457040","https://openalex.org/W1606779181","https://openalex.org/W1991507543","https://openalex.org/W2144561420","https://openalex.org/W2155436186","https://openalex.org/W6636498733"],"related_works":["https://openalex.org/W2377023488","https://openalex.org/W2126128624","https://openalex.org/W2803912447","https://openalex.org/W2293608804","https://openalex.org/W2053119784","https://openalex.org/W2128203364","https://openalex.org/W2362598942","https://openalex.org/W2009353777","https://openalex.org/W228612991","https://openalex.org/W1503921486"],"abstract_inverted_index":{"A":[0,133],"distributed":[1,75,92,173,187],"object":[2,43,93,113,126,137,146],"system":[3],"consists":[4],"of":[5,8,47,60,74,88,136,144,151,171,182,185],"a":[6,117,149,172,179,192],"set":[7,135,150],"objects":[9,63,76,188],"that":[10,28],"interact":[11],"by":[12,90,116],"invoking":[13],"services":[14],"to":[15,31,97,129,140,155,158,167],"one":[16],"another.":[17],"For":[18],"successful":[19],"cooperation":[20],"between":[21],"these":[22],"objects,":[23],"they":[24],"must":[25],"have":[26],"capabilities":[27],"enable":[29],"them":[30],"represent,":[32],"use":[33],"and":[34,51,67,147],"share":[35],"information.":[36],"Existing":[37],"middleware":[38],"technologies":[39],"define":[40],"the":[41,61,72,79,98,104,125,134,169,183,186],"remote":[42,62],"classes":[44],"in":[45,65,108],"terms":[46],"their":[48],"interfaces":[49],"only":[50],"do":[52],"not":[53],"give":[54],"any":[55],"semantic":[56],"or":[57],"behavioral":[58],"specifications":[59],"resident":[64],"clients":[66],"servers.":[68],"This":[69],"paper":[70],"formalizes":[71],"behavior":[73,184],"based":[77],"on":[78,176],"Common":[80],"Object":[81],"Request":[82],"Broker":[83],"Architecture":[84],"(CORBA).":[85],"The":[86],"capturing":[87],"information":[89,100,110],"each":[91],"can":[94],"be":[95],"compared":[96],"way":[99],"is":[101,114,165,189],"captured":[102],"using":[103],"Object-Attribute-Relation":[105],"(OAR)":[106],"model":[107,168],"which":[109],"about":[111],"an":[112,131,145],"represented":[115],"3-tuple":[118],"(0,":[119],"A,":[120],"R),":[121],"where":[122],"O":[123],"represents":[124],"ID":[127],"used":[128,139,154,166],"identify":[130],"object,":[132],"attributes":[138],"denote":[141],"detailed":[142],"characteristics":[143],"R":[148],"defined":[152],"relationships":[153],"make":[156],"connections":[157],"other":[159],"objects.":[160],"Real-Time":[161],"Process":[162],"Algebra":[163],"(RTPA)":[164],"architecture":[170],"system.":[174],"Based":[175],"this":[177],"architecture,":[178],"formal":[180],"specification":[181],"presented":[190],"through":[191],"case":[193],"study.":[194]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}
