TOWARDS A RIGOROUS PROCESS MODELING WITH SPEM Topics: CASE Tools for System Development; Modeling Formalisms, Languages and Notations In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 5: ICEIS, 530-533, 2006 , Paphos, Cyprus