A formal framework to model and validate event-based software architecture.

Yahya Asadollahi Vahid Rafe Samaneh Asadollahi Somayeh Assadollahi

Published in: WCIT (2011)

Keyphrases

software architecture
formal model
probabilistic model
computational model
reference model
theoretical framework
real world
software systems
high level
conceptual model
artificial intelligence
information systems
xml documents
software engineering
event driven