{"id":"https://openalex.org/W79029278","doi":"https://doi.org/10.1007/978-3-642-29958-2_19","title":"A Set of Well-Formedness Rules to Checking the Consistency of the Software Processes Based on SPEM 2.0","display_name":"A Set of Well-Formedness Rules to Checking the Consistency of the Software Processes Based on SPEM 2.0","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W79029278","doi":"https://doi.org/10.1007/978-3-642-29958-2_19","mag":"79029278"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-29958-2_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-29958-2_19","pdf_url":null,"source":{"id":"https://openalex.org/S4210177767","display_name":"Lecture notes in business information processing","issn_l":"1865-1348","issn":["1865-1348","1865-1356"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Business Information Processing","raw_type":"book-chapter"},"type":"book-chapter","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/A5102401548","display_name":"Eliana Pereira","orcid":null},"institutions":[{"id":"https://openalex.org/I122140584","display_name":"Universidade Federal do Rio de Janeiro","ror":"https://ror.org/03490as77","country_code":"BR","type":"education","lineage":["https://openalex.org/I122140584"]},{"id":"https://openalex.org/I45643870","display_name":"Pontif\u00edcia Universidade Cat\u00f3lica do Rio Grande do Sul","ror":"https://ror.org/025vmq686","country_code":"BR","type":"education","lineage":["https://openalex.org/I45643870"]},{"id":"https://openalex.org/I99332240","display_name":"Pontifical University of the Holy Cross","ror":"https://ror.org/02g30pd64","country_code":"IT","type":"education","lineage":["https://openalex.org/I99332240"]}],"countries":["BR","IT"],"is_corresponding":false,"raw_author_name":"Eliana B. Pereira","raw_affiliation_strings":["COPPE Department, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil","Faculty of Informatics, Pontifical University Catholic of Rio Grande do Sul Porto Alegre, Brazil","Pontifical University Catholic of Rio Grande do Sul Porto Alegre","Federal University of Rio de Janeiro"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"COPPE Department, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil","institution_ids":["https://openalex.org/I122140584"]},{"raw_affiliation_string":"Faculty of Informatics, Pontifical University Catholic of Rio Grande do Sul Porto Alegre, Brazil","institution_ids":["https://openalex.org/I45643870"]},{"raw_affiliation_string":"Pontifical University Catholic of Rio Grande do Sul Porto Alegre","institution_ids":["https://openalex.org/I99332240"]},{"raw_affiliation_string":"Federal University of Rio de Janeiro","institution_ids":["https://openalex.org/I122140584"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073032973","display_name":"Ricardo Melo Bastos","orcid":null},"institutions":[{"id":"https://openalex.org/I45643870","display_name":"Pontif\u00edcia Universidade Cat\u00f3lica do Rio Grande do Sul","ror":"https://ror.org/025vmq686","country_code":"BR","type":"education","lineage":["https://openalex.org/I45643870"]},{"id":"https://openalex.org/I99332240","display_name":"Pontifical University of the Holy Cross","ror":"https://ror.org/02g30pd64","country_code":"IT","type":"education","lineage":["https://openalex.org/I99332240"]}],"countries":["BR","IT"],"is_corresponding":false,"raw_author_name":"Ricardo M. Bastos","raw_affiliation_strings":["Faculty of Informatics, Pontifical University Catholic of Rio Grande do Sul Porto Alegre, Brazil","Pontifical University Catholic of Rio Grande do Sul Porto Alegre"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Informatics, Pontifical University Catholic of Rio Grande do Sul Porto Alegre, Brazil","institution_ids":["https://openalex.org/I45643870"]},{"raw_affiliation_string":"Pontifical University Catholic of Rio Grande do Sul Porto Alegre","institution_ids":["https://openalex.org/I99332240"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049248004","display_name":"Toacy Oliveira","orcid":"https://orcid.org/0000-0001-8184-2442"},"institutions":[{"id":"https://openalex.org/I122140584","display_name":"Universidade Federal do Rio de Janeiro","ror":"https://ror.org/03490as77","country_code":"BR","type":"education","lineage":["https://openalex.org/I122140584"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Toacy C. Oliveira","raw_affiliation_strings":["COPPE Department, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil","Federal University of Rio de Janeiro"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"COPPE Department, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil","institution_ids":["https://openalex.org/I122140584"]},{"raw_affiliation_string":"Federal University of Rio de Janeiro","institution_ids":["https://openalex.org/I122140584"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055189728","display_name":"Michael C. M\u00f3ra","orcid":null},"institutions":[{"id":"https://openalex.org/I45643870","display_name":"Pontif\u00edcia Universidade Cat\u00f3lica do Rio Grande do Sul","ror":"https://ror.org/025vmq686","country_code":"BR","type":"education","lineage":["https://openalex.org/I45643870"]},{"id":"https://openalex.org/I99332240","display_name":"Pontifical University of the Holy Cross","ror":"https://ror.org/02g30pd64","country_code":"IT","type":"education","lineage":["https://openalex.org/I99332240"]}],"countries":["BR","IT"],"is_corresponding":false,"raw_author_name":"Michael C. M\u00f3ra","raw_affiliation_strings":["Faculty of Informatics, Pontifical University Catholic of Rio Grande do Sul Porto Alegre, Brazil","Pontifical University Catholic of Rio Grande do Sul Porto Alegre"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Informatics, Pontifical University Catholic of Rio Grande do Sul Porto Alegre, Brazil","institution_ids":["https://openalex.org/I45643870"]},{"raw_affiliation_string":"Pontifical University Catholic of Rio Grande do Sul Porto Alegre","institution_ids":["https://openalex.org/I99332240"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04428044,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"284","last_page":"299"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9993000030517578,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9993000030517578,"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9987999796867371,"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"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9984999895095825,"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/programming-language","display_name":"Programming language","score":0.7542171478271484},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7503001689910889},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7314532995223999},{"id":"https://openalex.org/keywords/metamodeling","display_name":"Metamodeling","score":0.6053958535194397},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5476242303848267},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.4739016592502594},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.43068602681159973},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.41333329677581787},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.4123009145259857},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3927011489868164},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.340620756149292},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33785009384155273},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.25780361890792847}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7542171478271484},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7503001689910889},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7314532995223999},{"id":"https://openalex.org/C86610423","wikidata":"https://www.wikidata.org/wiki/Q1925081","display_name":"Metamodeling","level":2,"score":0.6053958535194397},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5476242303848267},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.4739016592502594},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.43068602681159973},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.41333329677581787},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.4123009145259857},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3927011489868164},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.340620756149292},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33785009384155273},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25780361890792847}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-29958-2_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-29958-2_19","pdf_url":null,"source":{"id":"https://openalex.org/S4210177767","display_name":"Lecture notes in business information processing","issn_l":"1865-1348","issn":["1865-1348","1865-1356"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Business Information Processing","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1485658078","https://openalex.org/W1485688200","https://openalex.org/W1498397673","https://openalex.org/W1561630413","https://openalex.org/W1562934601","https://openalex.org/W1989654373","https://openalex.org/W2027062817","https://openalex.org/W2035418589","https://openalex.org/W2048357983","https://openalex.org/W2100696165","https://openalex.org/W2113361184","https://openalex.org/W2147294340","https://openalex.org/W2148947716","https://openalex.org/W2149201588","https://openalex.org/W2154661420","https://openalex.org/W2158369609","https://openalex.org/W2160999317","https://openalex.org/W2403513565","https://openalex.org/W4253020310"],"related_works":["https://openalex.org/W2080167534","https://openalex.org/W3146440365","https://openalex.org/W2011315860","https://openalex.org/W2734275018","https://openalex.org/W1559152283","https://openalex.org/W4390481443","https://openalex.org/W3097218026","https://openalex.org/W4391528888","https://openalex.org/W2020771612","https://openalex.org/W2164325773"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}