- Tytuł:
- On the SMT-based verification of communicative commitments
- Autorzy:
-
Woźna-Szcześniak, B.
Szcześniak, I. - Powiązania:
- https://bibliotekanauki.pl/articles/121962.pdf
- Data publikacji:
- 2016
- Wydawca:
- Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
- Tematy:
-
zobowiązania komunikacyjne
język komunikacji
semantyka mentalna
język CCTL
communications commutments
langue of communication
CCTL language - Opis:
- We propose an SMT-based bounded model checking (BMC) technique for the existential fragments of CCTL*K – an epistemic temporal logic extended to include modalities for different social commitments – and for multi-agent systems modelled by Communication Interpreted Systems (CIS). Furthermore, we exemplify the use of the technique by means of the NetBill protocol, a popular example in the MAS literature related to the modelling of business processes.
- Źródło:
-
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2016, 21; 161-187
2450-9302 - Pojawia się w:
- Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
- Dostawca treści:
- Biblioteka Nauki