Towards Modeling Adaptation Services for Large-Scale Distributed Systems with Abstract State Machines In Proceedings of the Seventh International Symposium on Business Modeling and Software Design BMSD - Volume 1, 193-198, 2017 , Barcelona, Spain