We present I–Systems as a formal constraint-based approach for modeling and analyzing both autonomous and reactive behavior in a distributed system. Essentially it is a formalism of interacting finite automata. We demonstrate its incremental potential by stepwise modeling a solution for a synchronous communication problem.
更多
查看译文
关键词
finite automaton,formal constraint-based approach,incremental potential,reactive behavior,synchronous communication problem,incremental modeling
原文链接
分享
引用
