Towards early emergent property understanding: merging behavior space exploration and model-based software engineering
作者： Georg Hackenberg , Denis Bytschkow
关键词: Behavior space 、 Decision table 、 Property (programming) 、 Software 、 Software development 、 Extension (metaphysics) 、 Software design 、 Complex system 、 Computer science 、 Software engineering
摘要: During early phases of complex systems engineering typically many structural and behavioral aspects are unclear. In particular, when it comes to constraints on the result interactions between distributed components (emergent properties) current software approaches provide limited support. Therefore, we propose an extension models for describing goals interaction rather than underlying decision logic. Further, a generic algorithm obtaining goal-oriented behavior. Finally, concepts evaluated in case study.
acm.org
sci-hub.st 参考文章(21)
Luc Steels, Towards a theory of emergent functionality simulation of adaptive behavior. pp. 451- 461 ,(1991)
Manfred Broy, Ketil Stølen, Specification and development of interactive systems: focus on streams, interfaces, and refinement Springer-Verlag New York, Inc.. ,(2001)
Alessandro Cimatti, Edmund Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella, NuSMV 2: An OpenSource Tool for Symbolic Model Checking computer aided verification. pp. 359- 364 ,(2002) , 10.1007/3-540-45657-0_29
Søren Christensen, Lars Michael Kristensen, Thomas Mailund, A Sweep-Line Method for State Space Exploration tools and algorithms for construction and analysis of systems. pp. 450- 464 ,(2001) , 10.1007/3-540-45319-9_31
P. Svestka, M.H. Overmars, Coordinated motion planning for multiple car-like robots using probabilistic roadmaps international conference on robotics and automation. ,vol. 2, pp. 1631- 1636 ,(1995) , 10.1109/ROBOT.1995.525508
E.A. Emerson, K.S. Namjoshi, On model checking for non-deterministic infinite-state systems logic in computer science. pp. 70- 80 ,(1998) , 10.1109/LICS.1998.705644
Salem Derisavi, Peter Kemper, William H. Sanders, Symbolic state-space exploration and numerical analysis of state-sharing composed models Linear Algebra and its Applications. ,vol. 386, pp. 137- 166 ,(2004) , 10.1016/J.LAA.2004.01.006
Kang Shin, N. McKay, A dynamic programming approach to trajectory planning of robotic manipulators IEEE Transactions on Automatic Control. ,vol. 31, pp. 491- 500 ,(1986) , 10.1109/TAC.1986.1104317
Edmundo de Souza e Silva, Pedro Mejiá Ochoa, State space exploration in Markov models measurement and modeling of computer systems. ,vol. 20, pp. 152- 166 ,(1992) , 10.1145/133057.133100
F. J. Lin, P. M. Chu, M. T. Liu, Protocol verification using reachability analysis: the state space explosion problem and relief strategies acm special interest group on data communication. ,vol. 17, pp. 126- 135 ,(1987) , 10.1145/55482.55496