Specification and Verification of Declarative Open Interaction Models - A Logic-Based Approach

@inproceedings{Montali2010SpecificationAV,
  title={Specification and Verification of Declarative Open Interaction Models - A Logic-Based Approach},
  author={Marco Montali},
  year={2010}
}
The advent of distributed and heterogeneous systems has laid the foundation for the birth of new architectural paradigms, in which many separated and autonomous entities collaborate and interact to the aim of achieving complex strategic goals, impossible to be accomplished on their own. A non exhaustive list of systems targeted by such paradigms includes Business Process Management, Clinical Guidelines and Careflow Protocols, Service-Oriented and Multi-Agent Systems. It is largely recognized… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 72 CITATIONS, ESTIMATED 73% COVERAGE

Modelling self-managing multi agent systems using norms

VIEW 13 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Generating verifiable service choreographies from SBVR models

VIEW 8 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Business Process Management

  • Lecture Notes in Computer Science
  • 2013
VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

State-Based Event Modeling

VIEW 7 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Towards data-aware constraints in declare

VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A Logic-Based, Reactive Calculus of Events

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

How Understandable Are Pattern-based Behavioral Constraints for Novice Software Designers?

  • ACM Trans. Softw. Eng. Methodol.
  • 2019
VIEW 8 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Time prediction on multi-perspective declarative business processes

VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2009
2019

CITATION STATISTICS

  • 18 Highly Influenced Citations

  • Averaged 4 Citations per year over the last 3 years

Similar Papers

Loading similar papers…