Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Enacting protocols by commitment concession
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Amoeba: A methodology for modeling and evolving cross-organizational business processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification by refinement and agreement: designing agent interaction using landmarks and contracts
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
A value-oriented approach to E-business process design
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Towards a reference ontology for business models
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Value network analysis for the pragmatic web: a case of logistic innovation
Proceedings of the 6th International Conference on Semantic Systems
Programming multiagent systems without programming agents
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Verifiable semantic model for agent interactions using social commitments
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
On temporal regulations and commitment protocols
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Hi-index | 0.00 |
Existing computer science approaches to business modeling offer low-level abstractions such as data and control flows, which fail to capture the business intent underlying the interactions that are central to real-life business models. In contrast, existing management science approaches are high-level but not only are these semiformal, they are also focused exclusively on managerial concerns such as valuations and profitability. This paper proposes a novel business metamodel based on commitments that considers additional agent-oriented concepts, specifically, goals and tasks. It proposes a set of business patterns and algorithms for checking model completeness and verification of agent interactions. Unlike traditional models, our approach marries rigor and flexibility, providing a crisp notion of correctness and compliance independent of specific executions.