Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Kritsimallis, Agathoklis"'
The system of Type PDL ($\tau$PDL) is an extension of Propositional Dynamic Logic (PDL) and its main goal is to provide a formal basis for reasoning about types of actions (modeled by their preconditions and effects) and agent capabilities. The syste
Externí odkaz:
http://arxiv.org/abs/1909.00436
Autor:
Kritsimallis, Agathoklis
The web services in order to complete a multi-step business process must cooperate in the sense of interacting and exchanging messages. The Web Service Choreography Description Language (WS - CDL) is an XML-based language which describes interactions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3616::d13db7ac60c88a7d18870b80add5cc2f