UNIVERSIDAD CENTRAL DE VENEZUELA

ESCUELA DE ESTADSTICA
CTEDRA DE SISTEMA DE INFORMACIN

CONCEPTOS BSICOS PARA LA MODELIZACIN

LOS PROCESOS DE UN SISTEMA DE INFORMACIN,
DE
UTILIZANDO LOS DIAGRAMASDE FLUJO DE DATOS.

ELABORADO: PROF. OLGA GARCA

TCNICAS DE ANLISIS ESTRUCTURADO MODERNO

DIAGRAMAS DE FLUJO DE DATOS (DFD)
El DFD es una de las herramientas del anlisis estructurado moderno, ms
importante para el anlisis de modelos grficos, que permite visualizar un sistema
como una red de procesos funcionales conectados entre s por canales (flujode
datos) y depsitos de almacenamiento de datos. Estos diagramas nos permiten ver
como los datos fluyen a travs de la organizacin, los procesos y transformaciones
que sufren dichos datos y los diferentes tipos de salidas.
COMPONENTES
UTILIZADOS
1. Flujo de
datos

SMBOLOS

2.
Proceso

3.
Almacn
4.Terminad
or

Prof. Olga Garca

ELEMENTOS DEL DIAGRAMA DE FLUJO DE DATOS

PROCESOS
Generalmente, el proceso (funcin transformacin) viene representado por un crculo o
por una burbuja, y son acciones que se toman sobre los datos, como por ejemplo,
Calcular, Comparar, Imprimir, sealar, marcar, autorizar, almacenar, validar, informar,
producir,
otros.muestran una parte del sistema que transforma entradas en salidas, esto
Los
procesos
es, muestra cmo es que una o varias entradas se transforma en una o varias salidas.
NOMBRE
DEL
PROCESO
El nombre
de un
proceso
consiste en una frase VERBO-OBJETO, y describe lo que hace; como
por ejemplo:
CALCULAR-IMPUESTO
AUTORIZAR- FIRMA
AUTORIZAR-FACTURA
AUTORIZAR-ORDEN-DE-COMPRA
VALIDAR- PROVEEDOR
GENERAR-REPORTES
Tambin, los procesos
pueden ser descritos (aunque no es recomendable) con el nombre de una
persona o un grupo de personas, computadora o un aparato mecnico, de cualquier modo la
palabra clave es Quin o Qu lo est efectuando.

CONSIDERACIONES SOBRE FLUJO DE DATOS.

FLUJO DE DATOS.
Son vectores etiquetados o flechas, o simplemente lneas con notacin direccional, que
muestran el contenido de lo que entra o sale de un proceso. Adems, muestran el
movimiento de bloques o paquetes de informacin de un lugar del sistema a otro. La
punta de la flecha seala el destino u origen de los datos.
1. Deben ser etiquetados o nombrados con los datos que ellos llevan, excepto cuando
salen o entran a un almacn, ya que estos describen lo que contienen. Sin embargo, si
solo se extrae una instancia ste debe ser etiquetado.
SISTEMA DEPURACIN DE ENCUESTAS
2. Los datos que se mueven a lo largo del flujo, pueden viajar de un proceso a otro (como
entrada), a un almacn a un Terminador (fuente o destino de los datos).
Nombre de la encuesta + No. de
encuesta

ENCUESTAS

SISTEMA DE
VALIDACIN DE
ENCUESTAS

3. El flujo lleva un solo tipo de paquete de datos como lo indique su nombre, pero existe
sus excepciones, agrupar flujos elementales en uno solo. Ejemplo: Archivo = CLIENTES
NOMBRE DEL CLIENTE; DIRECCIN-CLIENTE; SALDO-CLIENTE; MXIMO-CRDITO
Prof. Olga Garca

autorizado.
5. La direccin de la flecha del flujo, nos indica si el flujo se est moviendo hacia fuera o hacia
adentro
del
proceso.
6. El flujo puede mostrar dos direcciones en el mismo vector, en tal caso se les llama flujo
dilogo.

SALDOS

VERIFICAR
SALDO

Saldo

saldo actualizado

CLIENTES
Flujo divergente: Es cuando un paquete complejo se divide en varios paquetes individuales, ms an,
cada uno de los cuales se est mandando a diferentes partes del sistema que el ducto de flujo de
datos lleva tems con distintos valores. Ejemplo:
DESCRIPCIN
DE LA
PLANILLA
Identificacin de la encuesta
divergente)

