An Abstraction Method for Mobility and Interaction in Process Algebra Using Behavior Ontology | IEEE Conference Publication | IEEE Xplore