Abstract | ||
---|---|---|
Modeling and refining behaviors of software systems are two crucial issues in the methodology of Model-Driven Development (MDD). Traditional methods include Unified Modeling Language (UML) based methods and formal methods. Recently integrated methods by taking full advantages of these two methods have received increasing attention. Unfortunately, there are still no effective formal modeling and automatic refinement methods for behaviors. Besides, difficulties exist in generating some structures, e.g., explicit loop structures, via existing approaches. In this paper, we propose a B-notations based framework for formal modeling and automatically refining behaviors. In our framework, three issues are involved: automatic behavior modeling, theory of behavior refinement, and automatic behavior refinement. For automatic behavior modeling, we propose a B-notation based automatic modeling method for behaviors. For theory of behavior refinement, we propose a refinement theory focusing on behaviors that regards the behavior refinement problem as a search problem. For automatic behavior refinement, we propose an automatic refinement approach by combining top-down logic reduction based method and bottom-up local search based method, where explicit loop structures can be well generated. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1016/j.ins.2010.06.024 | Inf. Sci. |
Keywords | Field | DocType |
refining behavior,refinement theory,behavior refinement problem,formal behavior modeling,automatic modeling method,effective automatic refinement,behavior refinement,explicit loop structure,automatic refinement method,automatic behavior modeling,automatic behavior refinement,automatic refinement approach,software systems,top down,behavior modeling,bottom up,local search,formal method,unified modeling language | Model driven development,Unified Modeling Language,Computer science,Software system,Theoretical computer science,Automatic behavior,Refinement,Artificial intelligence,Local search (optimization),Formal methods,Search problem,Machine learning | Journal |
Volume | Issue | ISSN |
180 | 20 | 0020-0255 |
Citations | PageRank | References |
3 | 0.38 | 15 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Shuaiqiang Wang | 1 | 254 | 22.72 |
Jun Ma | 2 | 1280 | 127.50 |
Qiang He | 3 | 13 | 1.54 |
Jiancheng Wan | 4 | 23 | 5.23 |