Modeling business processes to generate artifacts for software development: a methodology · Study