Made with
ConceptDraw
DIAGRAM 15

SDL — Systems Engineering

To make a SDL Diagram with help of ConceptDraw DIAGRAM diagramming and drawing application is much simpler, especially if you have the Specification and Description Language (SDL) Solution downloaded from ConceptDraw STORE.

Specification and Description Language (SDL) Solution

Example 1. Specification and Description Language (SDL) Solution in ConceptDraw STORE

A specification language is simply a formal language which is widely used in the computer science during conducting the requirements analysis, the systems analysis and the systems design for describing a system at a much higher level to compare to a programming language, known to be used for producing the executable codes for the systems.

All the specification languages are usually not directly executed. They are used for describing the issues, which are the answers to such question as “what?”. In case there is some requirement specification, which is cluttered with the implementation details known to be unnecessary, then it can be expected to be considered simple as an error.

The well-known fundamental assumption of most of the specification approaches is that programs are modelled as model-theoretic or algebraic structures, including a collection of sets of data values, as well as the functions over the mentioned sets. Such level of abstraction coincides with such point of view that the correctness of the input as well as an output behaviour of a program can take the precedence over all its other properties.

In the so called property-oriented approach to specification, the specifications of the programs are known to be consisting of the logical axioms, describing the properties that the functions have to satisfy. This approach is known to be opposite to the so-called “model-oriented specification” in such frameworks as Z and VDM, consisting of a simple realization of some particular behaviour which is nowadays required.

Specifications are expected to be the subject to such process, as a process of “refinement”. This process can be described as the filling-in one of the implementation details just before they are good enough to be implemented. The result of the described refinement process is a so called “executable algorithm”.

The mentioned algorithm is the one, which is either formulated in an executable subset of the specification language at hand or in some programming language. An important thing about the use of the specification languages which has to be mentioned is that it enables the creation of proofs of program correctness.

One of the kinds of the specification language is a Specification and Description Language (SDL). This language is targeted at the unambiguous description and specification of the behaviour of distributed and reactive systems.

SDL — Systems Engineering *

Example 2. SDL Diagram

Providing both textual Phrase Representation (SDL/PR) as well as a graphical Graphic Representation (SDL/GR), The Specification and Description Language is known to be very commonly used worldwide. The mentioned types of the representation — the graphic and the textual ones — are both equivalent representations of the same semantics.

The models within the mentioned language are usually represented in the graphical SDL/GR form, when SDL/PR is more often used for exchanging the models between different tools. Any system can be specified as a set of the interconnected abstract machines, known to be the extensions of the finite state machines, also known as “FSM”. Due to the language is formally complete, it can be used for code generation for either final targets or for a simulation.

The Specification and Description Language is known to be covering five main aspects: communication, structure, behaviour, inheritance and data. The behaviour of the components can be explained by partitioning the system into a series of hierarchies. The communication between the components can take place through gates which are all connected with help of the channels. These channels are known to be those of the delayed channel type, so such communication is usually expected to be “asynchronous”. In case, though, the delay is set to zero, then the communication may become “synchronous”.

The structure of the hierarchy level of Specification and Description Language is known to be the following: Library package, Block agent, System agent, Procedure type, Process agent, Architecture and Remote procedure. Any Specification and Description Language system is made of the functional blocks, each of which can be further decomposed in the so called “sub-blocks”. The lowest level block is known to be composed of one or more processes described as the finite state machines. The mentioned blocks are all connected with help of channels, as it was already mentioned before, and so these channels carry the messages, also known as “signals”, exchanged between different blocks. A block agent is known to be consisting of the process agents.

SDL Process Game

Example 3. SDL Process Game

Each of the process agents is simply a state machine which contributes to the action, which is carried out by the system itself. A message stimulus is known to be coming from the environment to an agent and it is known to be called as a “signal”. By the way, such message stimulus can also come from another agent as well. All the signals which are received by a process agent are all placed on the first place in a queue, which is also sometimes known to be called as the “input port”.

When the state machine is known to be waiting in a state, in case the first signal in the previously mentioned input port is enabled for that state, then it starts a transition, which is expected to be leading to the following states. Transitions are also known to be able to output the signals to the environment as well as to the other agents. Any process agent is known to be allowed to contain any needed procedure types, resulting in the same actions being able to get invoked from the different places. It is also important to mentioned that it is always allowed to call a remote procedure type in order to invoke a procedure in another agent (or sometimes in another system) and later to wait for a response.




TEN RELATED HOW TO's:

Electrical Symbols — Terminals and Connectors →

An electrical connector, is an electro-mechanical device used to join electrical terminations and create an electrical circuit. Electrical connectors consist of plugs (male-ended) and jacks (female-ended). The connection may be temporary, as for portable equipment, require a tool for assembly and removal, or serve as a permanent electrical joint between two wires or devices. 26 libraries of the Electrical Engineering Solution of ConceptDraw DIAGRAM make your electrical diagramming simple, efficient, and effective. You can simply and quickly drop the ready-to-use objects from libraries into your document to create the electrical diagram.Electrical Symbols — Terminals and Connectors
Picture: Electrical Symbols — Terminals and Connectors
Related Solution:

How Cloud Computing Works →

