Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

What are the future plans for PSL?

April 26, 2017future plans PSL

0

Posted

What are the future plans for PSL?

1 Answer

0

Posted

The future plans of PSL include applying PSL extensions to enterprise and supply chain models to detect inconsistencies between rules and processes, including business-to-business protocols, and web services and choreography. This will leverage previous results in incremental translation of flow models to PSL and extensions for loosely and tightly coupled processes. Theorem provers will be applied to proof-of-concept examples. Also some PSL extensions not yet standardized will be completed, for resources and agents.