US5796950A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Method of detecting service interactions in intelligent networks
Assignee: Koninklijke KPN NV
•
Filing: 1995-02-09
•
Granted: 1998-08-18
•
Expires: 2015-02-09
Abstract
Abstract The invention provides a method of detecting service interactions in intelligent networks. According to the invention, the detection method comprises a first stage in which services are formally specified and a second stage in which the thus specified services are checked for possible interactions. In the formal specification, use is made of conditions defining the execution of the services, such as pre conditions, post conditions and global conditions. The second stage is suitable for computer-assisted execution.
Inventors
- 👤 Johan Willem Sips
- 👤 Alfonsius Antonius Johannes Melisse
- 👤 Eric Bryan Kuisch
- 👤 Ronaldus Gerardus Johannes Janmaat
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-11-03 16:52
CPC Classifications
H; H04; H04M; H04M3/00; H04M3/42; H04M3/42136; H04M3/4217; H04Q; H04Q3/00; H04Q3/0016; H04Q3/0029; H04Q3/0041; H04Q2213/00; H04Q2213/13256; H04Q2213/13345; H04Q2213/13501; H04Q2213/13547; H04Q2213/13548
Claims Analysis
Total Claims: 4
Claim 1
Independent Claim
161 words
A method of detecting interactions of services in networks having stations which are selectively connectable together during a basic call state, the method comprising: establishing a model of the basic call state; modeling said services as external states of the basic call state model; pairwise comparing features of the services during an established call between at least two of the stations, wherein the features include conditions associated with the services, the conditions comprising preconditions defining the state of the basic call state model prior to execution of a service, post conditions defining the state of the basic call state model after execution of the service, global conditions defining a condition of the basic call state model during an entire call, global preconditions defining a condition of the basic call state model during the call until the execution of the service, and global post conditions defining a condition of the basic call state model during the call after execution of the service.
Claim 2
Independent Claim
161 words
A method of detecting interactions of services in networks having stations which are selectively connectable together during a basic call state, the method comprising: establishing a model of the basic call state; modeling said services as external states of the basic call state model; pairwise comparing features of the services during an established call between at least two of the stations, wherein the features include conditions associated with the services, the conditions comprising preconditions defining the state of the basic call state model prior to execution of a service, post conditions defining the state of the basic call state model after execution of the service, global conditions defining a condition of the basic call state model during an entire call, global preconditions defining a condition of the basic call state model during the call until the execution of the service, and global post conditions defining a condition of the basic call state model during the call after execution of the service.
Claim 3
Dependent Claim
77 words
The method according to claim 1, wherein the step of pairwise comparing utilizes verification rules of the format {P} S {Q}, P being a first condition relating to the execution of the service, S being the execution of the service, and Q being a second condition relating to the execution of the service, and wherein interaction is detected as being present if P does not hold, or if P holds while {P} S {Q} does not hold.
Claim 4
Dependent Claim
23 words
The method according to claim 1, further comprising the step of comparing data exchanged between the service and the basic call state model.
References Cited (Backward Citations)
US5404396A
Cited
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 2001-08-17 | 2002-02-16 | 2002-08-18 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2005-08-17 | 2006-02-16 | 2006-08-18 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2009-08-17 | 2010-02-16 | 2010-08-18 | $7700.00 | Window Closed / Lapsed |