Prosa SA/SD/RT modeler

Prosa SA/SD/RT (Structured Analysis and Design with Real-time extensions) modeler has become a standard tool in the industry for structured specification and design of systems and software. Prosa SA/SD/RT modeler has been in a key role in developing world-success software products for more than a decade. By using Prosa SA/SD/RT modeler software requirements are understood accurately, and the applications will have long-lasting, maintainable and scalable architectures.

SA/SD/RT modeling

SA/SD/RT, Structured Analysis and Design with Real-time extensions is an international, industry standard, visual structured modeling language. SA/SD/RT can be used for specifying and designing systems and applications. SA/SD/RT supports all development phases from requirements specification to implementation. SA/SD offers a common, efficient way for communication to software teams. SA/SD offers a clear and accurate means to document systems. SA/SD improves reusability of software components.

Model views and hierarchy bring the clarity

SA/SD/RT model is always clear and understandable, no matter how large the system to be modeled is. Prosa SA modeler supports effectively the usage of views and hierarchy in modeling. Model views separate logically different kind parts of the model from each others. SA/SD/RT uses the following modeling views: (1) Environment model, (2) Behavioural model and (3) Data model.

Hierarchy is used effectively in modeling subsystems, functions, control and data. In a hierarchical model a certain diagram presents only those details, which are important in that modeling context. This leads to excellent clarity – even the first glance gives you a good overview of the model.

Prosa SA modeler has a built-in knowledge about the SA/SD/RT method. Prosa guides actively user in modeling by offering only sensible choices in certain modeling context. Prosa SA contains unique interactive checks between all SA/SD/RT modeling views and hierarchy levels.

Environment model SA/SD/RT project starts from environment modeling. Environment model presents the application and its interface with the environment. Environment model forms the basis for other model views. The notation used in environment model is so natural that also users can immediately interpret and understand the model. Prosa SA modeler supports fully the context diagram notation and event list notation of the SA/SD/RT.
	Behavioural model The behavioural model of SA language presents the functionality and the control of the application. Behavioural model consists of data flow diagrams, state transition diagrams and minispecifications. Data flow diagram Data flow diagram design starts in Prosa SA modeler with Push-command from environment model. Prosa ports automatically input and output data flows to a new diagram. Later when making a Push into an exiting diagram Prosa always checks the consistency between diagrams and shows graphically possible inconsistencies. Data flow diagram contains data transformations, control transformations, data stores, data buffers, data flows and event flows. Data flow diagrams are hierarchical so that each function can be refined with a new data flow diagram to desired level of details. State transition diagram The control and timing of data flow diagrams is modeled with state transition diagrams. State transition diagram contains states and state transitions. State transition show the condition on which the transition occurs and the actions, which must be done. Prosa integrates state transition diagrams and data flow diagrams together in an intelligent way. All information specified in data flow diagram is available in state transition diagram. Always when opening an existing state transition diagram, Prosa makes interactive consistency check and shows possible errors graphically. Minispecification Minispecification presents the functions of the SA model on the lowest level of the model hierarchy. Prosa supports textual minispecifications and programming language minispecifications. Prosa integrates minispecifications and data flow diagrams together in an intelligent way. Prosa creates automatically minispecification headers or function prototypes if programming language is used in minispecification. Always when opening an existing minispecification, Prosa makes interactive consistency check and shows possible errors.
Data model Entity relationship diagram SA presents application data and the relationships between data items with entity relationship diagrams. Prosa SA modeler supports commonly used Chen and Bachman ER notations with SA/SD/RT. Prosa offers a seamless integration between data modeling and behavioural modeling. The data definitions you make in data models will be taken into consideration when checking behavioural models. Data dictionary Prosa SA modeler has an integrated data dictionary, which contains all data definitions of the SA model. Data dictionary contains the definitions of data flows, data stores and data entities. Prosa’s data dictionary is active and participates in all model checks. Prosa’s data dictionary opens always from the correct place by selecting Define command from that modeling element, which you want to define. Prosa SA offers excellent reporting possibilities from the data dictionary.
	Leading SA modeling technology Prosa SA modeler is the most versatile environment for structured development. Prosa offers numerous top-features, which raise the power and quality of SA modeling to top level. The usage of SA language is easy, fast and natural in Prosa. Model integration and interactive checks improve the usability of the SA language essentially. Prosacdm implements concurrent documentation and web publishing in Prosa SA environment. Prosa SA has been designed from the needs of developers using SA language. The result is top usability and reliability, which fastens development and improves productivity and quality. Prosa ensures the knowledge and know-how of your company by transforming ideas and solutions to visual documents. The payback time of Prosa is only a few months.