Content deleted Content added
m remove context tag |
rm copyvio from noted soruce |
||
(11 intermediate revisions by 9 users not shown) | |||
Line 1: | Line 1: | ||
{{unreferenced|date=November 2015}} |
|||
{{Multiple issues |
|||
⚫ | |||
|refimprove = March 2009 |
|||
|confusing = January 2011 |
|||
}} |
|||
⚫ | |||
⚫ | |||
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 [[Finite State Process|FSP]] language can be used to describe the behaviour modelling, and [[Labeled Transition System Analyzer|LTSA]] can be used for analysis. |
|||
The idea is to include the FSP code in the Darwin code like this:<!-- like what? --> |
|||
* [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}} |
{{Reflist}} |
||
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