SERVICE INTERACTION VIOLATION DETECTION

Abstract: in an example embodiment, interactions among services in a service proxy are recorded in an interaction log. a service graph manager then parses the interaction log. the service graph manager reads each interaction and then processes the interaction to determine if it violates the rules. if so, the service graph manager reports the violation to the software developer and also recommends an action to remedy the violation. in an example embodiment, this recommendation takes the form of an indication of which files to modify to allow the service interaction (e.g., which rule(s) to modify to ensure that the service interaction is not a violation). the software developer can then approve the proposed action, which can then be automatically implemented to ensure that once the service is sent to a quality assurance environment there will be no rules violation from the corresponding interaction(s).

Inventor(s): Sydney ZHENG, Soam VASANI

CPC Classification: G06F11/3608 ({using formal methods, e.g. model checking, abstract interpretation (theorem proving )})

Search for rejections for patent application number 20250181481