Login / Signup

Modelling and verification of enterprise application integration processes through coloured Petri nets.

Alexsandro Q. LencinaFabricia Roos-FrantzRafael Z. FrantzSandro Sawicki
Published in: Int. J. Comput. Appl. Technol. (2022)
Keyphrases
  • coloured petri nets
  • formal verification
  • enterprise application integration
  • model checking
  • peer to peer computing
  • web services
  • software engineering
  • lightweight
  • loosely coupled