Thea Miller

Learn More
  • A Lopez-Lorca, G Beydoun, L Sterling, T Miller, Verification
  • 2010
Despite the potential of Multi-Agent Systems (MAS), this technology has not been widely adopted by industry yet. Due to its complexity, errors in modelling activities can be costly. Early validation of MAS models can prevent rework or building a system non-compliant with client's specification. We propose a general ontology-based process to validate any(More)
  • 1