Sciweavers

2556 search results - page 72 / 512
» The Triconnected Abstraction of Process Models
Sort
View
ICFCA
2004
Springer
15 years 11 months ago
Conceptual Knowledge Processing with Formal Concept Analysis and Ontologies
Abstract. Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms ma...
Philipp Cimiano, Andreas Hotho, Gerd Stumme, Julie...
ROOM
2000
15 years 7 months ago
OO-Motivated Process Algebra: A Calculus for CORBA-like Systems
This paper is a proposal for a new two-tier calculus, designed to model aspects of CORBA-like systems at the CORBA evel. The higher object level known as Oompa abstracts away from...
Malcolm Tyrrell, Andrew Butterfield, Alexis Donnel...
BPM
2007
Springer
165views Business» more  BPM 2007»
15 years 10 months ago
Modeling Requirements for Value Configuration Design
Breadth and depth complexity are key challenges in achieving business process fusion as the enabler for value configuration design. The PARM framework is proposed as the requiremen...
Eng Chew, Igor Hawryszkiewycz, Michael Soanes
CEEMAS
2007
Springer
16 years 6 days ago
Models and Tools for Mulan Applications
Abstract In this work we describe the development process of multiagent application design and implementation with Mulan. Our approach can be characterized as model driven developm...
Lawrence Cabac, Till Dörges, Michael Duvignea...
173
Voted
ARCS
2006
Springer
15 years 9 months ago
Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
Péter Domokos, István Majzik