Kenneth J. Turner  Home/Search
Context Related
| cs.stir.ac.uk/pub/staf...valfeat.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.stir.ac.uk/~kjt...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for translating ANISE descriptions to LOTOS (Language of Temporal Ordering Specification), thus providing a formal basis. It is shown how modular ANISE descriptions of features can be defined and then merged. Potential feature interactions can be identified statically through structural overlaps. A scenario language... (Update)
Context of citations to this paper: More
.... and a testing tool for validation of feature properties; modular description of features and static detection of feature interaction [31]are mainly based on an architectural approach founded on LOTOS; the state based approach for defining and detecting feature interactions...
...that permit further analysis. For example, 2] describes use case maps for telephony features that are hand translated into LOTOS. [12, 13] and other papers illustrate the author s work on ANISE (Architectural Notions in Service Engineering) ANISE builds features and...
Cited by: More
Immaturity and Potential of Formal Methods: A personal view - Logrippo (Correct)
Modelling SIP Services using CRESS - Turner (2002) (Correct)
Representing New Voice Services and Their Features - Turner (Correct)
Active bibliography (related documents): More All
0.9: An Architectural Description of Intelligent Network Features and.. - Turner (1998) (Correct)
0.7: Realising architectural feature descriptions using LOTOS - Turner (1998) (Correct)
0.5: N-Body Problem in - Lotos Kenneth Turner (Correct)
Similar documents based on text: More All
0.4: An Architectural Foundation for Relating Features - Turner (1997) (Correct)
0.3: Structuring Telecommunications Features - Turner (Correct)
0.2: Modular Feature Specification - Turner (2001) (Correct)
Related documents from co-citation: More All
6: ITU-T, International Telecommunication Union, Homepage, Nov. 96,
6: Series Intelligent Network Recommendation Structure (context) - Network - 1993
5: Formalising the CHISEL Feature Notation - TURNER - 2000
BibTeX entry: (Update)
Turner, K.J. (1998) "Validating Architectural Feature Descriptions using LOTOS". In: K. Kimbler and W. Bouma (eds.), Fifth International Workshop on Feature Interactions in Telecommunications Software Systems, http://citeseer.ist.psu.edu/turner98validating.html More
@misc{ turner98validating,
author = "K. Turner",
title = "Validating Architectural Feature Descriptions using LOTOS",
text = "Turner, K.J. (1998) Validating Architectural Feature Descriptions using
LOTOS. In: K. Kimbler and W. Bouma (eds.), Fifth International Workshop
on Feature Interactions in Telecommunications Software Systems,",
year = "1998",
url = "citeseer.ist.psu.edu/turner98validating.html" }
Citations (may not include all citations):315 Information Processing Systems -- Open Systems Interconnecti.. (context) - IEC - 1989
315 Information Processing Systems -- Open Systems Interconnecti.. (context) - IEC - 1991
315 Information Processing Systems -- Open Systems Interconnecti.. (context) - IEC - 1998
94 A theory for the derivation of tests (context) - Brinksma - 1988
82 International Telecommunications Union (context) - Specification, Language - 1992
17 Structural models for specifying telephone systems - Faci, Logrippo et al. - 1997 ACM DBLP
9 Computer Networks and ISDN Systems (context) - Turner, specification - 1997 ACM
7 An architectural description of intelligent network features.. - Turner - 1998 ACM DBLP
6 An architectural foundation for relating features - Turner - 1997
5 Department of Computing Science and Mathematics (context) - Turner, macro et al. - 1994
3 Modelling user views of telecommunications services for feat.. (context) - Thomas - 1997
2 Department of Telematic Systems Engineering (context) - Manas, Moro et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.stir.ac.uk/~kjt/research/publications.html): More
Formal Specification of QoS Properties - Donaldson, Turner (1994) (Correct)
Specification Architecture Illustrated in a Communications Context - Turner (1997) (Correct)
LOTOS Specification Style for OSI - Turner, van Sinderen (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC