{"id":"https://openalex.org/W2097249290","doi":"https://doi.org/10.1145/1370811.1370825","title":"Non-monotonic modelling from initial requirements","display_name":"Non-monotonic modelling from initial requirements","publication_year":2008,"publication_date":"2008-05-10","ids":{"openalex":"https://openalex.org/W2097249290","doi":"https://doi.org/10.1145/1370811.1370825","mag":"2097249290"},"language":"en","primary_location":{"id":"doi:10.1145/1370811.1370825","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1370811.1370825","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd international workshop on Applications and advances of problem frames","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.utwente.nl/files/5487603/nmr_iwaapf08.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067576995","display_name":"Jelena Marin\u010di\u0107","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Jelena Marincic","raw_affiliation_strings":["University of Twente, Enschede, Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077815489","display_name":"Angelika Mader","orcid":"https://orcid.org/0000-0002-7065-2640"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Angelika Mader","raw_affiliation_strings":["University of Twente, Enschede, Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068150978","display_name":"H Wupper","orcid":null},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Hanno Wupper","raw_affiliation_strings":["Radboud University Nijmegen, Nijmegen, Netherlands","Radboud University Nijmegen, Nijmegen, Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen, Nijmegen, Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Radboud University Nijmegen, Nijmegen, Netherlands#TAB#","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000853046","display_name":"Roel Wieringa","orcid":"https://orcid.org/0000-0003-2121-9928"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Roel Wieringa","raw_affiliation_strings":["University of Twente, Enschede, Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5067576995"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":null,"apc_paid":null,"fwci":0.5898,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.788361,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"67","last_page":"73"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":1.0,"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":1.0,"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.9997000098228455,"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/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/correctness","display_name":"Correctness","score":0.7766070365905762},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7634076476097107},{"id":"https://openalex.org/keywords/goal-modeling","display_name":"Goal modeling","score":0.6897984743118286},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.6218818426132202},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5989950299263},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5087156891822815},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4831087589263916},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.47938302159309387},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.44530078768730164},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3956722319126129},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3925173878669739},{"id":"https://openalex.org/keywords/requirements-engineering","display_name":"Requirements engineering","score":0.3018958270549774},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1928604245185852},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.1256709098815918},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10359382629394531}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7766070365905762},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7634076476097107},{"id":"https://openalex.org/C9586889","wikidata":"https://www.wikidata.org/wiki/Q5575167","display_name":"Goal modeling","level":4,"score":0.6897984743118286},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.6218818426132202},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5989950299263},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5087156891822815},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4831087589263916},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.47938302159309387},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.44530078768730164},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3956722319126129},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3925173878669739},{"id":"https://openalex.org/C6604083","wikidata":"https://www.wikidata.org/wiki/Q376937","display_name":"Requirements engineering","level":3,"score":0.3018958270549774},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1928604245185852},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.1256709098815918},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10359382629394531},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1370811.1370825","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1370811.1370825","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd international workshop on Applications and advances of problem frames","raw_type":"proceedings-article"},{"id":"pmh:oai:ris.utwente.nl:publications/466910d7-a131-4b18-bcbb-3901c91c90a7","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/466910d7-a131-4b18-bcbb-3901c91c90a7","pdf_url":"https://research.utwente.nl/files/5487603/nmr_iwaapf08.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Marincic, J, Mader, A H, Wupper, H & Wieringa, R J 2008, Non-monotonic modelling from initial requirements: a proposal and comparison with monotonic modelling methods. in IWAAPF '08: Proceedings of the 3rd international workshop on Applications and advances of problem frames. Association for Computing Machinery, New York, NY, USA, pp. 67-73. https://doi.org/10.1145/1370811.1370825","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:publications/466910d7-a131-4b18-bcbb-3901c91c90a7","is_oa":false,"landing_page_url":"http://doi.acm.org/10.1145/1370811.1370825","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:publications/466910d7-a131-4b18-bcbb-3901c91c90a7","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/466910d7-a131-4b18-bcbb-3901c91c90a7","pdf_url":"https://research.utwente.nl/files/5487603/nmr_iwaapf08.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Marincic, J, Mader, A H, Wupper, H & Wieringa, R J 2008, Non-monotonic modelling from initial requirements: a proposal and comparison with monotonic modelling methods. in IWAAPF '08: Proceedings of the 3rd international workshop on Applications and advances of problem frames. Association for Computing Machinery, New York, NY, USA, pp. 67-73. https://doi.org/10.1145/1370811.1370825","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2097249290.pdf","grobid_xml":"https://content.openalex.org/works/W2097249290.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W1498489270","https://openalex.org/W1522802577","https://openalex.org/W1549172988","https://openalex.org/W1551592336","https://openalex.org/W1624143779","https://openalex.org/W1634960769","https://openalex.org/W1639123234","https://openalex.org/W2010954288","https://openalex.org/W2017739343","https://openalex.org/W2113435553","https://openalex.org/W2114775327","https://openalex.org/W2127984352","https://openalex.org/W2160837764","https://openalex.org/W2171627300","https://openalex.org/W2282710216","https://openalex.org/W2598821256","https://openalex.org/W6615683428","https://openalex.org/W6654929592","https://openalex.org/W6995947862"],"related_works":["https://openalex.org/W19524997","https://openalex.org/W1580887402","https://openalex.org/W2062417677","https://openalex.org/W4390469652","https://openalex.org/W185205581","https://openalex.org/W2151451947","https://openalex.org/W2398544379","https://openalex.org/W2171627300","https://openalex.org/W2147529336","https://openalex.org/W2953831610"],"abstract_inverted_index":{"Researchers":[0],"make":[1],"a":[2,30,47,52,58,63,69,93,100,115,140,159],"significant":[3],"effort":[4,16],"to":[5,45,50],"develop":[6],"new":[7,155],"modelling":[8],"languages":[9,24],"and":[10,25,49,71,88,118,128],"tools.":[11,26],"However,":[12],"they":[13],"spend":[14],"less":[15],"developing":[17,29],"methods":[18],"for":[19,32,38,157],"constructing":[20],"models":[21],"using":[22],"these":[23],"We":[27,55],"are":[28],"method":[31,42,113,146],"building":[33],"an":[34,137],"embedded":[35],"system":[36,82],"model":[37,48,90],"formal":[39],"verification.":[40],"Our":[41],"provides":[43],"guidelines":[44],"build":[46],"construct":[51],"correctness":[53],"argument.":[54],"start":[56],"from":[57],"high-level":[59],"formula":[60,87],"stating":[61],"that":[62,67,102],"plant":[64],"(a":[65],"device":[66],"performs":[68],"task)":[70],"its":[72],"control":[73],"should":[74],"satisfy":[75],"requirements.":[76],"As":[77],"our":[78,112],"knowledge":[79],"about":[80],"the":[81,89,129],"grows,":[83],"we":[84,98,110],"refine":[85],"this":[86,108],"gradually,":[91],"in":[92],"stepwise":[94],"non-monotonic":[95],"process,":[96],"until":[97],"have":[99],"description":[101],"can":[103],"be":[104],"formally":[105],"verified.":[106],"In":[107],"paper":[109],"explain":[111],"on":[114,150],"simple":[116],"example":[117],"compare":[119],"it":[120],"briefly":[121],"with":[122],"two":[123],"other":[124],"methods:":[125],"requirements":[126,134],"progression":[127,135],"goal-oriented":[130],"KAOS":[131,145],"approach.":[132,143],"The":[133,144],"is":[136,147],"extension":[138],"of":[139],"problem":[141,151],"frames":[142],"also":[148],"based":[149],"frames,":[152],"but":[153],"introduces":[154],"concepts":[156],"describing":[158],"system.":[160]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-03-17T17:19:04.345684","created_date":"2016-06-24T00:00:00"}