Sciweavers

60 search results - page 9 / 12
» Towards a Language for Coherent Enterprise Architecture Desc...
Sort
View
DATE
2009
IEEE
120views Hardware» more  DATE 2009»
14 years 2 months ago
Towards a formal semantics for the AADL behavior annex
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi
AIM
2006
13 years 9 months ago
Observing the use of BPM tools: A step towards flexibility
: The development of the tools of Business Process Management (BPM) arises from the spread of the notion of process in the management universe. The application of BPM to strategic ...
Joseph Heili, Jean-Mathias Heraud, Laure France
EDOC
2009
IEEE
13 years 11 months ago
Process SEER: A Tool for Semantic Effect Annotation of Business Process Models
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
Kerry Hinge, Aditya K. Ghose, George Koliadis
FPGA
2004
ACM
119views FPGA» more  FPGA 2004»
14 years 1 months ago
In-system FPGA prototyping of an itanium microarchitecture
We describe an effort to prototype an Itanium microarchitecture using an FPGA. The microarchitecture model is written in the Bluespec hardware description language (HDL) and suppo...
Roland E. Wunderlich, James C. Hoe
UML
1999
Springer
13 years 12 months ago
Core Meta-Modelling Semantics of UML: The pUML Approach
Abstract. The current UML semantics documentation has made a signi cant step towards providing a precise description of the UML. However, at present the semantic model it proposes ...
Andy Evans, Stuart Kent