{\cal B} -Tropos

DOI10.1007/978-3-540-88833-8_9MaRDI QIDQ3602948zbMATH OpenOpenAlexFDO

Authors Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone

Publication date 12 February 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-88833-8_9

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Operations research and management science (90B99)

Recommendations

• Specification and verification of declarative open interaction models. A logic-based approach
• A rigorous methodology for specification and verification of business processes
• Business process verification with constraint temporal answer set programming
• BPMN -- a logical model and property analysis
• Towards requirements-driven information systems engineering: the 'Tropos' project

Cites work

• scientific article; zbMATH DE number 3557247 (Why is no real title available?)
• scientific article; zbMATH DE number 3624762 (Why is no real title available?)
• scientific article; zbMATH DE number 2080585 (Why is no real title available?)
• A logic-based calculus of events
• Abductive Logic Programming
• Actions and Events in Interval Temporal Logic
• Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem
• On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework
• Reinventing Shakey
• Specification and Verification of Agent Interaction Using Abductive Reasoning
• The First Contest on Multi-agent Systems Based on Computational Logic
• The IFF proof procedure for abductive logic programming
• Verifiable agent interaction in abductive logic programming: the SCIFF framework

Cited in

(3)

• A formal ontology for business process model TAP: tasks-agents-products
• Specification and verification of declarative open interaction models. A logic-based approach
• Verification from Declarative Specifications Using Logic Programming

Describes a project that uses

Uses Software

• SCIFF

This page was built for publication: ${\cal B}$ -Tropos

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3602948)