Actor Eco-systems: From High-Level Agent Models to Executable Processes via Semantic Annotations

  • Authors:
  • Aditya Ghose;George Koliadis

  • Affiliations:
  • University of Wollongong, NSW 2522 Australia;University of Wollongong, NSW 2522 Australia

  • Venue:
  • COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written in aspect-oriented languages. Pipa is a BISL tailored to AspectJ for specifying ...