Goal Based Alignment of Enterprise Architectures Topics: Model Analysis and Checking; Model Execution and Simulation; Model Tools; Model Transformation; Services Applications In Proceedings of the 7th International Conference on Software Paradigm Trends ICSOFT - Volume 1, 230-236, 2012 , Rome, Italy