Systems Architecture of Smart Parking Cloud Applications and Services Iot System: SBC Architecture Description Language in Practice