乐胖代购免代理版

{"id":"https://openalex.org/W2954771345","doi":"https://doi.org/10.5381/jot.2019.18.2.a12","title":"Formal reasoning over class models using TOMM.","display_name":"Formal reasoning over class models using TOMM.","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2954771345","doi":"https://doi.org/10.5381/jot.2019.18.2.a12","mag":"2954771345"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.5381/jot.2019.18.2.a12","pdf_url":"http://www.jot.fm/issues/issue_2019_02/article12.pdf","source":{"id":"https://openalex.org/S172897590","display_name":"The Journal of Object Technology","issn_l":"1660-1769","issn":["1660-1769"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4383699229","host_organization_name":"EtH Zurich","host_organization_lineage":["https://openalex.org/P4383699229"],"host_organization_lineage_names":["EtH Zurich"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://www.jot.fm/issues/issue_2019_02/article12.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091643305","display_name":"Juan Jose Mendoza Santana","orcid":null},"institutions":[{"id":"https://openalex.org/I16835326","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54","country_code":"GB","type":"education","lineage":["https://openalex.org/I16835326"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Juan Jose Mendoza Santana","raw_affiliation_strings":[". School of Computer Science, University of St Andrews, UK"],"affiliations":[{"raw_affiliation_string":". School of Computer Science, University of St Andrews, UK","institution_ids":["https://openalex.org/I16835326"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004629504","display_name":"Juliana Bowles","orcid":"https://orcid.org/0000-0002-5918-9114"},"institutions":[{"id":"https://openalex.org/I16835326","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54","country_code":"GB","type":"education","lineage":["https://openalex.org/I16835326"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Juliana Ku\u0308ster Filipe Bowles","raw_affiliation_strings":[". School of Computer Science, University of St Andrews, UK"],"affiliations":[{"raw_affiliation_string":". School of Computer Science, University of St Andrews, UK","institution_ids":["https://openalex.org/I16835326"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":61},"biblio":{"volume":"18","issue":"2","first_page":"12:1","last_page":"12:1"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9947,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9947,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9665,"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"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9481,"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":[],"concepts":[{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.6145361},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.60761225},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.33108914}],"mesh":[],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.5381/jot.2019.18.2.a12","pdf_url":"http://www.jot.fm/issues/issue_2019_02/article12.pdf","source":{"id":"https://openalex.org/S172897590","display_name":"The Journal of Object Technology","issn_l":"1660-1769","issn":["1660-1769"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4383699229","host_organization_name":"EtH Zurich","host_organization_lineage":["https://openalex.org/P4383699229"],"host_organization_lineage_names":["EtH Zurich"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://hdl.handle.net/10023/18047","pdf_url":"https://research-repository.st-andrews.ac.uk/bitstream/10023/18047/1/Santana_2019_Formal_reasoning_JOT_12.pdf","source":{"id":"https://openalex.org/S4306400230","display_name":"St Andrews Research Repository (St Andrews Research Repository)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I16835326","host_organization_name":"University of St Andrews","host_organization_lineage":["https://openalex.org/I16835326"],"host_organization_lineage_names":["University of St Andrews"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.5381/jot.2019.18.2.a12","pdf_url":"http://www.jot.fm/issues/issue_2019_02/article12.pdf","source":{"id":"https://openalex.org/S172897590","display_name":"The Journal of Object Technology","issn_l":"1660-1769","issn":["1660-1769"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4383699229","host_organization_name":"EtH Zurich","host_organization_lineage":["https://openalex.org/P4383699229"],"host_organization_lineage_names":["EtH Zurich"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":46,"referenced_works":["https://openalex.org/W1452772591","https://openalex.org/W1508005281","https://openalex.org/W1510078815","https://openalex.org/W1523575811","https://openalex.org/W1541857386","https://openalex.org/W1548625203","https://openalex.org/W1551104980","https://openalex.org/W1553078293","https://openalex.org/W1574837706","https://openalex.org/W1597013636","https://openalex.org/W1794148987","https://openalex.org/W1817859439","https://openalex.org/W185949327","https://openalex.org/W1913369581","https://openalex.org/W1936022305","https://openalex.org/W2028316101","https://openalex.org/W2038663983","https://openalex.org/W2061962473","https://openalex.org/W2075350371","https://openalex.org/W2103364805","https://openalex.org/W2104577599","https://openalex.org/W2105446523","https://openalex.org/W2111445678","https://openalex.org/W2111915847","https://openalex.org/W2115904912","https://openalex.org/W2119284483","https://openalex.org/W2123396057","https://openalex.org/W2127778125","https://openalex.org/W2132334337","https://openalex.org/W2140225592","https://openalex.org/W2151397158","https://openalex.org/W2159835652","https://openalex.org/W2280442484","https://openalex.org/W2295724997","https://openalex.org/W2379304387","https://openalex.org/W2591138115","https://openalex.org/W260390292","https://openalex.org/W2884755547","https://openalex.org/W2994267114","https://openalex.org/W4213186429","https://openalex.org/W4232056016","https://openalex.org/W4256009338","https://openalex.org/W4295022788","https://openalex.org/W4297660758","https://openalex.org/W4301968143","https://openalex.org/W4360930346"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2530322880","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2001405890"],"abstract_inverted_index":{"Class":[0],"diagrams":[1,56],"are":[2],"widely":[3],"used":[4,76],"in":[5,33],"modelling":[6,30],"and":[7,19,28,37,70,84,90],"system":[8,20],"design.They":[9],"capture":[10],"the":[11,14,47,53,63,66],"relation":[12],"between":[13],"requirements":[15,27],"specification":[16],"(problem":[17],"domain)":[18],"components":[21],"(solution":[22],"domain).However,":[23],"constant":[24],"changes":[25],"to":[26,50],"manual":[29],"may":[31],"result":[32],"invalid":[34,39],"software":[35,40],"models,":[36,83],"potentially":[38,85],"solutions.We":[41],"propose":[42],"an":[43],"automated":[44],"approach":[45],"at":[46],"meta-model":[48],"level":[49],"reason":[51],"about":[52],"validity":[54],"of":[55,65,79],"and/or":[57],"their":[58],"associated":[59],"requirements.This":[60],"paper":[61],"introduces":[62],"foundations":[64],"formal":[67],"framework":[68],"TOMM,":[69],"illustrates":[71],"how":[72],"it":[73],"can":[74],"be":[75],"for":[77,87],"validation":[78],"class":[80],"diagram":[81],"based":[82],"extended":[86],"model":[88],"generation":[89],"comparison.":[91]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2954771345","counts_by_year":[],"updated_date":"2024-12-12T21:02:49.786676","created_date":"2019-07-12"}