Specifying and Verifying a Cross-Organizational Business Model in PROTOS v1.0

These instructions were created by Anup Kalia, a PhD student in our department. Anup is helping informally with this course.

Protos Demo Video

Set the quality to 720p. This demo has a verification process which you don't need for project B2.

Opening Protos Business Modeler

Creating a Protos Business Model

A Business Model

Creating an Operational Model or UML sequence diagrams

An Operational Model