Made with

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.


OMT Method →

This sample shows the OMT method. It was created in ConceptDraw DIAGRAM diagramming and vector drawing software using the Rapid UML Solution from the Software Development area of ConceptDraw Solution Park. All diagrams produced with ConceptDraw DIAGRAM are vector graphic documents and are available for reviewing, modifying, and converting to a variety of formats (image, HTML, PDF file, MS PowerPoint Presentation, Adobe Flash or MS Visio XML).OMT Method *
Picture: OMT Method
Related Solution:

HR Flowchart Symbols →

A comprehensive selection of predesigned vector stencils libraries allow you to create eye-catching infographics relating to any human resource management process. Also included are standardized hr flowchart symbols, meaning your diagrams will be relevant and understood by all business associates.HR Flowchart Symbols *
Picture: HR Flowchart Symbols
Related Solution:

Jackson Structured Programming →

Knowing more about Jackson structured programming, any ConceptDraw DIAGRAM user has a unique opportunity to create the needed Jackson structured programming diagram with the help of this useful tool as well as the Jackson Structured Programming (JSP) Diagrams solution. Having the Jackson Structured Programming (JSP) Diagrams, anyone gets the chance to make the needed diagram as long as it is related to the Jackson structured programming processes. Having such tools as the pre-design elements to be used for simplifying the work of creating the JSP diagrams, any ConceptDraw DIAGRAM user gets a chance to make their own drawing within only a few minutes being based on the already existing symbols.Jackson Structured Programming *
Picture: Jackson Structured Programming
Related Solution:

How to Create a PowerPoint Presentation from a SWOT Analysis Mindmap →

You can use SWOT analysis PowerPoint presentation to represent strengths, weakness, opportunities, and threats involved in your SWOT matrix.How to Create a PowerPoint Presentation<br> from a SWOT Analysis Mindmap *
Picture: How to Create a PowerPoint Presentation from a SWOT Analysis Mindmap
Related Solution:

Block Diagram →

The vector stencils libraries: Block Diagrams, Blocks with Perspective, Callouts, Connectors, Raised Blocks from the solution Block Diagrams contain specific block diagram symbols such as arrows, input/output symbols, start/end symbols, processing symbols, conditional symbols, commenting symbols, callouts, connectors, etc. for ConceptDraw DIAGRAM diagramming and vector drawing software. The Block Diagrams solution is contained in a "Diagrams" area of ConceptDraw Solution Park. Use the libraries from the Block Diagrams solution to draw block diagrams for your business documents, presentations and websites in a few minutes.Block Diagram *
Picture: Block Diagram
Related Solution:

Physical Security Plan →

ConceptDraw DIAGRAM diagramming and vector drawing software extended with Security and Access Plans Solution from the Building Plans Area of ConceptDraw Solution Park is a powerful software for fast and easy drawing professional looking Physical Security Plan.Physical Security Plan *
Picture: Physical Security Plan
Related Solution:

Network Diagram Software →

Communication via Internet nowadays is almost irreplaceable part of lifestyle. It’s needless to say that providing that communication is not a piece of cake, and network diagram software is useful for representing all the interconnections between network devices. These diagrams are also helpful for educational purposes. This drawing depicts the network topology of the sample web studio. This is a physical type of network diagram. It is depicting the network, end-user equipment and connections between them. The given network has combined the both star and mesh network topology features. This diagram is a tool of network administrator. it delivers the actual information on location of servers, hubs, switches, routers, and other telecommunication equipment. The collection of network related symbols provided with ConceptDraw Network Diagrams solution represents the entire network components. All Symbols are standard. Therefore, network specialists can effortlessly decrypt this diagram.Network Diagram Software
Picture: Network Diagram Software
Related Solution:

How to Create Network Diagrams →

ConceptDraw Wireless Network solution includes 81 of professional-looking stencils and several samples that you can modify and make your own diagram.How to Create Network Diagrams *
Picture: How to Create Network Diagrams
Related Solution:

Flow Chart Diagram Examples →

Draw your own business process flowcharts using ConceptDraw DIAGRAM diagramming and business graphics software. The Flowcharts Solution for ConceptDraw DIAGRAM is a comprehensive set of examples and samples in several different color themes for professionals that need to graphically represent a process.Flow Chart Diagram Examples *
Picture: Flow Chart Diagram Examples
Related Solution:

Campus Area Networks (CAN). Computer and Network Examples →

If we divide computer networks by scale, we get several main categories. The smallest network is PAN, as it connects personal devices themselves, and as the number of users grows, a local area network can be recognized, and campus area networks (CAN) connects several local networks located within some area like a university or a corporation. Computers connected to CAN share public educational materials and list of CAN network examples includes such prestigious universities like Stanford and Carnegie Mellon. This is an example of a computer network diagram created for a campus area network. It was created using using ConceptDraw solution for the Computer and Network diagramming. The specific of this sample campus network is its distribution. It is rather broad to embrace a big campus territory. This diagram can be applied as a template for designing custom area network topology diagram for a particular educational institution.Campus Area Networks (CAN). <br>Computer and Network Examples *
Picture: Campus Area Networks (CAN). Computer and Network Examples
Related Solution: