Declarative specification and verification of service choreographiess

M Montali, M Pesic, WMP Aalst, F Chesani… - ACM Transactions on …, 2010 - dl.acm.org
Service-oriented computing, an emerging paradigm for architecting and implementing
business collaborations within and across organizational boundaries, is currently of interest …

[图书][B] Specification and verification of declarative open interaction models: a logic-based approach

M Montali - 2010 - books.google.com
Many novel application scenarios and architectures in business process management or
service composition are characterized by a distribution of activities and resources, and by …

Local enforceability in interaction petri nets

G Decker, M Weske - International conference on business process …, 2007 - Springer
In scenarios where a set of independent business partners engage in complex
conversations, global interaction models are a means to specify the allowed interaction …

An evaluation of communication protocol languages for engineering multiagent systems

AK Chopra, MP Singh - Journal of Artificial Intelligence Research, 2020 - jair.org
Communication protocols are central to engineering decentralized multiagent systems.
Modern protocol languages are typically formal and address aspects of decentralization …

[PDF][PDF] Choice, interoperability, and conformance in interaction protocols and service choreographies.

M Baldoni, C Baroglio, AK Chopra, N Desai, V Patti… - AAMAS (2), 2009 - academia.edu
Many real-world applications of multiagent systems require independently designed
(heterogeneous) and operated (autonomous) agents to interoperate. We consider agents …

Type checking for protocol role enactments via commitments

M Baldoni, C Baroglio, F Capuzzimati… - Autonomous Agents and …, 2018 - Springer
This work presents a commitment-based agent typing system. Type checking is done
dynamically when an agent enacts a commitment-based protocol role: verification checks if …

Foundations of Collaborative

L Geatti, M Montali, A Rivkin - International Conference on Business …, 2023 - Springer
Collaborative work processes are widespread, and call for sophisticated modelling
techniques to guarantee that the in-focus process is able to suitably handle all the relevant …

CRDT: correlation ratio based decision tree model for healthcare data mining

S Roy, S Mondal, A Ekbal… - 2016 IEEE 16th …, 2016 - ieeexplore.ieee.org
The phenomenal growth in the healthcare data has inspired us in investigating robust and
scalable models for data mining. For classification problems Information Gain (IG) based …

Review of challenges, requirements, and approaches of pervasive computing system evaluation

B Abdulrazak, Y Malik - IETE Technical Review, 2012 - Taylor & Francis
Performance evaluation process identifies direction for future research and development.
Tremendous efforts have been invested in the related research; however, no standard or …

A formal and visual modeling approach to choreography based web services composition and conformance verification

WL Yeung - Expert Systems with Applications, 2011 - Elsevier
Web services have emerged as the building blocks of a service-oriented architecture that
supports not only enterprise application integration (EAI) and business process …