Darwin is an Architecture Description Language

Architecture description language

Different communities use the term architecture description language. Some important communities are the system engineering community, the software engineering community and the enterprise modelling and engineering community...

 (ADL). It can be used in a software engineering

Software engineering

Software Engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software, and the study of these approaches; that is, the application of engineering to software...

 context to describe the organization of a piece of software in terms of components, their interfaces, and the bindings between components.
In comparison to others ADLs, such as Wright

Wright (ADL)

In software architecture, Wright is an architecture description language developed at Carnegie Mellon University. Wright formalizes a software architecture in terms of concepts such as components, connectors, roles, and ports. The dynamic behavior of different ports of an individual component is...

, the language does not provide the notion of connectors as a first-class concept.
The FSP language can be used to describe the behaviour modelling, and LTSA can be used for analysis.
The idea is to include the FSP code in the Darwin code like this:

Its use of FSP language allow the verification of the temporal properties of the architecture.

It was developed at Imperial College London

Imperial College London

Imperial College London is a public research university located in London, United Kingdom, specialising in science, engineering, business and medicine...

.

∞“₳”ផทบถકઆઘફછઝઝટટઅదనఖధీ

References