SCF3/Sculptor with Chisel: Requirements Engineering for Communications Services

by Alfred Aho, Sean Gallagher, Nancy Griffeth, Cynthia Schell, and Deborah Swayne Abstract We describe a language called Chisel and an editing tool for Chisel called Sculptor for defining requirements for communications services. The purpose of Sculptor and Chisel is to speed the service creation process by improving communication between organizations, by automating tedious manual work, and by enabling application of formal methods. The design of both the Chisel language and the Sculptor tool was based on user studies, and the initial response from users has been positive. By improving communication between organizations, Chisel potentially benefits every phase of the service creation process.

[1]  John Q. Walker,et al.  A node‐positioning algorithm for general trees , 1990, Softw. Pract. Exp..

[2]  Luigi Logrippo,et al.  Specifying features and analysing their interactions in a LOTOS environment , 1994, FIW.

[3]  Gerard J. Holzmann,et al.  The Theory and Practice of A Formal Method: NewCoRe , 1994, IFIP Congress.

[4]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[5]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[6]  E. Cameron,et al.  A real-time transition model for analyzing behavioral compatibility of telecommunications services , 1991, SIGSOFT '91.

[7]  Jan A. Bergstra,et al.  Linear Time and Branching Time Semantics for Recursion with Merge , 1983, Theor. Comput. Sci..

[8]  Roland N. Bol,et al.  Automatic Detection of Feature Interactions in Temporal Logic , 1995, FIW.

[9]  Yow-Jian Lin,et al.  A Building Block Approach to Detecting and Resolving Feature Interactions , 1994 .

[10]  Tadashi Ohta,et al.  A New Proposal for Feature Interaction Detection and Elimination , 1995, FIW.

[11]  Dieter Hogrefe,et al.  SDL : formal object-oriented language for communicating systems , 1997 .

[12]  Kenneth J. Turner.  An Architectural Foundation for Relating Features , 1997, FIW.

[13]  Yow-Jian Lin,et al.  A feature-interaction benchmark for IN and beyond , 1993, IEEE Communications Magazine.

[14]  Peter B. Ladkin,et al.  What Do Message Sequence Charts Mean? , 1993, FORTE.

[15]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[16]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[17]  Martin Peschke,et al.  Design and Validation of Computer Protocols , 2003 .

[18]  Michael D. Gallagher,et al.  Mobile Telecommunications Networking with Is-41 , 1997 .

[19]  Kenneth J. Turner,et al.  Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL , 1993 .

[20]  H. Velthuijsen,et al.  Feature interactions in telecommunications systems , 1993, IEEE Communications Magazine.

[21]  Luigi Logrippo,et al.  Representing and Verifying Intentions in Telephony Features Using Abstract Data Types , 1995, FIW.

[22]  Y.-J. Lin,et al.  Analyzing service specifications based upon the logic programming paradigm , 1990, [Proceedings] GLOBECOM '90: IEEE Global Telecommunications Conference and Exhibition.

[23]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[24]  Tadashi Ohta,et al.  Classification, detection and resolution of service interactions in telecommunication services , 1994, FIW.

[25]  Alfred V. Aho,et al.  Feature interactions in the global information infrastructure , 1995, SIGSOFT '95.

[26]  Mohammed Faci.  Detecting feature interactions in telecommunications systems designs , 1996 .

[27]  Jan A. Bergstra,et al.  Models for Feature Descriptions and Interactions , 1997, FIW.