Sciweavers

3212 search results - page 42 / 643
» Definition and modeling of process using object orientation
Sort
View
ICFEM
2010
Springer
14 years 8 months ago
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
Scott West, Sebastian Nanz, Bertrand Meyer
JOT
2007
87views more  JOT 2007»
14 years 9 months ago
Persistent Processes and Distribution in Timor
The paper explains the concept of persistent processes and threads in Timor, showing how it is based on the in-process (procedure oriented) model of process execution. In their Ti...
James Leslie Keedy, Klaus Espenlaub, Christian Hei...
COOPIS
2004
IEEE
15 years 1 months ago
Making Workflow Models Sound Using Petri Net Controller Synthesis
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
Juliane Dehnert, Armin Zimmermann
ECOOP
2000
Springer
15 years 2 months ago
UML-F: A Modeling Language for Object-Oriented Frameworks
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows...
Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe
ICFEM
1998
Springer
15 years 1 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz