Transforming SDL Diagrams into a Complete Visual Representation
نویسندگان
چکیده
| We investigate a translation of SDL diagrams into the complete visual representation of Pictorial Janus (PJ) programs in order to analyze the speci cation by visual debugging and animation. We additionally introduce timing concepts to PJ (Timed PJ) for a mapping of the SDL timing statements. The concepts transforming SDL interaction and process diagrams into Timed PJ are outlined by an example sketching the transformation of an Ethernet CSMA/CD protocol speci cation.
منابع مشابه
Graph-Grammar Based Completion and Transformation of SDL/UML-Diagrams
In the last years the Unified Modelling Language has become more and more popular. It has been successfully applied in many application domains. Thus, many effort is put into the extension of the UML in order to make it applicable in formerly untypical domains. One example is the development of UML-RT [SGW94]. UML-RT extents the UML by adding the possibility of defining the communication struct...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملTranslating OMT state diagrams with concurrency into SDL diagrams
Defining a complete methodology for the developing of an application is a challenge for many software engineering specialists. Although many such methodologies have been developed, few of them take into consideration all the aspects that can come up while developing complex applications. Many times, although a general outline for the methodology is being defined, for some important features, li...
متن کاملTowards a Representation of Enviromental Models using Specification and Description Language - From the Fibonacci Model to a Wildfire Model
In this paper we explore how we can use Specification and Description Language (SDL) to represent environmental models. Since the main concern in this kind of models is the representation of the geographical information data, we analyze how we can represent this information in the SDL diagrams. We base our approach using two examples, a representation of the Fibonacci function using a cellular ...
متن کامل