The diagrams and schemes are effective way to visualize the Cloud computing, the differences in their types and how Cloud computing works. Thanks to the ConceptDraw DIAGRAM diagramming and vector drawing software extended with Cloud Computing Diagrams solution from the Computers and Network area of ConceptDraw Solution Park, you can design diagrams as easy and quickly as you need.How Cloud Computing Works *
Picture: How Cloud Computing Works
Related Solution:

SysML Diagram →

To draw SysML diagrams use the ConceptDraw DIAGRAM diagramming and vector drawing software extended with the Rapid UML solution from the Software Development area of ConceptDraw Solution Park.SysML  Diagram *
Picture: SysML Diagram
Related Solutions:

Functional Block Diagram →

You need design the Functional Block Diagram and dream to find the useful tools to draw it easier, quickly and effectively? ConceptDraw DIAGRAM offers the Block Diagrams Solution from the "Diagrams" Area which will help you!Functional Block Diagram *
Picture: Functional Block Diagram
Related Solution:

Metropolitan area networks (MAN). Computer and Network Examples →

A list of parameters on which networks differ is very long. A large network with a range up to 50 kilometers is called metropolitan area network (MAN), and this type of network can include several local area networks. Metropolitan networks in their turn connect into global area networks. Here you will see a Metropolitan Area Network (MAN). This is an extensive network which occupies a large territory including a few buildings or even the whole city. The space of the MAN is bigger than LAN, but lower than WAN. MAN comprise a lot of communication equipment and delivers the Internet connection to the LANs in the city area. Computer and Networks solution for ConceptDraw DIAGRAM provides a set of libraries with ready-to-use vector objects to design various kinds of computer networks.Metropolitan area networks (MAN). Computer and Network Examples
Picture: Metropolitan area networks (MAN). Computer and Network Examples
Related Solution:

Daisy Chain Network Topology →

This sample was created in ConceptDraw DIAGRAM diagramming and vector drawing software using the Computer and Networks solution from Computer and Networks area of ConceptDraw Solution Park. A Daisy Chain is the simple computer network. It is the easiest way to add more Ethernet devices into the network. In the Daisy Chain network one computer is connected to the next without any intervening devices, thus the message is sent from one computer to the next and then to the next and so on. A Daisy Chain can be linear or ringDaisy Chain Network Topology *
Picture: Daisy Chain Network Topology
Related Solution:

SDL Diagram →

Specification and Description Language (SDL) is used for creating the object-oriented diagrams, visualizing the processes of the state machines for the systems of communication, telecommunication, automotive, aviation and medical industries. SDL is a specification language for creating specifications, descriptions of the behavior, data, and inheritance for real-time systems. This sample shows the SDL Diagram of the process game.SDL Diagram *
Picture: SDL Diagram
Related Solution:

Cisco Multimedia, Voice, Phone. Cisco icons, shapes, stencils and symbols →

The ConceptDraw vector stencils library Cisco Multimedia, Voice, Phone contains equipment symbols for drawing the computer network diagrams.Cisco Multimedia, Voice, Phone. <br>Cisco icons, shapes, stencils and symbols *
Picture: Cisco Multimedia, Voice, Phone. Cisco icons, shapes, stencils and symbols
Related Solution:

Mesh Network Topology Diagram →

The reliability is a cornerstone for any corporate computer network. If you want to provide a high fault tolerance, a mesh network topology would be the solution. The main advantage of this network is that every node can work as a commutator, although it’s not easy to set up this kind of network. A mesh network topology may be full, or partial. Full mesh network means that each node of the network (computer, workstation or other equipment) is connected directly to each of the other nodes. A partial mesh topology means that a part of nodes are connected with a whole network, and the other part of nodes are only connected to those equipment, they exchange the majority of data. This illustration shows schematic diagram of a partial mesh network containing six nodes. Each node is represented as a circles and connections are drawn as straight lines. The connections may be both wired and wireless. This scheme can be used to make the specific logical or physical network diagrams by means the ConceptDraw Computer and Networks solution.Mesh Network Topology Diagram *
Picture: Mesh Network Topology Diagram
Related Solution:

Types of Flowcharts →

A flowchart is a simple but very functional tool when it comes to understanding a workflow or to removing unnecessary stages from a process. When drawing flowcharts, keep in mind that there are four common types of flowcharts, like document flowcharts and data flowcharts that show control over a data or document flow over a system. To show controls on a physical level, use system flowcharts. In addition, to show controls in a program, you can draw a program flowchart. This flowchart diagram represents the piece of an article editing process, that involves the author and editor. It was created using the Basic Flowchart notation that consists from the basic flowchart symbols. The start and the end of the process are indicated with "Terminator" symbols. The "Process" symbols show the action steps consisting from making edits and searching for a compromise, when the author does not agree with the suggestions of the editor. The "Process" symbol is the general symbol in process flowcharts. The "Decision" symbol indicates a branching in the process flow. There are two branches indicated by a Decision shape in the current flowchart (Yes/No, Disagree/Agree). This basic flowchart can be used as a repeating unit in the workflow diagram describing the working process of some editorial office.Types of Flowcharts *
Picture: Types of Flowcharts
Related Solution:
ConceptDraw
DIAGRAM 15