A pattern language for use case modeling | IEEE Conference Publication | IEEE Xplore