Modularità (informatica): differenze tra le versioni

Versione delle 18:25, 16 ago 2007

Versione attuale delle 23:01, 11 mar 2025

(32 versioni intermedie di 23 utenti non mostrate)

Riga 1:

{{U|Programmazione modulare|informatica|dicembre 2013}}

La '''Modularità''' è un concetto che trova applicazione nel contesto dell' [[Informatica]], più precisamente nella [[programmazione]], così come la [[Scienze cognitive]] nello scoprire la struttura della [[mente]]. Un '''modulo''' può essere definito in molteplici modi, ma di solito si tratta di un componente di un più vasto sistema, che opera in quel sistema indipendentemente dalle operazioni di altri componenti.

La '''Modularitàmodularità''' è un concetto che trova applicazione nel contesto dell' [[Informaticainformatica]], più precisamente nella [[programmazione (informatica)|programmazione]], così come lale [[Scienzescienze cognitive]] nello scoprire la struttura della [[mente]]. Un '''[[Modulo (programmazione)|modulo]]''' può essere definito in molteplici modi, ma di solito si tratta di un componente di un più vasto sistema, che opera in quel sistema indipendentemente dalle operazioni di altri componenti.

I moduli forniscono una separazione tra le [[Interfaccia (informatica)|interfacce]] e la [[implementazione]]. Una interfaccia di un modulo esprime gli elementi che sono forniti e necessari al modulo. Gli elementi definiti in una interfaccia sono visibili agli altri moduli. L'implementazione contiene il codice operativo che corrisponde agli elementi dichiarati nell'interfaccia. I linguaggi che supportano esplicitamente il concetto di modulo includono [[Ada]], [[D (linguaggio di programmazione)|D]], [[F (linguaggio di programmazione)|F]], [[Fortran]], [[Pascal (linguaggio)|Pascal]] (alcuni derivati), [[ML programming language|ML]], [[Modula-2]], [[Python]] e [[Ruby]]. Il sistema IBM i (nominato come AS/400 e iSeries) utilizza i moduli nel suo RPG, COBOL e CL quando si programma nel suo ambiente ILE.

I moduli forniscono una separazione tra le [[Interfaccia (informatica)|interfacce]] e la [[implementazione]]. Una interfaccia di un modulo esprime gli elementi che sono forniti e necessari al modulo. Gli elementi definiti in una interfaccia sono visibili agli altri moduli. L'implementazione contiene il codice operativo che corrisponde agli elementi dichiarati nell'interfaccia. I linguaggi che supportano esplicitamente il concetto di modulo includono [[Ada (linguaggio)|Ada]], [[D (linguaggio di programmazione)|D]], [[F (linguaggio di programmazione)|F]], [[Fortran]], [[Pascal (linguaggio)|Pascal]] (alcuni derivati), [[ML programming(linguaggio languagedi programmazione)|ML]], [[Modula-2]], [[Python]] e [[Ruby (linguaggio di programmazione)|Ruby]]. Il sistema IBM i (nominato come AS/400 e iSeries) utilizza i moduli nel suo RPG, [[COBOL]] e CL quando si programma nel suo ambiente ILE.

== Moduli e classi ==

La differenza tra le [[Classe (informatica)|classi]] ede i moduli sono:

* Le Classi possono essere instanziateistanziate per creare [[Oggetto (informatica)|oggetti]],

* Le Classi possono [[Ereditarietà (informatica)|ereditarietàEreditare]] il loro comportamento e dati da altre classi,

* Il [[Polimorfismo (informatica)|Polimorfismo]] permette la relazione tra istanze di classi di poter cambiare a run-time, mentre le relazioni tra i moduli sono statiche.

Le simiglianzesomiglianze con le classi sono:

*Le Classi possono essere instanziate per creare [[Oggetto (informatica)|oggetti]],

* Entrambi possono essere usati per nascondere i dettagli dell'implementazione.

*Le Classi possono [[Ereditarietà (informatica)|ereditarietà]] il loro comportamento e dati da altre classi,

* Entrambi possono formare gerarchie di modules/classes.

*Il [[Polimorfismo]] permette la relazione tra istanze di classi di poter cambiare a run-time, mentre le relazioni tra i moduli sono statiche.

== Linguaggi di interconnessione dei moduli (MILs) ==

Le simiglianze con le classi sono:

I '''linguaggi di interconnessione dei moduli''' ('''MILs''') forniscono costrutti di grammatica formale per decidere le varie specifiche di interconnesioneinterconnessione dei moduli necessarie ad assemblare un completo sistema software. I MILs permettono la separazione tra la '''programmazione in piccolo''' e la '''programmazione in grande'''. Scrivere un modulo rappresenta la programmazione in piccolo, mentre assemblare un sistema tramite l'aiuto del MIL rappresenta la programmazione in grande. Un esempio del MIL è il MIL-75.

== La modularità nella scienza delnell'informatica computer==

*Entrambi possono essere usati per nascondere i dettagli dell'implementazione.

La '''modularità''' è una proprietà dei [[Programma (informatica)|programmi]] che misura la estensione di quanto sono composti in parti separate chiamate [[Modulomodulo (programmazione)|moduli]]. Un approccio modulare sta guadagnando popolarità nel campo della [[Integrazione sistemi intelligenza artificiale|integrazione di sistemi intelligenza artificiale]], dove un sistema A.I. generale in larga scala system è composto di moduli dei quali ognuno serve ada uno specifico scopo e comunica con gli altri per produrre un comportamento generale desiderato.

*Entrambi possono formare gerarchie di modules/classes.

== Linguaggi di interconnessione dei moduli (MILs)==

I '''linguaggi di interconnessione dei moduli''' ('''MILs''') forniscono costrutti di grammatica formale per decidere le varie specifiche di interconnesione dei moduli necessarie ad assemblare un completo sistema software. I MILs permettono la separazione tra la '''programmazione in piccolo''' e la '''programmazione in grande'''. Scrivere un modulo rappresenta la programmazione in piccolo, mentre assemblare un sistema tramite l'aiuto del MIL rappresenta la programmazione in grande. Un esempio del MIL è il MIL-75.

==La modularità nella scienza del computer==

La '''modularità''' è una proprietà dei [[Programma (informatica)|programmi]] che misura la estensione di quanto sono composti in parti separate chiamate [[Modulo|moduli]]. Un approccio modulare sta guadagnando popolarità nel campo della [[Integrazione sistemi intelligenza artificiale|integrazione di sistemi intelligenza artificiale]], dove un sistema A.I. generale in larga scala system è composto di moduli dei quali ognuno serve ad uno specifico scopo e comunica con gli altri per produrre un comportamento generale desiderato.

I programmi che hanno molte correlazioni dirette tra qualsiasi parti del codice di programmazione sono meno '''modulari''' (più strettamente [[Accoppiamento (informatica)|accoppiati]]) dei programmi le cui relazioni avvengono solo tramite ben specificate interfacce di moduli.

Le tecniche di '''programmazione modulare''' sono quelle che incrementano la modularità. (Vedi anche: [[Programmazione modulare | programmazione modulare]], [[Programmazione strutturata|programmazione strutturata]], [[Programmazione procedurale|programmazione procedurale]], [[Programmazione orientata agli oggetti]] e [[Programmazione orientata agli aspetti]], [[Calcolo distribuito]].)

== Lavori citati ==

* Guimerá, R. & L.A. Nunes Amaral (2005). ''Functional Cartography of Complex Metabolic Networks''. [[Nature (journal)|Nature]]Natura, '''433''': 895-900.

* Yang, A.S. (2001). ''Modularity, Evolvability and Adaptive Radiations''. Evolution and Development, '''3''':2, 59-72.

==Vedi ancheVoci correlate ==

* [[ModularProgrammazione programmingmodulare]]

* [[Scienze cognitive]]

* [[CohesionCoesione (computer scienceInformatica)|Cohesion]]

* [[Accoppiamento (Informatica)]]

* [[Coupling (computer science)|Coupling]]

* [[EncapsulationIncapsulazione]]

* [[Libreria software]]

* [[Legge di Conway]]

* [[David Parnas]]

* [[Ilities]]

* [[ModularityModularità ofdella mindmente]]

* [[Filosofia della mente]]

* [[Constructionist design methodology]]. A methodology for creating modular, broad A.I. systems.

==Collegamenti esterni==

{{Wikibooks|Ada Programming|Packages|Modules}}

*[http://modules.sourceforge.net/ Environment Modules]

[[Category:Cognitive science]]

[[Category:Programming paradigms]]

[[en:Modularity (programming)]]

[[ja:モジュール]]

[[ko:모듈성 (프로그래밍)]]

[[ru:Модульность (программирование)]]

[[tr:Modüler programlama]]

== Collegamenti esterni ==

*[{{cita web|http://modules.sourceforge.net/ |Environment Modules]}}

[[Categoria:Concetti di programmazione]]

{{soft-eng-stub}}