New Concepts for Amalgamation and Extension in the Framework of Specification Logics