Testing based on identifiable P Systems using cover automata and X-machines
作者： Marian Gheorghe , Florentin Ipate , Savas Konur
DOI: 10.1016/J.INS.2016.08.028
关键词:
摘要: We represent a significant advance on the issue of testing for implementations specified by P systems with transformation and communicating rules.Using X-machine framework concept cover automaton, we devise approach such systems, that, under well defined conditions, our ensures that implementation conforms to specification.We investigate identifiability is an essential prerequisite these establishes fundamental set properties identifiable systems. This paper represents rules. Using it devises specification. It also investigates based specifications
core.ac.uk
acm.org
elsevier.com
sci-hub.se 参考文章(28)
Sergey Verlan, Using the Formal Framework for P Systems Membrane Computing. ,vol. 8340, pp. 56- 79 ,(2014) , 10.1007/978-3-642-54239-8_6
Gheorghe Paun, Gabriel Ciobanu, Mario J. Pérez-Jiménez, Applications of Membrane Computing (Natural Computing Series) Springer-Verlag New York, Inc.. ,(2005)
Gheorghe Paun, Arto Salomaa, Grzegorz Rozenberg, The Oxford Handbook of Membrane Computing ,(2010)
Florentin Ipate, W. M. L. Holcombe, Correct Systems: Building a Business Process Solution ,(1998)
Marian Gheorghe, Florentin Ipate, On Testing P Systems Membrane Computing. pp. 204- 216 ,(2009) , 10.1007/978-3-540-95885-7_15
Florentin Ipate, Marian Gheorghe, Mutation Based Testing of P Systems International Journal of Computers Communications & Control. ,vol. 4, pp. 253- 262 ,(2009) , 10.15837/IJCCC.2009.3.2433
Oana Agrigoroaiei, Gabriel Ciobanu, Flattening the transition P systems with dissolution international conference on membrane computing. pp. 53- 64 ,(2010) , 10.1007/978-3-642-18123-8_7
Heiko Körner, On minimizing cover automata for finite languages in O(n log n) time international conference on implementation and application of automata. pp. 117- 127 ,(2002) , 10.5555/1756384.1756397
Georgy Gimel’farb, Radu Nicolescu, Sharvin Ragavan, P System Implementation of Dynamic Programming Stereo Journal of Mathematical Imaging and Vision. ,vol. 47, pp. 13- 26 ,(2013) , 10.1007/S10851-012-0367-6