Prosa visualizes software development.

With Prosa the communication in development teams and between customers and developers works. Software documents are always
in-synch with the actual software products. This results in productive, quick and high quality software development environment.

1Life-cycle coverage

Ideation and requirements.

Business modeling.

System design.

Specification and design.

Programming.

Concurrent documentation.

Version control interface.

2All-in-one modeller

UML and SA/SD/RT support.

Data modeling support.

Multimedia support.

Documentation interface.

C, C++ and Java interfaces.

SQL generator.

Works with workbenches.

3Genuine interactivity

Smart, quick and easy.

Guides in modeling.

Interactive model checking.

Global model balancing.

Open, textual model base.

Configurable user interface.

Supports model libraries.

4Supports team development

Multi-user software.

Access rights.

Model sharing and locking.

Distributed modelbase.

Integrates with Office tools.

Floating network licensing.

Windows 8, 7 and XP

Prosa for professional software development.

Insoft Oy offers a pleasant and easy-to-use Prosa environment for software modeling. Prosa environment forms a natural, visual environment
for creative and high quality software development. The functionality and features of the system or software being developed
can be innovated, communicated and verified visually in the development team before a single line of program code
has been typed. Due to visual representations also the customers can participate the development process effectively. Prosa modeling
leads to software systems, applications and products which will meet accurately customers' requirements.

Prosa benefits.

Visualizes software

Documents software

Communicates ideas

Supports reusability

Fastens development

Supports teams

Checks and verifies models

Improves quality

Raises productivity

Results in maintainable software

News.

4.11.2013

Prosa v5.24 released. Prosa v5.24 supports both UML and SA/SD/RT modeling in
the same graphics editor. New Prosa makes possibile to enrich visual models with multimedia including
images, videos, sound and hyperlinks. Floating network licenses and standalone licenses are available for
Windows 8, 7 and XP platforms.

4.11.2013

Insoft Oy has merged with Solution Language Oy.
Solution Language Oy is the developer of Solina ideation software.
Solina is an easy-to-use ideation, brainstorming and requirements tool.
Solina supports mind mapping and activity mapping notations. Solina makes software
understandable to all stakeholders from the early beginning leading to high quality and
to better profitability of the business. Read more...

Prosa UML for visual innovation, design and documentation

Prosa UML

Understanding the software requirements, architecture and functionality, and making the design
choices and decisions understood and communicated to others, are crucial success factors.

UML, Unified Modeling Language, an internationally standard visual modeling language has been
developed to address the above challenge. UML is a graphical notation for fast and accurate documentation of ideas and
design choices.

Prosa UML modeler has been carefully thought to assist the software designer to achieve these goals.

Target areas

Software requirements capture

Software architecture design

Software specification

Software design

Software documentation

Features

Complete UML 1.5 support

Excellent user interface

Fast editing of graphics and text

High quality, high resolution graphics

Excellent diagram integration

Multimedia support

Model export to graphics formats

Concurrent documentation

Multi-user environment

Model locking and protection

Integrates with Office tools

Floating network licensing

Windows 8, 7 and XP support

Supported diagrams

Use case diagram

Sequence diagram

Collaboration diagram

Class diagram

Statechart diagram

Activity diagram

Component diagram

Deployment diagram

Package diagram

Intelligent reuse of information

Prosa provides the natural path from sequence diagram/object collaboration diagram analysis to class diagram design.
The objects and messages identified in sequence analysis are automatically transferred to classes and their operations
in class diagram. The clever built-in class creation automatism saves time and effort, and eliminates errors by automatically
creating the class diagram from the sequence diagram.

The UML model and concepts, derived from the market requirements, persist logically consistent with the real
world and therefore secure the success of software development.

Dynamics modeling 1

The clear model integration of Prosa connects the classes and statechart diagrams as defined in the UML
specification. All model information designed earlier will automatically be available in statechart diagram design, thanks to the
clever model integration. The attributes and operations of the classes, or e.g. sequence diagram objects or messages, can be
automatically transferred into condition or action statements of the statechart diagram. Prosa supports concurrent and hierarchical
states as well as all other state, condition and action options defined in the UML language.

Dynamics modeling 2

Alternative model for visualizing dynamics is Activity diagram. Activity diagram shows object responsibilities
and execution flow between objects. Prosa takes care that all model information created earlier is directly available in activity diagram
design. The attributes and operations of the classes, or e.g. sequence diagram objects or messages, can automatically be transferred
to action statements in the activity diagram.

Coherent and clear path from user requirements to statechart or activity diagram design secures the understanding
of the dynamics implementation and secures the correspondence to the market needs.

Implementation modeling

Implementation structure of the software application is modeled with optional three diagrams. Component diagram
presents the software components and their relationships. Package diagrams shows how the software application is organised into
packages. Deployment diagram presents the actual operating environment of the software application.

Multi-user support

