{\cal B} -Tropos

DOI10.1007/978-3-540-88833-8_9zbMATH Open1175.68453OpenAlexW1448172222MaRDI QIDQ3602948FDOQ3602948

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

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

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)

Cites Work

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

Cited In (3)

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

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)