Taksonomi Lengkap: System Modeling & Software Modeling

Klasifikasi 300+ teknik pemodelan berdasarkan kategori penggunaan

Kode Era: 🔵 Classic | 🟢 Modern | 🔴 Research/Frontier

1. Model-Model Paling Sering Digunakan di Dunia Nyata (Real-World Modeling)

Meskipun terdapat ratusan metode pemodelan formal dan teoritis, di dunia industri pembuatan software dan rekayasa system secara nyata, para praktisi berfokus pada efektivitas komunikasi, kecepatan pengembangan (agility), dan kemudahan pemeliharaan.

Berikut adalah Matriks Pemodelan Rekayasa Software & Sistem Dunia Nyata yang paling sering digunakan oleh Lead Architects, Systems Engineers, dan Software Developers saat ini:

1.1 Bidang Rekayasa Perangkat Lunak (Software Development)

Dalam pembuatan aplikasi, layanan cloud, dan produk SaaS, empat model berikut merupakan standar baku industri:

1. C4 Model (Container Diagram):
   • Mengapa Sangat Populer: Menggantikan arsitektur kotak-dan-panah abstrak yang sering membingungkan. Tingkat Container memberikan pandangan yang sangat jelas mengenai pembagian tanggung jawab teknologi (misal: Single Page App, API Application, Database) beserta protokol komunikasinya (HTTP, gRPC, WebSockets).
   • Kapan Digunakan: Desain arsitektur mikroservis kontemporer, tinjauan arsitektur tim (architectural review), dan orientasi developer baru (onboarding).
2. UML Class Relation Diagram:
   • Mengapa Sangat Populer: Merupakan fondasi pemrograman berbasis objek (OOP). Membantu memvisualisasikan struktur kode, pola desain (design patterns), serta ketergantungan antar kelas.
   • Kapan Digunakan: Fase desain teknis sebelum menulis kode program, serta generasi kerangka kode (code scaffolding).
3. Sequence API Flow:
   • Mengapa Sangat Populer: Sangat kuat dalam memetakan interaksi waktu dan urutan panggilan antar komponen, layanan mikro, atau gerbang API (API Gateways).
   • Kapan Digunakan: Desain integrasi API pihak ketiga, penyusunan urutan alur autentikasi (OAuth2/OIDC), dan analisis performa sistem terdistribusi.
4. Entity-Relationship (ER) DB Schema:
   • Mengapa Sangat Populer: Peta jalan mutlak untuk penyimpanan data terstruktur. Menunjukkan tabel, relasi (satu-ke-banyak, banyak-ke-banyak), tipe data, kunci primer (Primary Key), dan kunci asing (Foreign Key).
   • Kapan Digunakan: Perancangan skema database relasional (PostgreSQL, MySQL), penulisan skrip migrasi ORM, dan optimasi kueri indeks.

1.2 Bidang Rekayasa Sistem (System & Enterprise Engineering)

Dalam desain infrastruktur berskala besar, alur kerja bisnis organisasi, dan sistem fisik-komputasi (cyber-physical), empat model berikut mendominasi industri nyata:

1. Deployment Topology (UML Deployment):
   • Mengapa Sangat Populer: Memberikan pemahaman fisik tentang bagaimana modul perangkat lunak didistribusikan ke atas perangkat keras atau cloud infra (AWS, GCP, Kubernetes).
   • Kapan Digunakan: Desain infrastruktur DevOps, konfigurasi jaringan VPC, dan perencanaan kepatuhan keamanan (security compliance).
2. BPMN (Business Process Model and Notation):
   • Mengapa Sangat Populer: Bahasa universal yang menjembatani tim bisnis dan tim IT. Alur tugas, gerbang logika keputusan (gateways), dan jalur kolaborasi (swimlanes) terdefinisi secara baku dan tidak ambigu.
   • Kapan Digunakan: Otomasi proses bisnis (menggunakan engine seperti Camunda), analisis efisiensi operasional perusahaan, dan pemetaan alur kepuasan pelanggan (customer journey).
3. ArchiMate Layers:
   • Mengapa Sangat Populer: Standar emas untuk Arsitektur Perusahaan (Enterprise Architecture). Menghubungkan secara dinamis dari lapisan Bisnis (proses/produk), ke lapisan Aplikasi (layanan/software), hingga lapisan Teknologi (jaringan/server).
   • Kapan Digunakan: Perencanaan transformasi digital perusahaan skala besar, pemetaan kepatuhan arsitektur TI (IT Governance), dan audit keselarasan bisnis-teknologi.
4. System Dynamics Stock & Flow Loop:
   • Mengapa Sangat Populer: Sangat kuat untuk memodelkan perilaku dinamis sistem kompleks dari waktu ke waktu dengan memperhitungkan umpan balik (feedback loops), akumulasi (stocks), dan laju perubahan (flows).
   • Kapan Digunakan: Perencanaan kapasitas infrastruktur jangka panjang, pemodelan ekonomi sistem (Tokenomics/FinOps), dan analisis risiko rantai pasok.

2. UML — Unified Modeling Language (UML 2.5)

2.1 Structure Diagrams

Deskripsi:

• Class Diagram: Menggambarkan kelas, atribut, metode, dan hubungan antar kelas (inheritance, association, aggregation, composition).
• Object Diagram: Snapshot objek dan relasi pada titik waktu tertentu; instansiasi dari class diagram.
• Component Diagram: Menggambarkan komponen software, interface yang disediakan dan dibutuhkan, serta koneksinya.
• Composite Structure Diagram: Menampilkan struktur internal kelas atau komponen beserta kolaborasi antar bagiannya.
• Deployment Diagram: Memetakan artefak software ke node hardware (server, cloud, container); menunjukkan topologi deployment.
• Package Diagram: Mengorganisasi elemen model ke dalam package; menunjukkan dependensi antar package.
• Profile Diagram: Mendefinisikan stereotypes dan tagged values untuk memperluas UML ke domain spesifik.

2.2 Behavior Diagrams

Deskripsi:

• Use Case Diagram: Menggambarkan aktor dan use case; menunjukkan fungsi sistem dari sudut pandang pengguna.
• Activity Diagram: Flowchart++ dengan swim lanes, forks, joins, dan decision nodes; lebih ekspresif dari flowchart biasa.
• State Machine Diagram: Finite state machine dengan states, transitions, guards, dan actions. Dua jenis: behavioral dan protocol.
• Sequence Diagram: Menggambarkan interaksi antar objek/komponen dalam urutan waktu; lifelines dan messages.
• Communication Diagram: Seperti sequence diagram tapi fokus pada hubungan struktural; pesan dinomori untuk urutan.
• Timing Diagram: Menggambarkan perubahan state objek sepanjang waktu; sumbu X adalah waktu.
• Interaction Overview Diagram: Gabungan activity diagram dan sequence diagram; node berisi interaction fragments.

Berikut adalah Cetak Biru UML Sequence Diagram untuk aliran autentikasi pengguna pada arsitektur microservices:

3. SysML & Systems Engineering

3.1 SysML Core Diagrams

Deskripsi:

• BDD: SysML equivalent of class diagram; blocks mewakili system elements dengan properties dan operations.
• IBD: Menggambarkan koneksi internal antar parts di dalam satu block; flow ports dan item flows.
• Requirements Diagram: Mendefinisikan requirements dan keterkaitannya (derive, satisfy, verify, refine) dengan elemen model.
• Parametric Diagram: Menghubungkan constraint blocks untuk analisis parameter sistem (performance, physics).

Berikut adalah Cetak Biru SysML Block Definition Diagram (BDD) untuk struktur dekomposisi sistem pengendali kendaraan otonom (Autonomous Vehicle Controller):

3.2 SysML 2.0 & MBSE Frameworks

Deskripsi:

• SysML v2: Redesign total SysML dengan kernel modeling language (KerML); lebih presisi, executable semantics.
• MBSE: Metodologi menggunakan formal models sebagai primary artifact menggantikan dokumen.
• ARCADIA/Capella: Metode MBSE (Thales) dengan 4 analysis levels: Operational, System, Logical, Physical.
• TOGAF ADM: Architecture Development Method: iteratif framework dengan 9 phases.
• DoDAF: 6 viewpoints: All, Capability, Operational, Services, Systems, Technical.