Prosa UML effectively supports team work. Several designers can work concurrently in the same modeling project.
Prosa locks the diagrams so that only one designer is allowed to edit a diagram at a time. Standard security settings of the file system
can be used to set designer specific read/write rights.

Straightforward user interface, excellent online help, application examples and patterns make modeling productive
right from the beginning. Prosa UML supports concurrent documentation. Prosa diagrams are available in other text and web documents
as graphic links. Documents are created concurrently with development and Prosa maintains always the consistency between
models and documents

Prosa UML environment has been carefully designed with the user in mind. The result is superior usability and reliability,
which fastens the development work and improves the productivity and quality. Prosa safeguards the corporate knowledge and know-how
by transforming the ideas and learning to documents. Prosa will pay itself back in a few months time.

Prosacdm Concurrent document manager

In Prosa environment the documentation production is a concurrent process with the development. Documentation is accurate and always synchronized
with development. When development project is ready – also the documentation is ready. Prosa essentially saves time required for documentation.

Models and documents in synch

Prosa brings automation to make documentation more effective. The designer may transfer graphically complete UML diagrams or portions of the
diagrams to text and web documents. Prosa takes care, that if the models are changed later, the corresponding documents will be updated automatically.

Integrates with documentation tools

Prosa fully supports integration with other documentation tools. You may link UML diagrams, portions of the diagrams or individual modeling symbols to other documents, which
have been prepared with other tools like Microsoft Office.

The models and documents are synchronized concurrently. A change in UML diagram can be immediately seen also in document.

Web documents

You may publish Prosa models also in web. The pictures in web pages are graphic links and are concurrently synchronized with Prosa models.
The web documentation of the whole project is updated with a single command after you have modified UML diagrams.

High quality documents

Prosa produces very high quality prints from models. Presentation styles with colors, text fonts, etc. are fully under user’s control.

Prosasql SQL generator

Prosa is an unbeatable tool environment for developing database applications. Prosa ensures complete and verified path from user requirements
to UML modeling, validation, documentation and implementation. When the implementation contains a database, Prosasql realizes in practice the living connection
between requirements and implementations.

Visual database development

Prosa UML modeler visualizes database requirements with the class model. The model of the database is in a unique way connected
with business process, markets and user requirements. Visualization clarifies communication between all interest groups of the development.

Prosasql conforms to ISO and ANSI SQL standards and supports directly the common commercial database management systems like DB2, Oracle
and SQL Server. The user easily can define new dialects to Prosasql generator.

Prosasql supports abstract data types, which gives possibility to generate both database and C, C++ or Java classes from the same model.

Prosa is a quick and smart SA/SD/RT modeller

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/SD/RT
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/SD/RT modeler has a built-in knowledge about the SA/SD/RT method. Prosa actively guides the user in modeling by
offering only sensible choices in certain modeling context. Prosa offers unique interactive checks between
all SA/SD/RT modeling views and hierarchy

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. 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.

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 everyone immediately can interpret and understand the model. Prosa modeler fully supports 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.

Prosacdm Concurrent document manager

In Prosa environment the documentation production is a concurrent process with development. Documentation is accurate and always synchronized
with development. When development project is ready – also the documentation is ready. Prosa essentially saves time required for documentation.

Models and documents in synch

Prosa brings automation to make documentation more effective. The designer may transfer graphically complete SA/SD/RT diagrams or portions of the
diagrams to text and web documents. Prosa takes care, that if the models are changed later, the corresponding documents will be updated automatically.

Integrates with documentation tools.

Prosa fully supports integration with other documentation tools. You may link SA/SD/RT diagrams, portions of the diagrams or individual modeling symbols to other documents, which
have been prepared with other tools like Microsoft Office.

The models and documents are synchronized concurrently. A change in Prosa diagram can be immediately seen also in document.

Web documents

You may publish Prosa models also in web. The pictures in web pages are graphic links and are concurrently synchronized with Prosa models.
The web documentation of the whole project is updated with a single command after you have modified UML diagrams.

High quality documents

Prosa produces very high quality prints from models. Presentation styles with colors, text fonts, etc. are fully under user’s control.

Prosasql SQL generator

Prosa is an unbeatable tool environment for developing database applications. Prosa ensures complete and verified path from user requirements
to SA/SD modeling, validation, documentation and implementation. When the implementation contains a database, Prosasql realizes in practice the living connection
between requirements and implementations.

Visual database development

Prosa SA/SD/RT modeler visualizes database requirements with the data model. The model of the database is in a unique way connected
with business process, markets and user requirements. Visualization clarifies communication between all interest groups of the development.

Prosasql conforms to ISO and ANSI SQL standards and supports directly the common commercial database management systems like DB2, Oracle
and SQL Server. The user easily can define new dialects to Prosasql generator.

Prosasql supports abstract data types, which gives possibility to generate both database and C, C++ or Java classes from the same model.