Content deleted Content added
115.119.4.109 (talk) |
ShelfSkewed (talk | contribs) m dab links |
||
| Line 4: | Line 4: | ||
'''Darwin''' is an [[Architecture Description Language]] (ADL). It can be used in a [[software engineering]] context to describe the organization of a piece of software in terms of components, their interfaces, and the bindings between components. |
'''Darwin''' is an [[Architecture Description Language]] (ADL). It can be used in a [[software engineering]] 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 (ADL)|Wright]], the language does not provide the notion of connectors as a first-class concept. |
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]] |
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? --> |
The idea is to include the FSP code in the Darwin code like this:<!-- like what? --> |
||
Revision as of 13:59, 2 June 2011
Darwin is an Architecture Description Language (ADL). It can be used in a software engineering 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, 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.
∞“₳”ផทบถકઆઘફછઝઝટટઅదనఖధీ==References==