4. Process & Workflow Modeling

4.1 Business Process Notation

Deskripsi:

• BPMN 2.0: Standard OMG untuk memodelkan proses bisnis dengan events, activities, gateways, dan flows. Executable ke BPEL/DMN.
• BPEL: XML-based language untuk mengorkestrasikan web services; diturunkan dari BPMN.
• EPC: Dikembangkan untuk SAP; events dan functions bergantian membentuk rantai proses.
• VSM: Memetakan aliran material dan informasi dari supplier ke customer untuk identifikasi waste.
• IDEF0: Activity boxes dan arrow bundles (ICOM: Input, Control, Output, Mechanism).
• DFD: Menggambarkan aliran data antar proses, data stores, dan external entities. Level 0-3.
• SIPOC: Supplier-Input-Process-Output-Customer; overview level process untuk improvement projects.

Berikut adalah Cetak Biru Alur Kerja Proses Bisnis (BPMN 2.0) untuk orkestrasi pemrosesan tiket pengaduan pelanggan:

4.2 Decision & Rule Modeling

Deskripsi:

• DMN: OMG standard untuk decision tables dan decision requirements diagrams; integrates dengan BPMN.
• CMMN: OMG standard untuk case management; discretionary tasks, sentries, dan stages.

4.3 Flowchart & Informal Notation

5. Data Modeling

5.1 Relational & Conceptual

Deskripsi:

