{"id":"https://openalex.org/W1995732312","doi":"https://doi.org/10.1142/s0218843006001517","title":"VERIFICATION AND PREDICTION OF TIMED PROBABILISTIC PROPERTIES OVER THE DMTF CIM","display_name":"VERIFICATION AND PREDICTION OF TIMED PROBABILISTIC PROPERTIES OVER THE DMTF CIM","publication_year":2006,"publication_date":"2006-10-17","ids":{"openalex":"https://openalex.org/W1995732312","doi":"https://doi.org/10.1142/s0218843006001517","mag":"1995732312"},"language":"en","primary_location":{"id":"doi:10.1142/s0218843006001517","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218843006001517","pdf_url":null,"source":{"id":"https://openalex.org/S17147961","display_name":"International Journal of Cooperative Information Systems","issn_l":"0218-8430","issn":["0218-8430","1793-6365"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Cooperative Information Systems","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/A5105839462","display_name":"Iman Poernomo","orcid":null},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"IMAN POERNOMO","raw_affiliation_strings":["Department of Computer Science, King's College London, Strand, London, United Kingdom, WC2R2LS, United Kingdom","Informatics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, King's College London, Strand, London, United Kingdom, WC2R2LS, United Kingdom","institution_ids":["https://openalex.org/I183935753"]},{"raw_affiliation_string":"Informatics","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083422040","display_name":"Heinz Schmidt","orcid":"https://orcid.org/0000-0001-6278-4793"},"institutions":[{"id":"https://openalex.org/I56590836","display_name":"Monash University","ror":"https://ror.org/02bfwt286","country_code":"AU","type":"education","lineage":["https://openalex.org/I56590836"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"HEINZ SCHMIDT","raw_affiliation_strings":["Clayton School of Information Technology, Monash University, Wellington Road, Clayton, Victoria 3800, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Clayton School of Information Technology, Monash University, Wellington Road, Clayton, Victoria 3800, Australia","institution_ids":["https://openalex.org/I56590836"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110783401","display_name":"Jane Jayaputera","orcid":null},"institutions":[{"id":"https://openalex.org/I56590836","display_name":"Monash University","ror":"https://ror.org/02bfwt286","country_code":"AU","type":"education","lineage":["https://openalex.org/I56590836"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"JANE JAYAPUTERA","raw_affiliation_strings":["Clayton School of Information Technology, Monash University, Wellington Road, Clayton, Victoria 3800, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Clayton School of Information Technology, Monash University, Wellington Road, Clayton, Victoria 3800, Australia","institution_ids":["https://openalex.org/I56590836"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4215,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.82561921,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"15","issue":"04","first_page":"633","last_page":"658"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9976000189781189,"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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9976000189781189,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9973000288009644,"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/T10260","display_name":"Software Engineering Research","score":0.9954000115394592,"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.878703773021698},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7662699222564697},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6381757855415344},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5738586783409119},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5015425682067871},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4570472538471222},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4477809965610504},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4259015917778015},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34167924523353577},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19851276278495789}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.878703773021698},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7662699222564697},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6381757855415344},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5738586783409119},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5015425682067871},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4570472538471222},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4477809965610504},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4259015917778015},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34167924523353577},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19851276278495789},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","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},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1142/s0218843006001517","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218843006001517","pdf_url":null,"source":{"id":"https://openalex.org/S17147961","display_name":"International Journal of Cooperative Information Systems","issn_l":"0218-8430","issn":["0218-8430","1793-6365"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Cooperative Information Systems","raw_type":"journal-article"},{"id":"pmh:oai:alma.61RMIT_INST:11248302700001341","is_oa":false,"landing_page_url":"http://doi.org/10.1142/S0218843006001517","pdf_url":null,"source":{"id":"https://openalex.org/S4306402074","display_name":"RMIT Research Repository (RMIT University Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I82951845","host_organization_name":"RMIT University","host_organization_lineage":["https://openalex.org/I82951845"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:kclpure.kcl.ac.uk:publications/3b2f0ef6-f7e4-4633-8f2b-8eec3c8c10dd","is_oa":false,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/en/publications/3b2f0ef6-f7e4-4633-8f2b-8eec3c8c10dd","pdf_url":null,"source":{"id":"https://openalex.org/S4306400216","display_name":"Research Portal (King's College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I183935753","host_organization_name":"King's College London","host_organization_lineage":["https://openalex.org/I183935753"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Poernomo, I, Schmidt, H & Jayaputera, J 2006, 'Verification and Prediction of Timed Probabilistic Properties Over the Distributed Management Taskforce Common Information Model', INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, vol. 15, no. 4, 0, pp. 633 - 658. https://doi.org/10.1142/S0218843006001517","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6100000143051147,"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":6,"referenced_works":["https://openalex.org/W2005998857","https://openalex.org/W2103344086","https://openalex.org/W2132782512","https://openalex.org/W2155911755","https://openalex.org/W3183224878","https://openalex.org/W4229539396"],"related_works":["https://openalex.org/W2245685274","https://openalex.org/W2002931343","https://openalex.org/W3042312155","https://openalex.org/W2472677114","https://openalex.org/W3021003119","https://openalex.org/W3007870257","https://openalex.org/W2610513781","https://openalex.org/W2112801462","https://openalex.org/W2910115471","https://openalex.org/W2146445117"],"abstract_inverted_index":{"Understanding":[0],"nonfunctional":[1,17,45,187],"aspects":[2,162],"of":[3,10,41,47,72,101,115,124,136,153,163,186,199],"system":[4,18,209],"behavior":[5,83,118],"is":[6,108,139,158],"an":[7,164,216],"essential":[8],"component":[9],"practical":[11],"software":[12],"development":[13],"and":[14,23,27,39,43,55,126,171,192],"maintenance.":[15],"Many":[16],"properties,":[19],"such":[20],"as":[21],"reliability":[22],"availability,":[24],"involve":[25],"time":[26],"probabilities.":[28],"In":[29],"this":[30,97],"paper,":[31],"we":[32],"present":[33],"a":[34,68,77,93,183],"framework":[35],"for":[36,79,96,151,189,208],"runtime":[37,190],"verification":[38,191],"prediction":[40,145,193],"timed":[42,81],"probabilistic":[44,82],"properties":[46,188],"component-based":[48],"architectures,":[49],"built":[50],"using":[51],"the":[52,56,121,137,148,161,176,213],"Meta-Object":[53],"Facility":[54],"Distributed":[57],"Management":[58],"Task":[59],"Force's":[60],"Common":[61],"Information":[62],"Model":[63],"(CIM)":[64],"standard.":[65],"We":[66,75,91,195],"describe":[67,182],"Microsoft":[69],".NET-based":[70],"implementation":[71],"our":[73,154,200],"framework.":[74],"define":[76,205],"language":[78,98,177,201],"describing":[80],"based":[84],"on":[85],"Probabilistic":[86],"Computational":[87],"Tree":[88],"Logic":[89],"(PCTL).":[90],"provide":[92],"formal":[94],"semantics":[95,107,138,157,214],"in":[99,110,131],"terms":[100],"observed":[102],"application":[103,165],"execution":[104],"traces.":[105,132],"The":[106,133,156],"interesting":[109],"that":[111,166],"it":[112],"permits":[113],"checking":[114],"required":[116],"timing":[117],"both":[119],"over":[120,128,160],"overall":[122],"average":[123],"traces":[125],"also":[127],"local":[129],"\"trends\"":[130],"latter":[134],"aspect":[135],"achieved":[140],"by":[141,169],"incorporating":[142],"exponential":[143],"smoothing":[144],"techniques":[146],"into":[147],"truth":[149],"function":[150],"statements":[152,198],"language.":[155],"generic":[159],"are":[167,202],"represented":[168],"states":[170],"state":[172],"transitions.":[173],"This":[174],"enables":[175],"to":[178,181,204,215],"be":[179],"used":[180,203],"wide":[184],"range":[185],"purposes.":[194],"explain":[196],"how":[197],"precise":[206],"contracts":[207],"monitoring,":[210],"through":[211],"relating":[212],"extended":[217],"CIM":[218],"monitoring":[219],"infrastructure.":[220]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2016-06-24T00:00:00"}