Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Complexity Results for 1-safe Nets
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
Toward a Formal Macroset Theory
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Formal Analysis of Services Compatibility
COMPSAC '09 Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 02
Interacting Workflow Nets for Workflow Process Re-Engineering
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Soundness of workflow nets: classification, decidability, and analysis
Formal Aspects of Computing
Soundness-preserving refinements of service compositions
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Soundness of resource-constrained workflow nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
A Petri Net Approach to Analysis and Composition of Web Services
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A Petri Net Approach to Analyzing Behavioral Compatibility and Similarity of Web Services
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Closure Properties of Multiset Language Families
Fundamenta Informaticae - Membrane Computing (WMC-CdeA2001)
| Hi-index | 0.00 |
In this work we consider modeling of services with workflow modules, which form a Petri net subclass. The service compatibility problem is to answer the question, whether two services fit together, i.e. whether the composed system is correct. We study complementarity of resources, produced/consumed by two services---a necessary condition for the service compatibility. Resources, which are produced/consumed by a service, are represented as a multiset language. We define an algebra of multiset languages and present algorithms for checking conformance of resources for two given well-structured workflow modules.