Process Implications of Executable Domain Models for Microservices Development | IEEE Conference Publication | IEEE Xplore