SCA-PatternBox: an Eclipse-based design pattern editor for Service Component Architectures