Modeling concurrency with geometry
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Interoperation support for electronic business
Communications of the ACM
An agent-based approach for building complex software systems
Communications of the ACM
On the Formal Specifications of Electronic Institutions
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
Automating Negotiation over B2B Processes
DEXA '02 Proceedings of the 13th International Workshop on Database and Expert Systems Applications
Inter-Enterprise Collaborative Business Process Management
Proceedings of the 17th International Conference on Data Engineering
Facilitating cross-organisational workflows with a workflow view approach
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Enterprise SOA: Service-Oriented Architecture Best Practices (The Coad Series)
Enterprise SOA: Service-Oriented Architecture Best Practices (The Coad Series)
The view-based approach to dynamic inter-organizational workflow cooperation
Data & Knowledge Engineering
Applying AI Planning to Semantic Web Services for Workflow Generation
SKG '05 Proceedings of the First International Conference on Semantics, Knowledge and Grid
Constructing customized process views
Data & Knowledge Engineering
A methodology for 3D electronic institutions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Dynamic business network process management in instant virtual enterprises
Computers in Industry
Normative conflict resolution in multi-agent systems
Autonomous Agents and Multi-Agent Systems
CSCWD '09 Proceedings of the 2009 13th International Conference on Computer Supported Cooperative Work in Design
InDiA: a framework for workflow interoperability support by means of multi-agent systems
Engineering Applications of Artificial Intelligence
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
A process-view approach for cross-organizational workflows management
Advanced Engineering Informatics
Cross-organisational workflow enactment via progressive linking by run-time agents
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Rule schemata for game artificial intelligence
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
A lightweight coordination calculus for agent systems
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
A cross organisation compatible workflows generation and execution framework
Knowledge-Based Systems
Hi-index | 0.00 |
Workflow technologies are widely used in industry and commerce to assist in the specification, execution and completion of well defined processes within organisations. As industrial and commercial relations have evolved, based on advances on information and communications technologies, cross-organisational workflow integration has become an important issue. Since organisations can have very different workflows, the creation of compatible workflows so that organisations can collaborate and/or carry out mutual transactions automatically in an integrated fashion can be a very complex and time consuming process. As a consequence, the development of technologies to support the creation and execution of compatible workflows is a most relevant issue. In the present article we introduce the JamSession coordination platform as a tool to implement cross-organisational workflow integration. JamSession is declarative and based on algebraic specification methods, and therefore workflow integration implemented using this platform can profit from formal behavioural analysis, based on which desired features and properties can be verified and/or obtained.