Sciweavers

65 search results - page 11 / 13
» A Real-Time Execution Semantics for UML Activity Diagrams
Sort
View
ICSEA
2009
IEEE
15 years 3 months ago
Validation of Scenario-Based Business Requirements with Coloured Petri Nets
A scenario can be used to describe a possible instantiation of a given business use case and can be expressed for example as a list of steps written in natural language, or by an ...
Óscar R. Ribeiro, João M. Fernandes
ENTCS
2010
118views more  ENTCS 2010»
15 years 3 months ago
Transaction Scripts: Making Implicit Scenarios Explicit
We describe a true-concurrent approach for managing dependencies between distributed and concurrent coordinator components of a long-running transaction. In previous work we have ...
Sotiris Moschoyiannis, Amir R. Razavi, Paul J. Kra...
CODES
2007
IEEE
16 years 8 days ago
Complex task activation schemes in system level performance analysis
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
Wolfgang Haid, Lothar Thiele
VVEIS
2007
15 years 7 months ago
Checking Properties of Business Process Models with Logic Programming
Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it d...
Volker Gruhn, Ralf Laue
TSE
2010
155views more  TSE 2010»
15 years 4 months ago
A Comparison of Six UML-Based Languages for Software Process Modeling
— Describing and managing activities, resources and constraints of software development processes is a challenging goal for many organizations. A first generation of Software Pro...
Reda Bendraou, Jean-Marc Jézéquel, M...