Shengkai Lu

Learn More
For complex software systems, a centr al design concern is system archite ctur e. The systematic treatment of ar chite ctur al specication and renement is a prop er basis for an engineering approach to system design. However, conventional Petri nets models do not provide ade quate abstr actions for archite ctur al specica-tion, because their primary conc(More)
  • 1