Sciweavers

650 search results - page 5 / 130
» Modeling SPARK systems with UML
Sort
View
AAMAS
2004
Springer
14 years 9 months ago
From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language
In this paper we propose a multi-agent system modeling language (MAS-ML) that extends UML (Unified Modeling Language) based on structural and dynamic properties presented in a conc...
Viviane Torres da Silva, Carlos José Pereir...
SOSYM
2010
176views more  SOSYM 2010»
14 years 7 months ago
On challenges of model transformation from UML to Alloy
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...
FM
2005
Springer
125views Formal Methods» more  FM 2005»
15 years 3 months ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
DATE
2005
IEEE
119views Hardware» more  DATE 2005»
15 years 3 months ago
UML 2.0 Profile for Embedded System Design
Unified Modeling Language (UML) 2.0 is emerging in the area of embedded system design. This paper presents a new UML 2.0 profile - called TUT-Profile - that introduces a set of st...
Petri Kukkala, Jouni Riihimäki, Marko Hä...
DATE
2005
IEEE
162views Hardware» more  DATE 2005»
15 years 3 months ago
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mai...
Tim Schattkowsky, Wolfgang Müller 0003, Achim...