乐胖代购免代理版

{"id":"https://openalex.org/W3163686038","doi":"https://doi.org/10.1145/974044.974047","title":"Software performance modelling using PEPA nets","display_name":"Software performance modelling using PEPA nets","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W3163686038","doi":"https://doi.org/10.1145/974044.974047","mag":"3163686038"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/974044.974047","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"preprint","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.research.ed.ac.uk/files/13471527/pepanetsprism.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000114432","display_name":"Stephen Gilmore","orcid":"https://orcid.org/0000-0002-3657-989X"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Stephen Gilmore","raw_affiliation_strings":["The University of Edinburgh, Scotland"],"affiliations":[{"raw_affiliation_string":"The University of Edinburgh, Scotland","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035860397","display_name":"Jane Hillston","orcid":"https://orcid.org/0000-0003-4914-9255"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jane Hillston","raw_affiliation_strings":["The University of Edinburgh, Scotland"],"affiliations":[{"raw_affiliation_string":"The University of Edinburgh, Scotland","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054603304","display_name":"Le\u0131\u0308la Kloul","orcid":null},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Le\u00efla Kloul","raw_affiliation_strings":["The University of Edinburgh, Scotland"],"affiliations":[{"raw_affiliation_string":"The University of Edinburgh, Scotland","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089677272","display_name":"Marina Ribaudo","orcid":"https://orcid.org/0000-0003-0697-2225"},"institutions":[{"id":"https://openalex.org/I4210108802","display_name":"Gestione Sistemi per l\u2019Informatica (Italy)","ror":"https://ror.org/01gyw2394","country_code":"IT","type":"company","lineage":["https://openalex.org/I4210108802"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marina Ribaudo","raw_affiliation_strings":["DISI-Dipartimento di Informatica e Scienze dell'lnformazione, Genova, Italy"],"affiliations":[{"raw_affiliation_string":"DISI-Dipartimento di Informatica e Scienze dell'lnformazione, Genova, Italy","institution_ids":["https://openalex.org/I4210108802"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":25,"citation_normalized_percentile":{"value":0.91565,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":89},"biblio":{"volume":null,"issue":null,"first_page":"13","last_page":"23"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9994,"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.9994,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9985,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.998,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.6485976},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.58859056},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.47064298},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.43678087}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.82901955},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6620867},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.6485976},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.58859056},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.5244284},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5161882},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.47900957},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.47064298},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44372776},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.43678087},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32819712},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"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/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/974044.974047","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://hal.science/hal-00139912","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/portal/en/publications/software-performance-modelling-using-pepa-nets(62750ce0-e84c-431f-a9cf-0f3ce55a6b42).html","pdf_url":"https://www.research.ed.ac.uk/files/13471527/pepanetsprism.pdf","source":{"id":"https://openalex.org/S4306400320","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":["University of Edinburgh"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false},{"is_oa":true,"landing_page_url":"https://www.pure.ed.ac.uk/ws/files/13471527/pepanetsprism.pdf","pdf_url":"https://www.pure.ed.ac.uk/ws/files/13471527/pepanetsprism.pdf","source":{"id":"https://openalex.org/S4306400320","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":["University of Edinburgh"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/portal/en/publications/software-performance-modelling-using-pepa-nets(62750ce0-e84c-431f-a9cf-0f3ce55a6b42).html","pdf_url":"https://www.research.ed.ac.uk/files/13471527/pepanetsprism.pdf","source":{"id":"https://openalex.org/S4306400320","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":["University of Edinburgh"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false},"sustainable_development_goals":[{"score":0.49,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":6,"referenced_works":["https://openalex.org/W1511971157","https://openalex.org/W1976268573","https://openalex.org/W2133546079","https://openalex.org/W2171498329","https://openalex.org/W2710510407","https://openalex.org/W4241668691"],"related_works":["https://openalex.org/W4386989863","https://openalex.org/W2901841247","https://openalex.org/W2381491984","https://openalex.org/W2257573499","https://openalex.org/W2148229336","https://openalex.org/W2064254377","https://openalex.org/W2001922003","https://openalex.org/W1847176793","https://openalex.org/W1543378523","https://openalex.org/W117466158"],"abstract_inverted_index":{"Modelling":[0],"and":[1,4,31,41,113],"analysing":[2],"distributed":[3],"mobile":[5],"software":[6,47,73],"systems":[7],"is":[8,56],"a":[9,17,116],"challenging":[10],"task.":[11],"PEPA":[12,39,60,64,78,108],"nets---coloured":[13],"stochastic":[14,65],"Petri":[15],"nets---are":[16],"recently":[18],"introduced":[19],"modelling":[20,49,112],"formalism":[21],"which":[22,75],"clearly":[23],"capture":[24],"important":[25],"features":[26],"such":[27],"as":[28],"location,":[29],"synchronisation":[30],"message":[32],"passing.":[33],"In":[34,80],"this":[35,54,89],"paper":[36],"we":[37],"describe":[38],"nets":[40,61,109],"the":[42,57,72,77,96,105,111],"newly-developed":[43],"platform":[44],"support":[45,55,76],"for":[46],"performance":[48,87],"using":[50,101],"them.":[51],"Crucial":[52],"to":[53,70,82,98],"compilation":[58],"from":[59],"into":[62],"Hillston's":[63],"process":[66],"algebra":[67],"in":[68,110],"order":[69],"access":[71],"tools":[74,92],"algebra.":[79],"addition":[81],"derivation":[83],"of":[84,91,95,107,115],"steady":[85],"state":[86],"measures,":[88],"suite":[90],"allows":[93],"properties":[94],"system":[97],"be":[99],"verified":[100],"model-checking.":[102],"We":[103],"show":[104],"application":[106],"analysis":[114],"secure":[117],"Web":[118],"service.":[119]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3163686038","counts_by_year":[{"year":2012,"cited_by_count":2}],"updated_date":"2025-01-16T16:21:20.239506","created_date":"2021-05-24"}