Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(4)
Case Study
Feature Interaction
Mixed Model
Semantic Model
Related Publications
(2)
Feature Requirements Models: Understanding Interactions
A Validation Environment for LOTOS
Subscribe
Academic
Publications
Feature Interactions: A Mixed Semantic Model Approach
Edit
Feature Interactions: A Mixed Semantic Model Approach
(
Citations: 13
)
BibTex
|
RIS
|
RefWorks
Download
J. Paul Gibson
,
Bruno Mermet
,
Dominique Méry
The
feature interaction
problem is prominent in telephone service development. Through a number of case studies, we have discovered that no one semantic framework is suitable for the synthesis and analysis of formal feature requirements models. We illustrate our mixed-model approach, where we use OO LOTOS, B and TLA+ in a complementary fashion. A simple combination of call forwarding and call screening features emphasises the need for different semantics during the analysis, synthesis, validation, refinement and verification stages of formal development.
Conference:
Irish Workshop in Formal Methods - IWFM
, 1997
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
www-public.it-sudparis.eu
)
(
www-public.int-evry.fr
)
(
www.informatik.uni-trier.de
)
Citation Context
(6)
...e.g. [
19
,18]) of heterogeneity arises in the specification of reactive systems: some equational or first-order logic is used to specify the data (here, lists over arbitrary elements), some process algebra (here, CSP) is used to describe the system (here, a buer implemented as a list), and some temporal logic is used to state fairness or eventuality properties that go beyond the expressiveness of the process algebra (here, we express the ...
Till Mossakowski
.
Foundations of Heterogeneous Specification
...The students also now saw the importance of mixed semantic models[
13
]...
...The integration of these different views is part of our current research[
13
]...
J. Paul Gibson
.
Formal Requirements Engineering: Learning from the Students
...Our idea is directed by our previous experiments on B and TLA + [22,23,26,
24
,33, 36], where we have effectively developed case studies, because a tool [40] was available and usable and we were able to manage complex proofs of developments...
...‐ State-based approach for defining and detecting feature interactions [
24
,33,44,21] ‐ Relational approach for defining and detecting feature interactions [20] ‐ Logical approach for defining and detecting feature interactions [12,11,22,24,25, 10]...
...‐ State-based approach for defining and detecting feature interactions [24,33,44,21] ‐ Relational approach for defining and detecting feature interactions [20] ‐ Logical approach for defining and detecting feature interactions [12,11,22,
24
,25, 10]...
Dominique Cansell
,
et al.
Playing with Abstraction and Refinement for Managing Features Interact...
...A temporal logic provides an ideal means of specifying and verifying such requirements [
23
]...
J. Paul Gibson
,
et al.
Formal Modelling of Services for Getting a Better Understanding of the...
...We have used TLA + to model the user’s point of view of services of the CS 1 [2,
8
,9,10,11], a list of telecommunication services defined by ITU...
Dominique Cansell
,
et al.
Abstract Animator for Temporal Specifications: Application to TLA
References
(25)
A Calculus of Communicating Systems
(
Citations: 1558
)
Robin Milner
Published in 1980.
The operational versus the conventional approach to software development
(
Citations: 151
)
Pamela Zave
Journal:
Communications of The ACM - CACM
, vol. 27, no. 2, pp. 104-118, 1984
Object-Oriented Design with Applications
(
Citations: 1002
)
Grady Booch
Published in 1990.
Telephone feature verification: Translating SDL to TLA
(
Citations: 7
)
Dominique Méry
,
J. Paul Gibson
Conference:
International Conference on System Design Languages - SDL
, pp. 103-118, 1997
Communicating Sequential Processes
(
Citations: 6957
)
C. A. R. Hoare
Published in 1985.
Order by:
Citations
(13)
Foundations of Heterogeneous Specification
(
Citations: 12
)
Till Mossakowski
Conference:
Workshop on Algebraic Development Techniques - WADT
, pp. 359-375, 2002
Formal Requirements Models: Simulation, Validation and Verification
(
Citations: 1
)
J. Paul Gibson
Published in 2001.
The Application of Correctness Preserving Transformations to Software Maintenance
(
Citations: 4
)
J. Paul Gibson
,
Thomas F. Dowling
,
Brian A. Malloy
Conference:
International Conference on Software Maintenance - ICSM
, pp. 108-117, 2000
Formal Requirements Engineering: Learning from the Students
(
Citations: 4
)
J. Paul Gibson
Conference:
Australian Software Engineering Conference
, pp. 171-180, 2000
Playing with Abstraction and Refinement for Managing Features Interactions
(
Citations: 2
)
Dominique Cansell
,
Dominique Méry
Conference:
Z Users Conference - ZUM
, pp. 148-167, 2000