Communicating sequential processes
Communicating sequential processes
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
The unified software development process
The unified software development process
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
Agent UML: a formalism for specifying multiagent software systems
First international workshop, AOSE 2000 on Agent-oriented software engineering
Verifying Compliance with Commitment Protocols
Autonomous Agents and Multi-Agent Systems
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
DAML-S: Web Service Description for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Organizing Business Knowledge: The MIT Process Handbook
Organizing Business Knowledge: The MIT Process Handbook
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Model-Driven Web Services Development
EEE '04 Proceedings of the 2004 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'04)
Augmenting semantic web service descriptions with compositional specification
Proceedings of the 13th international conference on World Wide Web
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Protocol-Based Business Process Modeling and Enactment
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Automated composition of e-services: lookaheads
Proceedings of the 2nd international conference on Service oriented computing
Protocols for processes: programming in the large for open systems
ACM SIGPLAN Notices
A service creation environment based on end to end composition of Web services
WWW '05 Proceedings of the 14th international conference on World Wide Web
Strategy-based design of reusable business components
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
An overview of business process adaptations via protocols
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Specifying and resolving preferences among agent interaction patterns
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Dynamic Protocol Selection in Open and Heterogeneous Systems
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
An algebra for commitment protocols
Autonomous Agents and Multi-Agent Systems
A Perspective on the Future of Middleware-based Software Engineering
FOSE '07 2007 Future of Software Engineering
Modeling process-driven and service-oriented architectures using patterns and pattern primitives
ACM Transactions on the Web (TWEB)
Toward verification of commitment protocols and their compositions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
An event-driven approach for agent-based business process enactment
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Introducing Preferences into Commitment Protocols
Agent Communication II
Measurement of Compliance Distance in Business Processes
Information Systems Management
Development Support for Specifying and Monitoring Goals of Open Business Processes
SOCCER '08 Proceedings of the 2008 International Workshop on Service-Oriented Computing Consequences for Engineering Requirements
Data & Knowledge Engineering
Choice, interoperability, and conformance in interaction protocols and service choreographies
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Reasoning intra-dependency in commitments for robust scheduling
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Dynamic Execution of Coordination Protocols in Open and Distributed Multi-Agent Systems
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Amoeba: A methodology for modeling and evolving cross-organizational business processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specifying Open Agent Systems: A Survey
Engineering Societies in the Agents World IX
A modular action description language for protocol composition
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Representing and reasoning about commitments in business processes
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Engineering deontic protocols by means of organizational Petri nets
Engineering Applications of Artificial Intelligence
A knowledge-based framework for complex, proactive and service-oriented e-negotiation systems
Electronic Commerce Research
A protocol ontology for inter-organizational workflow coordination
ADBIS'07 Proceedings of the 11th East European conference on Advances in databases and information systems
Semantic web technology for agent communication protocols
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Modeling control objectives for business process compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Challenges observed in the definition of reference business processes
BPM'07 Proceedings of the 2007 international conference on Business process management
Elements of a business-level architecture for multiagent systems
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Adaptation in open systems: giving interaction its rightful place
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Expert Systems with Applications: An International Journal
Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A mechanism for discovering semantic relationships among agent communication protocols
Autonomous Agents and Multi-Agent Systems
Checking order constraints in collaborative workflow with invariant analysis
WISS'10 Proceedings of the 2010 international conference on Web information systems engineering
OWL-P: a methodology for business process development
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Incorporating commitment protocols into tropos
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Correctness properties for multiagent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Producing enactable protocols in artificial agent societies
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
Norms as a basis for governing sociotechnical systems
ACM Transactions on Intelligent Systems and Technology (TIST) - Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web Mining
Engineering commitment-based business protocols with the 2CL methodology
Autonomous Agents and Multi-Agent Systems
Service Acquisition for Mobile Users in Future Internet
Wireless Personal Communications: An International Journal
Hi-index | 0.01 |
Business process modeling and enactment are notoriously complex, especially in open settings, where business partners are autonomous, requirements must be continually finessed, and exceptions frequently arise because of real-world or organizational problems. Traditional approaches, which attempt to capture processes as monolithic flows, have proven inadequate in addressing these challenges. We propose (business) protocols as components for developing business processes. A protocol is an abstract, modular, publishable specification of an interaction among different roles to be played by different participants. When instantiated with the participants' internal policies, protocols yield concrete business processes. Protocols are reusable and refinable, thus simplifying business process design. We show how protocols and their composition are theoretically founded in the \pi-calculus.