Efficient Interpretation of Large Quantifications in a Process Algebra

Benoît Fraikin, Marc Frappier

Abstract

The process algebra interpreter EB3 PAI supports the EB3 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, EB3 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 EB3 PAI.

References

  1. Frappier, M., Fraikin, B., Laleau, R., Richard, M.: Automatic production of information systems. In: AAAI Symposium on Logic-Based Program Synthesis, Stanford University, Stanford, CA (2002)
  2. Frappier, M., St-Denis, R.: EB3: an entity-based black-box specification method for information systems. Software and System Modeling 2 (2003) 134-149
  3. Fraikin, B., Frappier, M.: Efficient execution of process expressions using symbolic interpretation. Technical report 8, Université de Sherbrooke, Département d'Informatique, Québec, Canada (2005)
Download


Paper Citation


in Harvard Style

Fraikin B. and Frappier M. (2006). Efficient Interpretation of Large Quantifications in a Process Algebra . In Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006) ISBN 978-972-8865-49-8, pages 189-192. DOI: 10.5220/0002500101890192


in Bibtex Style

@conference{msvveis06,
author={Benoît Fraikin and Marc Frappier},
title={Efficient Interpretation of Large Quantifications in a Process Algebra},
booktitle={Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006)},
year={2006},
pages={189-192},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002500101890192},
isbn={978-972-8865-49-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006)
TI - Efficient Interpretation of Large Quantifications in a Process Algebra
SN - 978-972-8865-49-8
AU - Fraikin B.
AU - Frappier M.
PY - 2006
SP - 189
EP - 192
DO - 10.5220/0002500101890192