Content deleted Content added
196.41.124.8 (talk) No edit summary |
rm copyvio from noted soruce |
||
(22 intermediate revisions by 19 users not shown) | |||
Line 1: | Line 1: | ||
{{unreferenced|date=November 2015}} |
|||
{{context}} |
|||
⚫ | |||
==References== |
|||
⚫ | |||
In comparison to others ADLs, such as [[Wright (ADL)|Wright]], 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: |
|||
* [https://web.archive.org/web/20150110231741/http://www-dse.doc.ic.ac.uk/Research/Darwin/ Source] |
|||
Its use of FSP language allow the verification of the temporal properties of the architecture. |
|||
* [[Component Object Model]] |
|||
It was developed at [[Imperial College London]]. |
|||
{{Reflist}} |
|||
{{DEFAULTSORT:Darwin (Adl)}} |
|||
⚫ | |||
[[Category:Software architecture]] |
[[Category:Software architecture]] |
||
[[Category:Architecture description language]] |
|||
⚫ |
Latest revision as of 23:58, 2 April 2024
Darwin is an architecture description language (ADL). It can be used in a software engineering context to describe the organisation of a piece of software in terms of components, their interfaces and the bindings between components.
References