Mauricio Chui Rodrigues

Learn More
Despite the popularity of standards such as BPEL in business-critical applications, rigorous approaches to web service composition remain an open research problem. Frameworks based on formal foundations (e.g., process algebra or Petri nets) have emerged as promising approach to address these challenges. This work introduces the Navigation Plan for Web(More)
  • 1