• ER (Chen): Entity-Relationship model Peter Chen (1976); entities, attributes, relationships dengan diamonds.
• ER (Crow's Foot): Information Engineering notation; crow's foot symbols untuk cardinality (0-1, 1, 0-many, 1-many).
• IDEF1X: Integration DEFinition for Information Modeling; precise notation untuk relational databases.
• Barker Notation: Richard Barker's ER notation digunakan Oracle CASE; entities sebagai rounded rectangles.

5.2 Object & Semantic Models

Deskripsi:

• ORM: Fact-based modeling; roles sebagai koneksi antar objects. Lebih ekspresif dari ER untuk business rules.
• RDF/OWL: Resource Description Framework; triples (subject-predicate-object) untuk knowledge representation.
• Property Graph: Nodes dan edges dengan properties (key-value); basis Neo4j, TigerGraph.
• JSON Schema: Schema definition language untuk JSON data structures; validation dan documentation.

5.3 Dimensional & Analytics

Deskripsi:

• Star Schema: Central fact table dikelilingi dimension tables; optimized untuk OLAP query.
• Snowflake Schema: Star schema dengan dimension tables dinormalisasi lebih lanjut.
• Data Vault 2.0: Hub-Link-Satellite pattern untuk enterprise DW; full audit trail, agile-friendly.
• Anchor Modeling: Sixth normal form approach; extremely fine-grained temporal tracking of attribute changes.

Berikut adalah Cetak Biru Skema Bintang (Star Schema) untuk model data pergudangan analitik transaksi penjualan (Sales Data Warehouse):

6. Formal & Mathematical Models

6.1 Automata & State Models

Deskripsi:

• FSM: States, alphabet, transitions, initial/final states. DFA: deterministic; NFA: non-deterministic.
• PDA: FSM + stack; recognizes context-free languages. Basis parser algoritma.
• Turing Machine: Theoretical computation model; tape, head, states, transition function.
• Mealy Machine: Output bergantung pada current state DAN input; lebih compact dari Moore.
• Moore Machine: Output hanya bergantung pada current state; lebih predictable dari Mealy.
• Statecharts: Hierarchical, concurrent FSM oleh David Harel; AND/OR states, history pseudo-states.
• HSM: Nested states dengan event inheritance; praktis untuk complex event-driven systems.

6.2 Process Calculi

Deskripsi:

• Petri Net: Bipartite graph dengan places, transitions, tokens; models concurrency, conflict, synchronization.
• Colored Petri Net: Petri Net dengan typed tokens (colors); lebih compact dan ekspresif.
• CSP: Tony Hoare's process algebra; communication via synchronous channels. Basis Go channels.
• CCS: Robin Milner's process algebra; bisimulation equivalence untuk process comparison.
• π-calculus: Extension CCS dengan mobile channels; models dynamic network topologies.
• Applied Pi-Calculus: π-calculus + equational theories; digunakan ProVerif untuk protocol analysis.

Berikut adalah Cetak Biru Pemodelan Formal Colored Petri Net (CPN) untuk visualisasi konkuren, aliran token dinamis, dan sinkronisasi status sistem:

6.3 Temporal & Logic Models

Deskripsi:

• Temporal Logic: Logika untuk reasoning tentang time; LTL: linear time, CTL: branching time.
• Model Checking: Exhaustive state space exploration untuk verify system properties.
• Z Notation: Mathematical notation berbasis set theory dan first-order logic untuk software specification.
• B Method: Formal method berbasis Abstract Machine Notation; refinement dari abstraksi ke implementasi.
• TLA+: Leslie Lamport's specification language; PlusCal untuk algorithm design, TLC untuk model checking. Digunakan AWS.
• Alloy: Relational modeling language; Alloy Analyzer untuk automatic bounded verification.
• Event-B: Extension B Method dengan events; formal refinement dari abstract machine ke concrete.

6.4 Type & Category Theory

Deskripsi:

• Martin-Löf Type Theory: Dependent type theory; propositions as types, proofs as programs. Basis Coq, Agda.
• HoTT: Synthesis type theory + homotopy theory; univalence axiom, synthetic homotopy theory.
• Category Theory: Functor, natural transformation, monad; applied to type systems, FP, and system composition.
• ACT: Category theory applied to real systems: wiring diagrams, open systems, databases, networks.

7. Architecture Modeling Languages

7.1 Enterprise Architecture

Deskripsi:

• ArchiMate: Open Group standard; 3 layers (Business, Application, Technology) × 3 aspects (Active, Passive, Behavior).
• Zachman Framework: 6×6 matrix: Rows = perspectives (Planner→Worker), Columns = interrogatives (What/How/Where/Who/When/Why).
• TOGAF Content Framework: Mendefinisikan architecture artifacts, deliverables, dan building blocks.

7.2 Software Architecture ADLs

Deskripsi:

• C4 Model: 4 levels: Context → Container → Component → Code. Simple dan pragmatic; tidak butuh training UML.
• Arc42: Template 12-section untuk software architecture documentation; technology-agnostic.
• AADL: Untuk embedded, real-time, safety-critical systems. Digunakan aerospace dan automotive.
• EAST-ADL: Architecture description language untuk automotive embedded; AUTOSAR compatible.

7.3 Infrastructure & Cloud Modeling

8. Domain-Specific Modeling Languages (DSL)

8.1 Hardware & Electronic

Deskripsi:

• VHDL/Verilog: Register-Transfer Level hardware description languages; synthesizable ke silicon.
• SystemVerilog: Extension Verilog dengan OOP constructs untuk design dan functional verification.
• SystemC: C++ library untuk hardware modeling; transaction-level modeling (TLM).
• VHDL-AMS: VHDL extension untuk analog dan mixed-signal modeling.

8.2 Simulation & Physical System Models

Deskripsi:

• Modelica: Object-oriented equation-based language untuk modeling physical systems: mechanical, electrical, thermal.
• Simulink: Block diagram environment untuk dynamic system modeling; code generation ke C/HDL.
• Bond Graph: Graphical modeling menggunakan power bonds; generalized energy flow.
• CLD: Menggambarkan feedback loops dalam complex systems; reinforcing dan balancing loops.
• Stock & Flow: Quantitative system dynamics: stocks (accumulation), flows (rates), auxiliaries.
• ABM: Individual agents dengan rules; emergence dari macro behavior dari micro interactions.
• DES: System berubah di discrete time points (events); queue, resources, entities.

8.3 AI & ML Modeling Languages

Deskripsi:

• ONNX: Standard format untuk represent ML models; portabel antar frameworks.
• Computational Graph: DAG dari operasi matematika; nodes = operasi, edges = tensors. Basis TF/PyTorch.
• Causal DAG: Directed graph encoding causal assumptions; do-calculus, counterfactual reasoning.
• Bayesian Network: DAG di mana nodes = random variables, edges = conditional dependencies.
• MDP: Probabilistic state transitions + actions + rewards untuk decision making (basis RL).

9. Requirements & Analysis Models

9.1 Requirements Modeling

Deskripsi:

• Use Case Model (Cockburn): Primary actor, goal, preconditions, main success scenario, extensions.
• User Story Mapping: Story map: aktivitas di sumbu X (backbone), stories di sumbu Y (depth).
• GORE: AND/OR goal trees; menggambarkan intentions dan softgoals stakeholder.
• KAOS: Goal model dengan agent assignments; formal obstacles dan conflict resolution.
• i:* Strategic Dependency dan Strategic Rationale models; actors, goals, tasks, resources.
• Feature Model: Hierarchical tree fitur dengan variability: mandatory, optional, alternative features.

9.2 Analysis & Design Models

Deskripsi:

• Domain Model (DDD): Conceptual model domain dengan entities, value objects, aggregates, dan domain events.
• CRC Cards: Index cards mendefinisikan class responsibilities dan collaborators; untuk design sessions.
• Robustness Diagram: Boundary-Control-Entity analysis; bridge antara use cases dan class diagram.
• Rich Picture: Informal, expressive drawing untuk memahami complex situations; Soft Systems Methodology.

10. Interaction & UI Modeling

10.1 User Interface Models

Deskripsi:

• Wireframe: Low-fidelity UI skeleton; layout, spacing, content tanpa visual design.
• User Journey Map: End-to-end user experience: phases, actions, thoughts, feelings, pain points, opportunities.
• Service Blueprint: Extended user journey: frontstage, backstage, support processes untuk service design.
• GOMS: Goals-Operators-Methods-Selection rules; prediksi waktu penyelesaian task.
• HTA: Hierarchical Task Analysis; dekomposisi task ke sub-tasks untuk ergonomic analysis.

10.2 Interaction Design Notation

11. Collaborative & Agile Models

11.1 Agile Frameworks & Models

Deskripsi:

• Kanban Board: Visual board dengan columns representing workflow states; WIP limits untuk flow optimization.
• Impact Map: Why → Who → How → What: menghubungkan business goals dengan deliverables.
• Event Storming: Collaborative workshop: domain events (orange), commands, aggregates, policies, views.
• Domain Storytelling: Actors + work objects + activities = pictographic language untuk domain stories.
• Example Mapping: Story → Rules → Examples → Questions; untuk refinement dan acceptance criteria.

11.2 Collaborative Mapping

Deskripsi:

• Business Model Canvas: 9-block canvas: Value Proposition, Customer Segments, Channels, Revenue, dll.
• Wardley Map: Value chain dipetakan ke evolution axis (Genesis→Custom→Product→Commodity).
• Empathy Map: Think/Feel, See, Hear, Say/Do, Pain, Gain; membangun shared understanding of user.
• Fishbone: Cause-and-effect diagram; categories (6M: Man, Machine, Material, Method, Measurement, Mother Nature).

12. Code-Level & Implementation Models

12.1 Static Code Models

Deskripsi:

• Call Graph: Directed graph menggambarkan call relationships antar fungsi/metode.
• CFG: Graph di mana nodes = basic blocks, edges = possible execution paths.
• Data Flow Analysis: Tracking data values melalui program; reaching definitions, live variables, alias analysis.
• AST: Tree representation dari syntactic structure program; basis semua compiler frontends.
• Taint Analysis: Tracking data flow dari untrusted sources ke sensitive sinks untuk vulnerability detection.

12.2 Dynamic & Runtime Models

Deskripsi:

• Heap Dump: Snapshot objek di heap dan referensi antar objek pada runtime.
• Flame Graph: Profiling visualization: x-axis = stack trace population, y-axis = stack depth.
• Memory Model: Formal specification visibility dan ordering guarantees untuk multi-threaded execution.

12.3 Testing Models

13. Emerging & Research Models

13.1 AI-Assisted Modeling

Deskripsi:

• NAS: Automated search architecture neural network; search space, strategy, estimation.
• Digital Twin: Virtual replica dari physical asset; real-time sync, simulation, optimization.
• MAPE-K: Monitor-Analyze-Plan-Execute + Knowledge loop; untuk autonomic computing.
• Generative AI System Models: Model arsitektur sistem berbasis LLM: RAG pipeline, agent loop, tool-use graph.

13.2 Quantum & Neuromorphic

Deskripsi:

• Quantum Circuit: Gates, qubits, measurements dalam circuit notation; basis quantum computing design.
• QML: Hybrid classical-quantum ML model; variational quantum circuits.
• SNN: Spiking Neural Network architecture; temporal coding, synaptic plasticity.

13.3 Probabilistic & Statistical Models

Deskripsi:

• PGM: Bayesian Network + Markov Random Field; compact representation joint distributions.
• Factor Graph: Bipartite graph: variable nodes + factor nodes; belief propagation.
• SEM: Path diagrams dengan latent dan observed variables; confirmatory factor analysis.
• Causal DAG: DAG encoding causal assumptions; d-separation, do-calculus intervention.

13.4 Continuous & Hybrid Models

Deskripsi:

• Hybrid Automaton: FSM + continuous dynamics (ODE); untuk modeling CPS dengan discrete events + continuous physics.
• CPS Modeling: Co-modeling computational dan physical components; interplay feedback loops.
• Contract-Based Design: Assume-Guarantee contracts untuk compositional verification tanpa full system model.
• AADL Error Model: Formal fault propagation untuk safety analysis; digunakan aerospace.

Ringkasan Statistik

Catatan: Beberapa model muncul di lebih dari satu kategori (misal UML State Machine juga dipakai di SysML). Total unik sekitar 199, dengan lebih dari 300 entri jika dihitung semua variasi dan subcategory.

Referensi & Sumber Lanjutan

Standards Bodies

• OMG (Object Management Group) — UML, SysML, BPMN, DMN, CMMN — omg.org
• IEEE — VHDL, Verilog, SystemVerilog, SystemC — ieee.org
• ISO/IEC — Z Notation (13568), VDM (13817), Flowchart (5807) — iso.org
• W3C — RDF, OWL, XSD — w3.org
• The Open Group — ArchiMate, TOGAF — opengroup.org
• SAE International — AADL (AS5506C) — sae.org
• INCOSE — MBSE Handbook — incose.org

Key Textbooks

• Rumbaugh, Jacobson, Booch — The Unified Modeling Language Reference Manual (UML)
• Harel & Politi — Modeling Reactive Systems with Statecharts (Statecharts)
• Hoare — Communicating Sequential Processes (CSP)
• Petri — Kommunikation mit Automaten (Petri Nets)
• Lamport — Specifying Systems (TLA+)
• Clarke, Grumberg, Peled — Model Checking (Temporal Logic / Model Checking)
• Pearl — Causality (Bayesian Networks, Causal DAG)
• Evans — Domain-Driven Design (Domain Model, DDD)
• Kimball & Ross — The Data Warehouse Toolkit (Star/Snowflake Schema)
• Forrester — Industrial Dynamics (Stock & Flow, System Dynamics)
• Cockburn — Writing Effective Use Cases (Use Case Modeling)
• van Lamsweerde — Requirements Engineering: From System Goals to UML Models (GORE, KAOS)

Online Resources

• PlantUML — plantuml.com — Text-based UML diagrams
• draw.io — draw.io — General diagramming
• Structurizr — structurizr.com — C4 Model
• Mermaid — mermaid.js.org — Code-based diagrams
• Cameo Systems Modeler — nomagic.com — SysML/UML
• Capella — eclipse.dev/capella — ARCADIA/Capella (free)
• Rodin Platform — rodin-b-sharp.sourceforge.net — Event-B (free)
• SPIN Model Checker — spinroot.com — Formal verification (free)
• Alloy Analyzer — alloytools.org — Alloy (free)
• TLA+ Toolbox — lamport.azurewebsites.net/tla/tla.html — TLA+ (free)
• CPN Tools — cpntools.org — Colored Petri Nets (free)
• NetLogo — ccl.northwestern.edu/netlogo — Agent-Based Modeling (free)
• Protégé — protege.stanford.edu — OWL Ontology (free)