No. DE LA PLANILLA

(Flujo

No.
CONTROL

Prof. Olga Garca

Flujo convergente: son paquetes elementales de datos que se agrupan para formar agregados.
DESCRIPCIN DE LA PLANILLA
No. DE LA PLANILLA

IDENTIFICAR
PLANILLA

(Flujo Convergente)

No. CONTROL

ALMAC
N
Es el depsito de los datos, que se utiliza para modelar una coleccin de paquetes de datos en
reposo. Se denota por dos lneas paralelas, pero cualquier smbolo sugerido es aceptado. En
algunos casos, el producto CASE que se haya elegido impondr el conjunto de smbolos que se
habr de utilizar. Adems de la forma fsica que toma un almacn, ste puede existir por
necesidad o por conveniencia. En el primer caso, un almacn es necesario cuando dos procesos
ocurren en momentos diferentes, por ejemplo, el proceso de entrada de rdenes puede operar en
tiempos diferentes que el proceso de investigacin de rdenes:

el
d
s
lle
a
t
De

ido
d
pe

INGRESAR
PEDIDOS

Pedido

RESPONDER
PREGUNTAS

PEDIDOS
Pedido

Prof. Olga Garca

El otro tipo de almacn, es el que se implanta por conveniencia; por ejemplo el almacn de Pedidos que a
continuacin se describe:
1.Se espera que ambos procesos se ejecuten en a misma computadora, pero no hay suficiente memoria, para
cubrir ambos al mismo tiempo. As, el almacn de RDENES se crea como archivo intermedio, pus la
tecnologa de implantacin disponible ha forzado a que los procesos se ejecuten en tiempos distintos.
1.Se espera que cualquiera de los procesos, o ambos, se ejecuten en una configuracin de hardware que es
poco confiable. Asw, el almacn de RDENES se crea como respaldo en caso de que cualquiera de los
procesos se aborte.
1.Se espera que diferentes programadores implanten los dos procesos. As, el almacn de RDENES se crea
para probar y corregir, de manera que si el sistema completo no trabaja ambos grupos pueden ver los
contenidos del almacn y detectar el problema.
1.El analsta o el diseador pensaron que el usuario pudiera algn da hacer accesos al almacn de RDENES
por alguna otra razn, an cuando no haya expresado tal inters. En este caso, el almacen se crea anticipando
necesidades futuras del usuario.
Detalles de
pedidos

Pedido

Pedido
INGRESAR
PEDIDOS

PEDIDOS

PROCESAR
PEDIDOS

Re
sp
ue
sta

Pedido invlido

Prof. Olga Garca

CARACTERSTICAS DE LOS ALMACENES

1. El nombre que se utiliza es el plural del que se utiliza para los paquetes de los datos que entran y
salen del almacn por medio de flujos.

bre
m
o
N
libro

PEDIR
COTIZACIN
IMPRENTA

LIBROS
2. No se debe referir a un almacn como un dispositivo de almacenamiento fsico (archivos base
de datos; por ejemplo, un archivo en cinta magntica o un archivo organizado con IMS, DB2,
ADABAS, IDMS algn otro sistema de manejo de base de datos), algo comnmente practicado
por los analistas experimentados.
3. En la mayora de los casos en un almacn, no se etiquetan los flujos que entran o salen de l, a menos
que se extraiga una porcin del mismo.
4.Un almacn es pasivo y los datos no viajarn a lo largo del flujo.
4.Un flujo hacia un almacn se puede describir como una escritura, una actualizacin o una eliminacin:
Se est guardando uno ms paquetes nuevos.
Uno ms paquetes se estn modificando o cambiando
Se estn retirando del almacn uno ms paquetes
Prof. Olga Garca

TERMINADORES
Los terminadores o agentes externos e internos, como tambin se les conoce, son las fuentes o
destinos de los datos. Normalmente, se considera como externo a un agente cuando es
claramente exterior a la empresa, algunos ejemplos de stos son: Clientes, Proveedores y
Organsmos Gubernamentales. Los agentes son internos, cuando se refieren a tareas
efectuadas dentro de la empresa pero que no forman parte del sistema; sin embargo,
suministran entradas o reciben salidas de l. Se pueden citar como agentes internos otros
departamentos, empleados o sistemas de informacin. Los agentes internos pueden englobar
tambin a los usuarios finales de un sistema, que con frecuencia son fuentes de las entradas
(datos) y destinos de las salidas (informacin).
CARACTERSTICAS
DE
LOS
TERMINADORES
1.
Su nombre debe venir en mayscula y
singular.
1.
Son externos al sistema, los flujos que los conectan a un proceso a un almacn
representan
el interfaz entre el terminador y el resto del
3.
Los responsables del anlisis o el diseo, no pueden cambiar su contenido o la manera
mundo.
comotrabajan. Por lo tanto el modelo que est siendo desarrollado debe ser lo suficientemente
flexible, para permitir al diseador elegir la mejor implantacin. En tal sentido, el analista no
puede
modificar los contenidos, la organizacin ni los procedimientos internos de los
terminadores.
4. Las relaciones que existen entre los terminadores no se muestran en el grfico del DFD, ya
que por definicin estos son externos a la organizacin. Si se diera el caso de que la relacin
existiera, y sea de inters para el analista, entonces los terminadores seran parte del
sistema y deberan modelarse como procesos.
Prof. Olga Garca

DIAGRAMAS DE FLUJO DE DATOS

ALMACEN

Flujo de lectura

TERMINADOR

PROCESO

PROCESO

TERMINADOR

Flujo de escritura
ALMACEN

Prof. Olga Garca

MODELIZACIN DE PROCESOS PASO A PASO

PASOS PARA LA CONSTRUCCIN DE LOS DIAGRAMAS DE FLUJO DE DATOS
PASO
1
Elaborar un diagrama de flujo de datos de CONTEXTO este ubica el sistema dentro de un
contexto de entorno; vale decir, como interactua el sistema con otros sistemas y con la empresa
considerada en su conjunto. Define el campo de accin y los lmites del sistema y el proyecto.

Al dibujar un diagrama
contexto:
Use un solo smbolo de

de

proceso.
Rotule el smbolo de proceso de modo que represente todo el sistema. Se
puede
usar un verbo ms un
objeto.
No numere el smbolo de
proceso.
Incluya todos los terminadores del
sistema.
Muestre todos los flujos de datos entre los
terminadores.

Estrategias
determinarlos:
Pregunte a sus usuarios

para

finales cules son los sucesos o transacciones a los

cuales
debe responder el
sistema.
Para cada suceso, pregunte a sus usuarios finales cules son las respuestas
que debera producir el
sistema.
Pregunte cules son los informes de formato fijo que ha de producir el
sistema.
Identifique las fuentes netas de datos para cada
suceso.
Identifique los recipientes netos de cada respuesta o salida que debera
generar el
sistem
Identifique todos los posibles almacenes de datos
a.
externos.
Dibuje un diagrama de contexto para todas las informaciones
anteriores.

DIAGRAMA DE FLUJO DE DATOS FIGURA N

PASO 2: Elaborar un Diagrama de Flujo de Datos General (Figura 0)
Si es necesario documentar un sistema con mayor detalle que el diagrama de
Figura 0, se puede usar uno o ms diagramas de figura n. Un diagrama de la figura n
documenta un solo proceso de un DFD con mayor detalle. La n representa el nmero del
proceso del siguiente nivel ms alto que se est documentando
Gua para su construccin.
1. Se comienza su construccin una vez que se conozcan sus componentes,
los
cuales deben ser identificados conjuntamente con los
usuarios.
2. Escoger nombres significativos perdurables para los
componentes.
3. Numerar los procesos para que sirvan de referencia al analista para
su
explosin
posterior. 4. Evitar los DFD excesivamente
complejos.5. Mantener la consistencia entre los procesos y los otros
modelos.
Evite sumideros infinitos - burbujas que solo tienen entradas pero no
salidas.
Evite burbujas de generacin espontnea - son burbujas de solo
salidas.
Tener cuidado con los flujos y procesos no
etiquetados.
Tener cuidado con los almacenes de solo escritura o solo lectura todo
almacn debe tener, tanto entradas como salidas, excepto, el
almacn
externo que sirve de interfaz entre el sistema y algn terminador
externo.
6. Restringir un solo DFD a no ms de seis u ocho
procesos 7. Se debe usar una pgina para un DFD en
particular.
Prof. Olga Garca

DIAGRAMAS DE FLUJO DE DATOS

FLUJO DE DATOS
1. Representan la introduccin de datos en un proceso o la obtencin de datos de un
proceso.
1.Representan la actualizacin de datos en un archivo, una base de datos u otro medio
de almacenamiento de datos.
1.Es una va por la cual transitan paquetes de datos de composicin
conocida.
1.Los datos puede viajar por cualquier va
dada.
TERMINADORES (FUENTES O DESTINOS DE LOS DATOS)
1.Agentes internos (entradas al sistema o fuentes), se refieren a tareas efectuadas
dentro de la empresa, pero que no forman parte del mbito del sistema y adems le
suministran entradas o reciben salidas de l. Ejemplos: otros departamentos,
empleados o sistemas de informacin.
1.Agentes Externos (salidas de un sistema o destinos), son aquellos que son
claramente exterior a la empresa. Ejemplos: clientes, proveedores y los organsmos
gubernamentales.
ALMACENES DE DE DATOS
Un almacn es un inventario de datos y describen cosas sobre las cuales la empresa
desea almacenar datos. Es el punto de unin ms comn entre los modelos de datos y
los modelos de procesos.
Prof. Olga Garca

CLIENTES

rdenes de venta
Compromisos
rdenes de compra
Avisos de rden de venta
rechazada
Facturas

Estados de cuentas
Pagos de clientes

SISTEMA DE
DISTRIBUCIN

Embarques

PROVEEDORES

Facturas de proveedores
Estados de proveedores
Pagos de proveedores

Estados de ingresos

Balance general

GERENCIA

Existencias

ALMACEN DE
MATRIALES

Informes de presupuesto
Otros informes

Prof. Olga Garca

DIAGRAMA DE FLUJO DE DATOS DE FIGURA 0- SISTEMA DE DISTRIBUCIN

rdenes de venta

CLIENTES

Venta rechazada
Facturas

Estados de cuenta

SURTIR
PEDIDOS

Pagos de clientes
Datos de cuentas por cobrar
Datos de inventario
Artculos recibidos

3
MANTENER
LIBRO MAYOR

Datos de compra
Compromisos

2
Datos de cuentas por pagarORDENAR
EXISTENCIAS
DE
Otros informes
Informes de
presupuesto

rdenes de compra
Embarques

REABASTECIMIENTO

Factura de proveedores

PROVEEDORES

Estados de proveedores
Pagos a proveedores

Balance general

Existencias
Edo. de
ingresos

GERENCIA

ALMACN
DE MATERIALES

Explosicin del Diagrama de Flujos de Datos.

Hasta ahora hemos visto representaciones del DFD a un nivel muy
alto o gerencial del sistema, pero el usuario podra preguntar, por
ciertos detallesque no se muestran a ese nivel.
La idea de la explosicin del DFD; es organizar el DFD global en una
serie de niveles, de manera tal que cada uno proporcione
sucesivamente ms detalles sobre una porcin del nivel anterior.
Como lo habiamos mencionado, el primer diagrama lo denominamos
Diagrama de Contexto, que representa el sistema completo. Los flujos
de datos muestran las interfases del sistema con su medio
ambiente(terminadores). Estos terminadores, a su vez pueden estar
conectados a almacenes externos que pudieran haber.
El DFD, que le sigue al Diagrama de Contexto, se conoce como el
Diagrama de la figura 0, y representan las principales funciones del
sistema al igual que sus principales interfases.
As, sucesivamente vamos explotando hasta representar el nivel de
detalle exigidos por el Usuario.
Prof. Olga Garca

REGLAS PARA LA EXPLOSIN DE DIAGRAMAS DE FLUJO DE DATOS

1. EL PRIMER NIVEL DEL DFD SLO PRESENTA UN ESQUEMA GENERAL DEL SISTEMA.
2. EL CONJUNTO DE LOS DFD DE NIVEL MAS BAJO MUESTRA UNA VISIN DETALLADA
DEL SISTEMA.
3. LA NICA DIFERENCIA ENTRE LOS DFD DE CADA NIVEL ES EL DETALLE QUE EN ELLOS
SE PRESENTA.
4. ES MUY CONVENIENTE IDENTIFICAR CADA UNO DE LOS DIAGRAMAS QUE EXPLOTAN
UN PROCESO CON EL NMERO DE BURBUJA QUE LE CORRESPONDE EN EL
DIAGRAMA PADRE. DENTRO DE UN DIAGRAMA DE EXPLOSIN DEBEN TAMBIN
NUMERARSE LAS BURBUJAS QUE CONTIENE, DE TAL MANERA QUE SEA SENCILLO
IDENTIFICAR LOS DFD PADRES Y TODOS SUS CORRESPONDIENTES DEF DERIVADOS.
1
1.2
1.2.5

REGLAS PARA LA EXPLOSIN DE LOS DFD (Continuacin)

5. NINGN DFD DEBE RECARGARSE EN EXCESO, ES RECOMENDABLE EVITARLA INCLUSIN
DE MS DE OCHO PROCESOS EN CADA NIVEL, ES PREFERIBLE TENER MUCHOS NIVELES
DE EXPLOSIN ANTES QUE DIAGRAMAS DIFCILES DE COMPRENDER.
6. DE LA MISMA FORMA QUE UN PROCESO SE SUBDIVIDE EN EL SIGUIENT NIVEL DE DETALLE,
TAMBIN PUEDEN EXPLOTARSE LOS FLUJOS DE DATOS, ALMACENES Y TERMINADORES.

Pago

Pago por cheques

Pago por depsito

1
SERVICIOS
DE
TRANSPORTE

1.1
COMPAA
NAVIERA

1.2
COMPAA
AEREA

NMINA

NMINA DE CONTRATADOS

NMINA DE EMPLEADOS

EXPLOSIN DEL DFD ( Continuacin)

7. CADA BURBUJA HIJO DEBE SER CONSISTENTE CON LOS FLUJOS DE ENTRADA Y
SALIDA DE LA BURBUJA PADRE. ESTO SE EXPRESA DICIENDO QUE LOS FLUJOS DE
DATOS PRODUCTO DE UNA EXPLOSIN DEBEN ESTAR BALANCEADOS CON EL NIVEL
ANTERIOR, VALE DECIR, DEBE QUEDAR CLARO QUIN ES EL FLUJO PADRE DE CADA
FLUJO. SI EN CIERTO NIVEL APARECE UN FLUJO CUYA PATERNIDAD NO PUEDE SER
IDENTIFICADA CLARAMENTE, ES NECESARIO REVISAR LOS DFD DE NIVEL SUPERIOR YA
QUE ES POSIBLE QUE SE HAYA OMITIDO ALGO IMPORTANTE.

Pago

Pago en cheque

Pago por
nmina

PROCESAR
PAGOS
CLIENTES

PROCESAR
PAGOS EN
CHEQUE

PROCESAR
PAGOS DE NMINA

Ingresos a cajas

Ingresos en cheque

Ingresos por nmina

EXPLOSIN DE LOS DFD

DESTINO

EL
SISTEM
A

FUENTE

ALMACEN 1

FUENTE

flujo 1

PROCESO
1

flujo 2

ALMACEN 1

flujo 3

PROCES
O2

flujo 5

DESTINO

flujo 4

ALMACEN 2

Prof. Olga Garca

PRIMERA EXPLOSIN

1
PROCES
O

flujo datos 3

2.1
SUB-PROCESO

flujo de datos
intermedio

2.2
SUB-PROCESO

Flujo de datos 4

ALMACN 2

flujo datos 5

DESTINO

PRIMERA EXPLOSIN (FIGURA 1) DEL SISTEMA DE DISTRIBUCIN DE MERCANCA

rdenes de venta
CLIENTES

rdenes de venta rechazada

Pedidos aceptados

P
de cuenta
Estatus
ag
os
de
cli
en
te
s

1.1
CAPTURA
DE
PEDIDOS

Pedidos
completados
Facturas

Pedidos surtidos

1.2
INVENTARIOS

1.3
FACTURACIN
Datos de
compras

1.4
CUENTAS
POR
COBRAR

Pedisos facturados
Artculos
recibidos

Datos de cuentas por pagar

3
3

DIAGRAMA DE FLUJO DE DATOS FIGURA 2 ORDENAR EXISTENCIAS DE

REABASTECIMIENTO

Datos de compra

2.1
COMPRAS

Compromisos
rdenes de compra

Datos de rdenes de Compras emitidas

rdenes de compra surtidas

Embarques
Existencias

Artculos recibidos

PROVEEDOR

2.2
RECEPCIN

BODEGA
DE
MATERIALES

Compras recibidas
Obligaciones incurriidas
3

Fact
uras
prov
eedo
res

2.3
CUENTAS
POR
PAGAR

Datos contables de cuentas por pagar

Esta
dos
de
prov
eedo
res

P
ag
os
a
pr
ov
ee
d
or
es

DIAGRAMA DE FIGURA 3 EXPLOSIN DEL PROCESO 3: MANTENER EL LIBRO MAYOR

Datos de cuentas por cobrar

Datos de inventario

3.1
ACTUALIZAR
LIBRO
MAYOR

Registros del libro mayor

Registros actualizados

Datos de informes gerenciales

3.2
PREPARAR
INFORMES
GERENCIALES

LIBRO
MAYOR

Informes de presupuesto

Otros informes

GERENCIA
Balance general
Estado de ingresos

DIAGRAMA FIGURA 1.1 EXPLOSIN DEL PROCESO 1.1: CAPTURA DE PEDIDOS

Rechazos por edicin

rdenes de venta

RDENES DE VENTA
RECHAZADAS
POR EDISIN

CLIENTES
1.1.1
EDITAR
DATOS DE
PEDIDOS

Avisos de rden
De venta
rechazada

Pedidos editados
ARCHIVO DE CRDITO
DE CLIENTES

1.1.2
Pedidos editados y verificados VERIFICACI
N
DE CRDITO
1.2

1.3

Pedidos aceptados

1.1.3
ASENTAR
PEDIDOS

Pedidos completados

1.1.4
MARCAR
PEDIDOS
SURTIDOS

Datos de crdito

Rechazos por crdito

Datos de pedido

Fecha en que se surti

BITCORA
DE PEDIDOS

RDENES DE VENTA
RECHAZADAS
POR CRDITO

1.1
Pedidos
aceptados

1.2.1
COMPROBAR
EXISTENCIAS

Registros de
artculos

Adiciones al archivo
de inventarios

1.2.3
AADIR
ARTCULOS
RECIBIDOS

Artculos
recibidos

Registros
de pedidos
pendientes

ARCHIVO DE
PEDIDOS
PENDIENTE

Artculos surtidos

1.3

Artculos
disponibles

1.2.2
VERIFICAR
PUNTO DE
REORDEN

ARCHIVOS DE
INVENTARIOS
Registros de
inventarios

Registros de
Artculos
actualizados

Datos contables

Datos de compra

1.2.4
de inventario
PROPORCIONAR
DATOS DE
3
LIBRO
MAYOR

DIAGRAMA DE CONTEXTO DEL SISTEMA DE TURISMO EMISIVO

DATOS
EXPANDIDOS

DATOS MUESTRALES
(SERVIDOR CENTRAL)

SISTEMA DE
TURISMO EMISIVO

DATOS MUESTRALES
REDIMENSIONADOS O
DESAGREGADOS

DIRECCIN DE
DIVULGACIN
ESTADSTICA

DIAGRAMA DE FLUJO DE DATOS PRIMER NIVEL

DIRECCIONES ESTADALES
ENCUESTA DE TURISMO EMISIVO

Encu
esta
s
revis
adas

1
SUPERVISORES

TRANSCRIPCIN
Y
VALIDACIN

Dato
s
valid
ados

Dato
s
inco
nsist
ente
s

GENERAR
LISTADO DE
CHEQUEO

DEPURACIN
DE DATOS

Datos muestrales depurados

SERVIDOR CENTRAL
(DATOS MUESTRALES)
DATOS MUESTRALES LOCALES

SERVIDOR CENTRAL
(DATOS MUESTRALES)

CONTROL
DE
CALIDAD

AJUSTE Y
REDIMENSIN

GENERAR
TABULADOS
BSICOS

CLCULO
COEFICIENTES
EXPANSIN

7
SAU

INFORME
DE
RESULTADOS

6
CLCULO DE
ERRORES
MUESTREEO

EJECUTIVO
PRENSA
TRIPTICO

DATOS
REDIMENSIONADOS

5
GENERAR
TABULADOS
EXPANDIDOS