Revenue - Remaining Performance Obligations (Details)	Sep. 30, 2019
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2019-10-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period	3 years
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2019-10-01 | Subscription [Member]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period	3 years
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2019-10-01 | Support and Services [Member]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period	3 years
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-10-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period	2 years
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-10-01 | Subscription [Member]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period	2 years
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-10-01 | Support and Services [Member]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period	2 years
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-10-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-10-01 | Subscription [Member]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-10-01 | Support and Services [Member]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period