{"id":"https://openalex.org/W2286408538","doi":"https://doi.org/10.5220/0004321200620074","title":"Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification","display_name":"Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W2286408538","doi":"https://doi.org/10.5220/0004321200620074","mag":"2286408538"},"language":"en","primary_location":{"id":"doi:10.5220/0004321200620074","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0004321200620074","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.5220/0004321200620074","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068614793","display_name":"Bertrand Boisvert","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Bertrand Boisvert","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075438193","display_name":"Louis F\u00e9raud","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Louis F\u00e9raud","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5110838269","display_name":"Sergei Soloviev","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sergei Soloviev","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5068614793"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1484629,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"62","last_page":"74"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","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"}},"topics":[{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9936000108718872,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9846000075340271,"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/mathematical-proof","display_name":"Mathematical proof","score":0.7485655546188354},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7244122624397278},{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.6154334545135498},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5751171112060547},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.574487566947937},{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.5533372163772583},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.5035352110862732},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4651291072368622},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.4598046839237213},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.45596805214881897},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4481010138988495},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4301186203956604},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.41671112179756165},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.36936020851135254},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2048587203025818},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.12652358412742615}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7485655546188354},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7244122624397278},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.6154334545135498},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5751171112060547},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.574487566947937},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.5533372163772583},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.5035352110862732},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4651291072368622},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4598046839237213},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.45596805214881897},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4481010138988495},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4301186203956604},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.41671112179756165},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.36936020851135254},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2048587203025818},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.12652358412742615},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5220/0004321200620074","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0004321200620074","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.5220/0004321200620074","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0004321200620074","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4394650907","https://openalex.org/W154364797","https://openalex.org/W4254119641","https://openalex.org/W3196207352","https://openalex.org/W2951724202","https://openalex.org/W3084261076","https://openalex.org/W2576399385","https://openalex.org/W2963408011","https://openalex.org/W4236324517","https://openalex.org/W155545005"],"abstract_inverted_index":{"This":[0],"paper":[1],"deals":[2],"with":[3,44,76],"model":[4],"transformations":[5],"based":[6,14,37],"on":[7,15,38],"attributed":[8],"graphs":[9],"transformation.":[10],"Our":[11],"approach":[12,18,36,57],"is":[13],"the":[16,28,39,87],"categorical":[17],"called":[19],"Single":[20],"Pushout.":[21],"The":[22,55,81],"principal":[23],"goal":[24],"being":[25],"to":[26,49,73],"strengthen":[27],"attribute":[29],"computation":[30,53,69,75],"part,":[31],"we":[32],"generalize":[33],"our":[34],"earlier":[35],"use":[40],"of":[41,84,89],"typed":[42],"lambda-terms":[43],"inductive":[45],"types":[46],"and":[47,52,65,79,93,100],"recursion":[48],"represent":[50],"attributes":[51,64],"functions.":[54],"generalized":[56],"takes":[58],"terms":[59],"in":[60],"variable":[61],"context":[62],"as":[63,68],"partial":[66],"proofs":[67],"functions":[70],"that":[71],"permit":[72],"combine":[74],"proof":[77,98],"development":[78,88,99],"verification.":[80,101],"intended":[82],"domains":[83],"application":[85],"are":[86],"cerified":[90],"software":[91],"models":[92,95],"semantics":[94],"for":[96],"interactive":[97]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}