Statecharts: A visual formalism for complex systems
Science of Computer Programming
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
IEEE Intelligent Systems
Formal Specification and Prototyping of Multi-agent Systems
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
DAML-S: Web Service Description for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
View-Based Contracts in an E-Service Cross-Organizational Workflow Environment
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
Compatibility of e -Services in a Cooperative Multi-platform Environment
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
An Evaluation of Formalisms for Negotiations in E-commerce
DCW '00 Proceedings of the Third International Workshop on Distributed Communities on the Web
SELF-SERV: a platform for rapid composition of web services in a peer-to-peer environment
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Classification of ad-hoc multi-lateral collaborations based on local workflow models
Proceedings of the 2003 ACM symposium on Applied computing
When are two workflows the same?
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Framework for Semantic Web Process Composition
International Journal of Electronic Commerce
Quantifying process equivalence based on observed behavior
Data & Knowledge Engineering
Sound Multi-party Business Protocols for Service Networks
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Verifying Interaction Protocol Compliance of Service Orchestrations
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Modeling and analyzing context-aware composition of services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
| Hi-index | 0.00 |
Enabling technology for realizing ad-hoc business processes currently is becoming more and more popular, like for example web services. Ad-hoc business processes are semantically characterized by a description of the exchanged messages and by the potential message sequences. These semantic meta-data are required to enable efficient and precise searching and finding of potential trading partners. Based on the experience of current web technology, manual maintenance of meta-data is neglected by most editors, therefore the meta-data must be generated automatically. Within this paper, we propose a method to derive a specification of potential message sequences based on a private workflow model. Further, we describe an algorithm for matchmaking of message sequence specifications as part of a search engine for ad-hoc business processes.