Tech Demos

This repo has a collection of Provengo projects, demonstrating different aspects of our unique tool.

Relevant Links

• Provengo’s main site

• Download page (free for personal and evaluation use)

• The provengo tool reference documentation

• Tutoriuals Center

• Provengo VSCode extensions

Social

YouTube Channel

LinkedIn

Twitter/X

Discord

What’s In Here

💡	Feel free to fork, improve, and alter the projects here, and send us a note if you would like to discuss or show off your versions. We’d love to get your feedback!

Project	Description	Demonstrated Technologies
Eeny, Meeny, Miny, Moe	Basic example for Behavioral Programming (BP) concepts	bp-base, BP
REST API testing	An example for testing a RESTful API microservice using Provengo/	REST, state machine, microservice
vps-customer-conversion	Specification for a user onboarding business flow. This is an example of a specification validation use-case.	StateMachines (state machines), hot/liveness (infinity requirements), Ctrl.markers
insurance	Online claim process in an insurance company. A multi-stage process, composed of deciding case properties, and constraining a state machine based on these properties.	Combi, StateMachines, script generation, code generation, ensembles
insurance-params-only	Online claim for an insurance company. This model covers claim background and parameters, and specifies an expected result based on the parameters. Test cases are exported to TDD .feature files, or to custom .jsons.	Combi, script generation, ensembles
web-search	Searching terms in Ecosia search engine.	bp-base, selenium-based direct actuations, script generation, test books
web-search-bpmn	Searching terms in Ecosia search engine - this time using a BPMN diagram as the main flow driver.	BPMN, bp-base, selenium-based direct actuations, script generation, test books
dummy-bank-storyline	Basic demo for scheduling a meeting in provengo-dummy-bank. Using the Storylines DSL, the process is modeled like a user story.	Storylines, selenium-based actuations, Ctrl.markers
dummy-bank-statemachine	Basic demo for scheduling a meeting in provengo-dummy-bank. Same process as above, modeled as a State Machine.	StateMachines, bp-base, selenium-based actuations, Constraints
survey-bot	A model-building demo, which focuses on modularity. A little survey robot travels between four stations. Various requirement modifications change how the robot behaves.	EventCategory, modularity, gen-script
dummy-bank-combi	Basic demo for scheduling a meeting in provengo-dummy-bank. Same process as above, this time modeled with a combination of Combi-based case parameters, and a state machine that is constrained by them.	Combi StateMachines, bp-base, selenium-based actuations, Constraints
run-code	Using the run-code command. The demo tests a data table, and validates that summary calculations are correct.	web automation, Selenium
runbook-svc	Using the Event Category library. A demo for a runbook for creating a service account.	event category, runbook
runtime-values	Using the Runtime Variables library for performing sample-use scenarios and for reducing model size.	runtime variables, web automation, Selenium, process customization