Sciweavers

173 search results - page 20 / 35
» Modelling Quality of Protection in Outsourced Business Proce...
Sort
View
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
13 years 10 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
SOFTCOMP
2010
13 years 6 months ago
Evaluating the Low Quality Measurements in Lighting Control Systems
In real world processes in the industry or in business, where the elements involved generate data full of noise and biases, improving the energy efficiency represents one of the ma...
José Ramón Villar, Enrique A. de la ...
EUROSPI
2005
Springer
14 years 2 months ago
Goal-Driven Requirements Engineering for Supporting the ISO 15504 Assessment Process
It is advocated to use the ISO/IEC 15504 standard into new domains not related to Information Technology (IT), giving a powerful enterprise-wide assessment tool for quality manager...
André Rifaut
AICCSA
2006
IEEE
179views Hardware» more  AICCSA 2006»
14 years 2 months ago
Supporting the SPEM with a UML Extended Workflow Metamodel
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...
Narayan C. Debnath, Daniel Riesco, Manuel Pé...
VVEIS
2007
13 years 9 months ago
Transformation of BPMN Models for Behaviour Analysis
Abstract. In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business process...
Ivo Raedts, Marija Petkovic, Yaroslav S. Usenko, J...