Sciweavers

604 search results - page 41 / 121
» Software Architecture Description and UML
Sort
View
116
Voted
ECSA
2007
Springer
15 years 7 months ago
An Ontology-Based Approach for Modelling Architectural Styles
Abstract. The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the d...
Claus Pahl, Simon Giesecke, Wilhelm Hasselbring
GI
2005
Springer
15 years 7 months ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl
FASE
2007
Springer
15 years 7 months ago
Activity-Driven Synthesis of State Machines
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
Rolf Hennicker, Alexander Knapp
115
Voted
IIWAS
2008
15 years 3 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...
IJAOSE
2008
68views more  IJAOSE 2008»
15 years 1 months ago
Engineering manufacturing control systems using PROSA and delegate MAS
: This paper presents a systematic description of a reusable software architecture for multi-agent systems in the domain of manufacturing control. The architectural description con...
Paul Verstraete, Bart Saint Germain, Paul Valckena...