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.
منابع مشابه
Formalizing Chisel Specifications
Graphical description techniques are especially useful in the early development phases like requirements engineering. There, often a trail-and-error approach is applied to develop a first system specification. However, even there a precise meaning of those description techniques is necessary, especially in trial-anderror phases based on a service-oriented description of the requirements to chec...
متن کاملThe Impact of Chisel Shape and Length on Hand-Arm Vibration Transmitted from Electrical Demolition Hammer Handle on Concrete Surfaces
Introduction: This study aims to determine the amount of hand-arm vibration transmitted from heavy electric destruction tools and the effect of using chisel with different lengths and shapes when demolishing concrete surfaces. Material and Methods: To evaluate the magnitude of hand-arm vibration on the left and right handles of two powerful electric demolition hammers commonly applied in Irani...
متن کاملA Lightweight Privacy-preserving Authenticated Key Exchange Scheme for Smart Grid Communications
Smart grid concept is introduced to modify the power grid by utilizing new information and communication technology. Smart grid needs live power consumption monitoring to provide required services and for this issue, bi-directional communication is essential. Security and privacy are the most important requirements that should be provided in the communication. Because of the complex design of s...
متن کاملTowards Service-Based Systems Engineering: Formalizing and μ-Checking Service Descriptions
Using graphical description techniques for the modeling of distributed reactive systems is especially useful in the early phases like requirements engineering. There, often a trial-and-error approach is applied to develop a first system specification. Thus, even there a precise meaning of those description techniques is necessary to check for consistency and completeness of a service-oriented d...
متن کاملStructuring Telecommunications Features
It is argued that languages constructs for defining services are important in providing well-structured descriptions. This view is illustrated with two service definition languages, Anise (Architectural Notions In Service Engineering) and Cress (Chisel Representation Employing Structured Specifications). Anise is a mainly textual notation for defining services through the composition of simpler...
متن کامل