System requirements can be expressed as a set of scenarios and a set of properties.Behavioral models are synthesized from these scenarios and properties. Behavioralmodels can be used to validate requirements specification and during early stages ofsystem design. Two problems arise during the synthesis process. They are overlappingscenarios, and alternative alphabets.
Scenarios can overlap and have shared actions. Synthesizing behavioral modelsform overlapping scenarios can result into redundant states and transitions. Thisresearch proposes the decomposition of the overlapping scenarios into a set of nonoverlappingscenarios as a solution. It also proposes a technique to compensate overlappingscenarios by both identifying and decomposing them. It uses pattern matchingto identify overlapping scenarios. Then, it introduces algorithms to decompose theoverlapping scenarios. This research proposes the decomposition of the overlappingscenarios into a set of non-overlapping scenarios as a solution.
An alphabet is a set of actions that is used in scenarios and properties that describea system. If the alphabet used before the application of synthesis algorithm is differentfrom the alphabet after adding new requirements (scenarios or properties) then wecall this situation alternative alphabets. This research introduces an approach thatincludes new alphabets in the generated behavioral models. Incorporating a new alphabet to an existing behavioral model of property was achieved by adding a newterm to the system alphabet. Then developing an algorithm that uses this term asa pointer to add the new alphabet discovered. Incorporating new alphabet to anexisting behavioral model of scenarios was achieved by developing an algorithms thatadds the new alphabet to transitions that go to a special state in the behavioralmodel, the sink state.
","abstract_html":"<p>System requirements can be expressed as a set of scenarios and a set of properties.Behavioral models are synthesized from these scenarios and properties. Behavioralmodels can be used to validate requirements specification and during early stages ofsystem design. Two problems arise during the synthesis process. They are overlappingscenarios, and alternative alphabets.</p><p>Scenarios can overlap and have shared actions. Synthesizing behavioral modelsform overlapping scenarios can result into redundant states and transitions. Thisresearch proposes the decomposition of the overlapping scenarios into a set of nonoverlappingscenarios as a solution. It also proposes a technique to compensate overlappingscenarios by both identifying and decomposing them. It uses pattern matchingto identify overlapping scenarios. Then, it introduces algorithms to decompose theoverlapping scenarios. This research proposes the decomposition of the overlappingscenarios into a set of non-overlapping scenarios as a solution.</p><p>An alphabet is a set of actions that is used in scenarios and properties that describea system. If the alphabet used before the application of synthesis algorithm is differentfrom the alphabet after adding new requirements (scenarios or properties) then wecall this situation alternative alphabets. This research introduces an approach thatincludes new alphabets in the generated behavioral models. Incorporating a new alphabet to an existing behavioral model of property was achieved by adding a newterm to the system alphabet. Then developing an algorithm that uses this term asa pointer to add the new alphabet discovered. Incorporating new alphabet to anexisting behavioral model of scenarios was achieved by developing an algorithms thatadds the new alphabet to transitions that go to a special state in the behavioralmodel, the sink state.</p>","abstract_has_math":false,"creators":["LAFI, MOHAMMED FAYEQ"],"institution":"University of Toledo","degree_name":"Doctor of Philosophy in Engineering","degree_level":"doctoral","degree_discipline":"College of Engineering","degree_department":null,"school":null,"contributors":["Carvalho, Jackson"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2011,"date_issued":"2011","date_published":"2011","updated_at":"2026-07-24T03:36:08Z","subjects":["Computer Engineering","Computer Science","software engineering","requirements engineering","scenarios","properties","behavioral model alphabets","behavioral models","overlapping scenarios","pattern matching"],"languages":["English"],"rights":["unrestricted","This thesis or dissertation is protected by copyright: all rights reserved. It may not be copied or redistributed beyond the terms of applicable copyright laws."],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://rave.ohiolink.edu/etdc/view?acc_num=toledo1321648086","outbound_label":"Repository record","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Carvalho, Jackson"]},{"key":"dc:creator","label":"Author","values":["LAFI, MOHAMMED FAYEQ"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2011"]},{"key":"dc:publisher","label":"Institution","values":["University of Toledo / OhioLINK"]},{"key":"dc:type","label":"Dc Type","values":["Electronic Thesis or Dissertation"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["College of Engineering"]},{"key":"thesis:degree_level","label":"Degree Level","values":["doctoral"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Doctor of Philosophy in Engineering"]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Toledo"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Computer Engineering","Computer Science","software engineering","requirements engineering","scenarios","properties","behavioral model alphabets","behavioral models","overlapping scenarios","pattern matching"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["English"]},{"key":"dc:rights","label":"Dc Rights","values":["unrestricted","This thesis or dissertation is protected by copyright: all rights reserved. It may not be copied or redistributed beyond the terms of applicable copyright laws."]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://rave.ohiolink.edu/etdc/view?acc_num=toledo1321648086"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["System requirements can be expressed as a set of scenarios and a set of properties.Behavioral models are synthesized from these scenarios and properties. Behavioralmodels can be used to validate requirements specification and during early stages ofsystem design. Two problems arise during the synthesis process. They are overlappingscenarios, and alternative alphabets.
Scenarios can overlap and have shared actions. Synthesizing behavioral modelsform overlapping scenarios can result into redundant states and transitions. Thisresearch proposes the decomposition of the overlapping scenarios into a set of nonoverlappingscenarios as a solution. It also proposes a technique to compensate overlappingscenarios by both identifying and decomposing them. It uses pattern matchingto identify overlapping scenarios. Then, it introduces algorithms to decompose theoverlapping scenarios. This research proposes the decomposition of the overlappingscenarios into a set of non-overlapping scenarios as a solution.
An alphabet is a set of actions that is used in scenarios and properties that describea system. If the alphabet used before the application of synthesis algorithm is differentfrom the alphabet after adding new requirements (scenarios or properties) then wecall this situation alternative alphabets. This research introduces an approach thatincludes new alphabets in the generated behavioral models. Incorporating a new alphabet to an existing behavioral model of property was achieved by adding a newterm to the system alphabet. Then developing an algorithm that uses this term asa pointer to add the new alphabet discovered. Incorporating new alphabet to anexisting behavioral model of scenarios was achieved by developing an algorithms thatadds the new alphabet to transitions that go to a special state in the behavioralmodel, the sink state.
"]},{"key":"dc:format","label":"Dc Format","values":["application/pdf","p.113","1.03 MB"]},{"key":"dc:title","label":"Title","values":["Synthesis of Partial Behavior Models from Overlapping Scenarios with Alternative Alphabets"]}]}],"canonical_facts":{"dc:contributor":["Carvalho, Jackson"],"dc:creator":["LAFI, MOHAMMED FAYEQ"],"dc:date":["2011"],"dc:description":["System requirements can be expressed as a set of scenarios and a set of properties.Behavioral models are synthesized from these scenarios and properties. Behavioralmodels can be used to validate requirements specification and during early stages ofsystem design. Two problems arise during the synthesis process. They are overlappingscenarios, and alternative alphabets.
Scenarios can overlap and have shared actions. Synthesizing behavioral modelsform overlapping scenarios can result into redundant states and transitions. Thisresearch proposes the decomposition of the overlapping scenarios into a set of nonoverlappingscenarios as a solution. It also proposes a technique to compensate overlappingscenarios by both identifying and decomposing them. It uses pattern matchingto identify overlapping scenarios. Then, it introduces algorithms to decompose theoverlapping scenarios. This research proposes the decomposition of the overlappingscenarios into a set of non-overlapping scenarios as a solution.
An alphabet is a set of actions that is used in scenarios and properties that describea system. If the alphabet used before the application of synthesis algorithm is differentfrom the alphabet after adding new requirements (scenarios or properties) then wecall this situation alternative alphabets. This research introduces an approach thatincludes new alphabets in the generated behavioral models. Incorporating a new alphabet to an existing behavioral model of property was achieved by adding a newterm to the system alphabet. Then developing an algorithm that uses this term asa pointer to add the new alphabet discovered. Incorporating new alphabet to anexisting behavioral model of scenarios was achieved by developing an algorithms thatadds the new alphabet to transitions that go to a special state in the behavioralmodel, the sink state.
"],"dc:format":["application/pdf","p.113","1.03 MB"],"dc:identifier":["http://rave.ohiolink.edu/etdc/view?acc_num=toledo1321648086"],"dc:language":["English"],"dc:publisher":["University of Toledo / OhioLINK"],"dc:rights":["unrestricted","This thesis or dissertation is protected by copyright: all rights reserved. It may not be copied or redistributed beyond the terms of applicable copyright laws."],"dc:subject":["Computer Engineering","Computer Science","software engineering","requirements engineering","scenarios","properties","behavioral model alphabets","behavioral models","overlapping scenarios","pattern matching"],"dc:title":["Synthesis of Partial Behavior Models from Overlapping Scenarios with Alternative Alphabets"],"dc:type":["Electronic Thesis or Dissertation"],"thesis:degree_discipline":["College of Engineering"],"thesis:degree_level":["doctoral"],"thesis:degree_name":["Doctor of Philosophy in Engineering"],"thesis:institution_name":["University of Toledo"]},"updated_at":"2026-07-24T03:36:08Z"}