A formal approach to software architecture of agent-base systems | IEEE Conference Publication | IEEE Xplore