Using Hierarchical Models for Requirement Analysis of Real World Problems in Automated Planning. Tonaco-Basbaum, R.; Silva, J.; and Silva, R. In
abstract   bibtex   
In the intelligent design field, the early phase of requirement analysis plays a fundamental role, especially when dealing with problems to which an analytic for- mal solutions is not applied. Automated planning ap- pears in that category - particularly when the target are ”real world” systems. Requirement analysis is exactly where the Engineering Knowledge embedded in the problem is explored to provide clues to the solution. A great effort has been made today in the area of Artificial Intelligence to define a reliable design pro- cess for automated planning that includes a Knowledge Engineering early phase. This paper intents to propose a requirements analysis formal procedure that starts by taking requirements for planning problems represented in UML and proceed to an analysis process based on Petri Nets. In fact a similar approach were insert in a tool called itSIMPLE (by one of the authors) using an old version of UML (1.4). As we will see in this proposal the process were not completely formal, even if practical. In the current work an unified Petri Net is fully complied with the ISO/IEC 15.909 standard replace the graph analysis. Using this net we can introduce a formal property analysis including invariant analysis and exploring abstraction from a hierarchical extension of classic Petri Nets. Case Studies are presented, with classic problems from the manufacturing and petroleum industries, aiming to show the differences between the early proposal and the current proposal.
@InProceedings{spark16-12,
  author =   {Rosimarci Tonaco-Basbaum and Javier Silva and Reinaldo Silva},
  title =    {Using Hierarchical Models for Requirement Analysis of Real World Problems in Automated Planning},
  abstract = {In the intelligent design field, the early phase of requirement analysis plays a fundamental role, especially when dealing with problems to which an analytic for- mal solutions is not applied. Automated planning ap- pears in that category - particularly when the target are ”real world” systems. Requirement analysis is exactly where the Engineering Knowledge embedded in the problem is explored to provide clues to the solution. A great effort has been made today in the area of Artificial Intelligence to define a reliable design pro- cess for automated planning that includes a Knowledge Engineering early phase. This paper intents to propose a requirements analysis formal procedure that starts by taking requirements for planning problems represented in UML and proceed to an analysis process based on Petri Nets. In fact a similar approach were insert in a tool called itSIMPLE (by one of the authors) using an old version of UML (1.4). As we will see in this proposal the process were not completely formal, even if practical. In the current work an unified Petri Net is fully complied with the ISO/IEC 15.909 standard replace the graph analysis. Using this net we can introduce a formal property analysis including invariant analysis and exploring abstraction from a hierarchical extension of classic Petri Nets. Case Studies are presented, with classic problems from the manufacturing and petroleum industries, aiming to show the differences between the early proposal and the current proposal.},
  keywords = {Hierarchical models, Requirement Analysis, Automated Planning}
}
Downloads: 0