Sciweavers

301 search results - page 28 / 61
» Process Modelling to Support Dependability Arguments
Sort
View
FMCO
2003
Springer
188views Formal Methods» more  FMCO 2003»
15 years 5 months ago
Consistency Management Within Model-Based Object-Oriented Development of Components
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
Jochen Malte Küster, Gregor Engels
BPM
2008
Springer
164views Business» more  BPM 2008»
15 years 1 months ago
Analyzing Business Continuity through a Multi-layers Model
Business Continuity Management (BCM) is a process to manage risks, emergencies, and recovery plans of an organization during a crisis. It results in a document called Business Cont...
Yudistira Asnar, Paolo Giorgini
CISIS
2010
IEEE
15 years 5 months ago
iweightings: Enhancing Structure-based Ontology Alignment by Enriching Models with Importance Weighting
—Structural ontology matching methods analyze mainly two factors: entity labels and relationships among entities. We propose to additionally consider an importance and relevance ...
Alexandra Mazak, Bernhard Schandl, Monika Lanzenbe...
PRDC
2006
IEEE
15 years 5 months ago
Detecting and Exploiting Symmetry in Discrete-state Markov Models
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
W. Douglas Obal II, Michael G. McQuinn, William H....
ICWS
2004
IEEE
15 years 1 months ago
Transforming BPEL into Annotated Deterministic Finite State Automata for Service Discovery
Web services advocate loosely coupled systems, although current loosely coupled applications are limited to stateless services. The reason for this limitation is the lack of a met...
Andreas Wombacher, Peter Fankhauser, Erich J. Neuh...