Encontrados 4 documentos, a visualizar página 1 de 1
Formal requirements modeling with executable use cases and Coloured Petri Nets
Jorgensen, Jens B.; Tjell, Simon; Fernandes, João M.This paper presents executable use cases (EUCs), which constitute a model-based approach to requirements engineering. EUCs may be used as a supplement to model-driven development (MDD) and can describe and link user-level requirements and more technical software specifications. In MDD, user-level requirements are not always explicitly described, since usually it is sufficient that one provides a specification, ...
Expressing environment assumptions and real-time requirements for a distributed...
Tjell, Simon; Fernandes, João M.Apresentado na 6th IFIP TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), no âmbito do 20th IFIP World Computer Congress, Milão, Itália, set/2008. ; In a distributed embedded system, it is often necessary to share variables among its computing nodes to allow the distribution of control algorithms. It is therefore necessary to include a component in each node that provides the s...
Designing tool support for translating use cases and UML 2.0 Sequence Diagrams ...
Fernandes, João M.; Tjell, Simon; Jorgensen, Jens B.; Ribeiro, Óscar R.Using a case study on the specification of an elevator controller, this paper presents an approach that can translate given UML descriptions into a Coloured Petri Net (CPN) model. The UML descriptions must be specified in the form of Use Cases and UML 2.0 Sequence Diagrams. The CPN model constitutes one single, coherent and executable representation of all possible behaviours that are specified by the given UML...
Requirements engineering for reactive systems : Coloured Petri Nets for an elev...
Fernandes, João M.; Jorgensen, Jens B.; Tjell, SimonThis paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key properties that a model which we construct must have, namely: (1) controller-and-environment-partitioned, which means constituting a description of both the controller and the environment, and distinguishing between these two domains and betwee...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||