Formalizing software ecosystem modeling · Study