Proceedings of the 2nd international workshop on The role of abstraction in software engineering