Service modeling and execution

Disclosed is method and system for modeling and executing service operation associated with technical service. Method comprises modeling of knowledge required for execution of service operation by representing factual knowledge and actionable knowledge in executable form. Modeling comprises representing standard operators and service operation. Service operation comprises parameters and rules presented in form of list of predicate-action pairs. Predicate-action pair comprises predicate and action. Predicate defines condition to be verified to comply with rule, and action specifies standard operator to be executed based on verification of condition. Method further comprises execution of service operation. Execution of service operation comprises selecting each predicate-action pair from list of predicate-action pairs and supplying subset of parameters to predicate of each predicate-action pair, verifying condition using subset of parameters, selecting standard operator based on verification of condition, supplying subset of parameters to standard operator, executing the standard operator by using subset of parameters.