Combining ECA Rules with Process Algebras for the Semantic Web | IEEE Conference Publication | IEEE Xplore