Sciweavers

637 search results - page 43 / 128
» Enterprise Modeling within an Enterprise Engineering Framewo...
Sort
View
APSEC
2009
IEEE
13 years 5 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
ICSEA
2008
IEEE
14 years 2 months ago
Model-Driven Development of Human Tasks for Workflows
In order to increase efficiency, enterprises support their business processes by information technology (IT). The majority of business processes requires human interaction. By mea...
Stefan Link, Philip Hoyer, Thomas Schuster, Sebast...
ISTA
2003
13 years 9 months ago
Managing Business Logic with Symbolic Computation
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
Ruslan Shevchenko, Anatoly E. Doroshenko
WSC
2001
13 years 9 months ago
Towards COTS distributed simulation using GRIDS
This paper reports on continuing work that concerns research into the development of a commercial off the shelf (COTS) distributed simulation environment (federation) using the Ge...
Simon J. E. Taylor, Rajeev Sudra, Tharumasegaram J...
WIRTSCHAFTSINFORMATI
2007
13 years 8 months ago
An Ontology Framework for Semantic Business Process Management
A core challenge in Business Process Management is the continuous, bi-directional translation between (1) a business requirements view on the process space of an enterprise and (2...
Martin Hepp, Dumitru Roman