{"id":"https://openalex.org/W2121168205","doi":"https://doi.org/10.1016/j.infsof.2012.06.013","title":"Reasoning with contextual requirements: Detecting inconsistency and conflicts","display_name":"Reasoning with contextual requirements: Detecting inconsistency and conflicts","publication_year":2012,"publication_date":"2012-07-05","ids":{"openalex":"https://openalex.org/W2121168205","doi":"https://doi.org/10.1016/j.infsof.2012.06.013","mag":"2121168205"},"language":"en","primary_location":{"id":"doi:10.1016/j.infsof.2012.06.013","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.infsof.2012.06.013","pdf_url":null,"source":{"id":"https://openalex.org/S205010575","display_name":"Information and Software Technology","issn_l":"0950-5849","issn":["0950-5849","1873-6025"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information and Software Technology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://eprints.bournemouth.ac.uk/22525/1/Raian_Ali_et_al_IST_Reasoning_With_Contextual_Requirements_Detecting_Inconsistency_and_Conflicts%5B1%5D.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088731268","display_name":"Raian Ali","orcid":"https://orcid.org/0000-0002-5285-7829"},"institutions":[{"id":"https://openalex.org/I9300472","display_name":"Bournemouth University","ror":"https://ror.org/05wwcw481","country_code":"GB","type":"education","lineage":["https://openalex.org/I9300472"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Raian Ali","raw_affiliation_strings":["School of Design, Engineering and Computing, Bournemouth University, UK","School of Design, Engineering and Computing , Bournemouth University , UK"],"affiliations":[{"raw_affiliation_string":"School of Design, Engineering and Computing, Bournemouth University, UK","institution_ids":["https://openalex.org/I9300472"]},{"raw_affiliation_string":"School of Design, Engineering and Computing , Bournemouth University , UK","institution_ids":["https://openalex.org/I9300472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069677848","display_name":"Fabiano Dalpiaz","orcid":"https://orcid.org/0000-0003-4480-3887"},"institutions":[{"id":"https://openalex.org/I193223587","display_name":"University of Trento","ror":"https://ror.org/05trd4x28","country_code":"IT","type":"education","lineage":["https://openalex.org/I193223587"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Fabiano Dalpiaz","raw_affiliation_strings":["Department of Information Engineering and Computer Science, University of Trento, Italy","Department of Inf. Engineering and Computer Science, University of Trento, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Information Engineering and Computer Science, University of Trento, Italy","institution_ids":["https://openalex.org/I193223587"]},{"raw_affiliation_string":"Department of Inf. Engineering and Computer Science, University of Trento, Italy","institution_ids":["https://openalex.org/I193223587"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073056211","display_name":"Paolo Giorgini","orcid":"https://orcid.org/0000-0003-4152-9683"},"institutions":[{"id":"https://openalex.org/I193223587","display_name":"University of Trento","ror":"https://ror.org/05trd4x28","country_code":"IT","type":"education","lineage":["https://openalex.org/I193223587"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Paolo Giorgini","raw_affiliation_strings":["Department of Information Engineering and Computer Science, University of Trento, Italy","Department of Inf. Engineering and Computer Science, University of Trento, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Information Engineering and Computer Science, University of Trento, Italy","institution_ids":["https://openalex.org/I193223587"]},{"raw_affiliation_string":"Department of Inf. Engineering and Computer Science, University of Trento, Italy","institution_ids":["https://openalex.org/I193223587"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5088731268"],"corresponding_institution_ids":["https://openalex.org/I9300472"],"apc_list":{"value":3350,"currency":"USD","value_usd":3350},"apc_paid":null,"fwci":8.4004,"has_fulltext":true,"cited_by_count":75,"citation_normalized_percentile":{"value":0.97578941,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"55","issue":"1","first_page":"35","last_page":"57"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","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/T12127","display_name":"Software System Performance and Reliability","score":0.9980000257492065,"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/computer-science","display_name":"Computer science","score":0.6898057460784912},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.675697922706604},{"id":"https://openalex.org/keywords/goal-modeling","display_name":"Goal modeling","score":0.6505372524261475},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6220134496688843},{"id":"https://openalex.org/keywords/requirements-analysis","display_name":"Requirements analysis","score":0.6101377010345459},{"id":"https://openalex.org/keywords/requirements-engineering","display_name":"Requirements engineering","score":0.5733597278594971},{"id":"https://openalex.org/keywords/context-model","display_name":"Context model","score":0.5544895529747009},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.5131369233131409},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5018441677093506},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.47759342193603516},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.43866801261901855},{"id":"https://openalex.org/keywords/requirements-management","display_name":"Requirements management","score":0.4219262897968292},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.36952680349349976},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.35664796829223633},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.355604887008667},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.35438594222068787},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.25291889905929565},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.22464293241500854},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.2117798924446106}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6898057460784912},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.675697922706604},{"id":"https://openalex.org/C9586889","wikidata":"https://www.wikidata.org/wiki/Q5575167","display_name":"Goal modeling","level":4,"score":0.6505372524261475},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6220134496688843},{"id":"https://openalex.org/C59488412","wikidata":"https://www.wikidata.org/wiki/Q187147","display_name":"Requirements analysis","level":3,"score":0.6101377010345459},{"id":"https://openalex.org/C6604083","wikidata":"https://www.wikidata.org/wiki/Q376937","display_name":"Requirements engineering","level":3,"score":0.5733597278594971},{"id":"https://openalex.org/C183322885","wikidata":"https://www.wikidata.org/wiki/Q17007702","display_name":"Context model","level":3,"score":0.5544895529747009},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.5131369233131409},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5018441677093506},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.47759342193603516},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.43866801261901855},{"id":"https://openalex.org/C173577280","wikidata":"https://www.wikidata.org/wiki/Q530038","display_name":"Requirements management","level":4,"score":0.4219262897968292},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.36952680349349976},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.35664796829223633},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.355604887008667},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.35438594222068787},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25291889905929565},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.22464293241500854},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.2117798924446106},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1016/j.infsof.2012.06.013","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.infsof.2012.06.013","pdf_url":null,"source":{"id":"https://openalex.org/S205010575","display_name":"Information and Software Technology","issn_l":"0950-5849","issn":["0950-5849","1873-6025"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information and Software Technology","raw_type":"journal-article"},{"id":"pmh:http://www.rian.ie/103374/","is_oa":false,"landing_page_url":"http://hdl.handle.net/10344/3026","pdf_url":null,"source":{"id":"https://openalex.org/S4306400033","display_name":"Arrow@dit (Dublin Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I115570527","host_organization_name":"Dublin Institute of Technology","host_organization_lineage":["https://openalex.org/I115570527"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Information and Software Technology (IST);55(1), pp. 35-57","raw_type":"Journal article"},{"id":"pmh:oai:eprints.bournemouth.ac.uk:22525","is_oa":true,"landing_page_url":null,"pdf_url":"http://eprints.bournemouth.ac.uk/22525/1/Raian_Ali_et_al_IST_Reasoning_With_Contextual_Requirements_Detecting_Inconsistency_and_Conflicts%5B1%5D.pdf","source":{"id":"https://openalex.org/S4306400187","display_name":"Bournemouth University Research Online (Bournemouth University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9300472","host_organization_name":"Bournemouth University","host_organization_lineage":["https://openalex.org/I9300472"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.309.6018","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.6018","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://disi.unitn.it/~pgiorgio/papers/ist13.pdf","raw_type":"text"},{"id":"pmh:oai:iris.unitn.it:11572/94817","is_oa":false,"landing_page_url":"http://www.sciencedirect.com/science/article/pii/S0950584912001255","pdf_url":null,"source":{"id":"https://openalex.org/S4306401913","display_name":"Institutional Research Information System (Universit\u00e0 degli Studi di Trento)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193223587","host_organization_name":"University of Trento","host_organization_lineage":["https://openalex.org/I193223587"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:eprints.bournemouth.ac.uk:22525","is_oa":true,"landing_page_url":null,"pdf_url":"http://eprints.bournemouth.ac.uk/22525/1/Raian_Ali_et_al_IST_Reasoning_With_Contextual_Requirements_Detecting_Inconsistency_and_Conflicts%5B1%5D.pdf","source":{"id":"https://openalex.org/S4306400187","display_name":"Bournemouth University Research Online (Bournemouth University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9300472","host_organization_name":"Bournemouth University","host_organization_lineage":["https://openalex.org/I9300472"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2121168205.pdf","grobid_xml":"https://content.openalex.org/works/W2121168205.grobid-xml"},"referenced_works_count":101,"referenced_works":["https://openalex.org/W61294604","https://openalex.org/W67677442","https://openalex.org/W80518163","https://openalex.org/W903269192","https://openalex.org/W1494019345","https://openalex.org/W1524500851","https://openalex.org/W1527311855","https://openalex.org/W1539259921","https://openalex.org/W1586677474","https://openalex.org/W1591726984","https://openalex.org/W1606306725","https://openalex.org/W1624528677","https://openalex.org/W1771872677","https://openalex.org/W1838539685","https://openalex.org/W1852826201","https://openalex.org/W1873989349","https://openalex.org/W1922430135","https://openalex.org/W1939951539","https://openalex.org/W1967977479","https://openalex.org/W1980079693","https://openalex.org/W1986139229","https://openalex.org/W1988394140","https://openalex.org/W1992602600","https://openalex.org/W2003373522","https://openalex.org/W2008190734","https://openalex.org/W2017310186","https://openalex.org/W2017739343","https://openalex.org/W2020813590","https://openalex.org/W2033406822","https://openalex.org/W2033882705","https://openalex.org/W2045480981","https://openalex.org/W2051028605","https://openalex.org/W2052524743","https://openalex.org/W2079764638","https://openalex.org/W2082434633","https://openalex.org/W2089160254","https://openalex.org/W2098909078","https://openalex.org/W2105387957","https://openalex.org/W2108999965","https://openalex.org/W2109105084","https://openalex.org/W2122067742","https://openalex.org/W2122086011","https://openalex.org/W2123931979","https://openalex.org/W2123948869","https://openalex.org/W2125708466","https://openalex.org/W2128026023","https://openalex.org/W2128788546","https://openalex.org/W2130891285","https://openalex.org/W2140050848","https://openalex.org/W2140796142","https://openalex.org/W2141774868","https://openalex.org/W2144244174","https://openalex.org/W2144819523","https://openalex.org/W2148566119","https://openalex.org/W2149257325","https://openalex.org/W2151451947","https://openalex.org/W2152267651","https://openalex.org/W2154141081","https://openalex.org/W2156879585","https://openalex.org/W2157208568","https://openalex.org/W2157269301","https://openalex.org/W2158668473","https://openalex.org/W2162255975","https://openalex.org/W2162676136","https://openalex.org/W2162739315","https://openalex.org/W2163784380","https://openalex.org/W2169680074","https://openalex.org/W2171627300","https://openalex.org/W2177007941","https://openalex.org/W2295882966","https://openalex.org/W2415170901","https://openalex.org/W2477378326","https://openalex.org/W2800633717","https://openalex.org/W3172217583","https://openalex.org/W4233183369","https://openalex.org/W4238239668","https://openalex.org/W4240059799","https://openalex.org/W4245537216","https://openalex.org/W4253619204","https://openalex.org/W6600577311","https://openalex.org/W6636112993","https://openalex.org/W6637986619","https://openalex.org/W6640073562","https://openalex.org/W6642231150","https://openalex.org/W6645560314","https://openalex.org/W6647385925","https://openalex.org/W6652640654","https://openalex.org/W6654935127","https://openalex.org/W6670344527","https://openalex.org/W6672838550","https://openalex.org/W6675031743","https://openalex.org/W6676702546","https://openalex.org/W6678377247","https://openalex.org/W6680460133","https://openalex.org/W6680662653","https://openalex.org/W6683187588","https://openalex.org/W6683280589","https://openalex.org/W6683798426","https://openalex.org/W6684351367","https://openalex.org/W6685015297","https://openalex.org/W6852284161"],"related_works":["https://openalex.org/W2472769502","https://openalex.org/W4254568495","https://openalex.org/W2784612557","https://openalex.org/W142054160","https://openalex.org/W2062417677","https://openalex.org/W344309486","https://openalex.org/W2242308721","https://openalex.org/W1617997706","https://openalex.org/W3129877744","https://openalex.org/W2788580221"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":9},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}