Return to Article Details Formal Modeling Self-Adaptive Intelligent Service Component Based on Extenics Download Download PDF