TU/e Research Portal (Eindhoven University of Technology) · 2009 · 47 citations · 76 references
ComputingComputer ScienceComputer SystemsDistributed SystemsMessage PassingSystems ArchitectureInteroperabilityInterprocess CommunicationProcess CoordinationService CoordinationService DiscoveryService-oriented ArchitectureBehavioral CompatibilityDeadlockDeadlock DetectionLoose CouplingService Interoperability
Abstract. In the service-oriented architecture (SOA), we distinguish three roles of service owners: service providers, service requesters, and service brokers, and the three standard operations publish, find, and bind. We provide a formal method based on Petri nets to model services. We suggest operating guidelines as a convenient and intuitive artifact to realize publish. Then, the find operation reduces to a matching problem between the requester’s service and the operating guideline. 1
76
Petri nets: Properties, analysis and applications
T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations
Graph-Based Algorithms for Boolean Function Manipulation
Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text
Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations