Abstraction versus Implementation Issues in Formalizing the NIEHS Application Profile