Efficient Interpretation of Large Quantifications in a Process Algebra
Benoît Fraikin, Marc Frappier · 2006
Abstract. The process algebra interpreter EB 3 PAI supports the EB 3 method, which was developed for the purpose of automating the development of information systems through code generation and efficient interpretation of abstract specifications. For general information system patterns, EB 3 PAI executes in linear time with respect to the number of terms and operators in the process expression and in logarithmic time with respect to the number of entities in the system. This paper described three optimization techniques of EB 3 PAI.