Formalization of Architecture-Centric Model Mapping Using Category Theory

No abstract is available for this paper.

• Publication year

  2007

• Venue

  Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

• Publication date

  2007-07-30

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/SNPD.2007.240
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model-Driven Development

  2008cited by this paper
• Feature-based survey of model transformation approaches

  2006cited by this paper
• MDA-based Modeling and Transformation Approach for WEB Applications

  2006cited by this paper
• Model-driven development : The good , the bad , and the ugly &

  2006cited by this paper
• Model mapping using formalism extensions

  2005cited by this paper
• A review of OMG MOF 2 . 0 Query / Views / Transformations Submissions and Recommendations towards the final Standard

  2003cited by this paper
• MDA explained - the Model Driven Architecture: practice and promise

  2003cited by this paper
• An approach to specify and test component-based dependable software

  2002cited by this paper
• Using category theory to model software component dependencies

  2002cited by this paper
• Asynchronous Parallel Pattern Search for Nonlinear Optimization

  2001cited by this paper
• Specification of Software Architecture

  2000cited by this paper
• Management of evolving specifications using category theory

  1998cited by this paper
• On the Convergence of Pattern Search Algorithms

  1997cited by this paper
• A mathematical toolbox for the software architect

  1996cited by this paper
• Generalized communicators in the Message Passing Interface

  1996cited by this paper
• Users guide to the PGAPack parallel genetic algorithm library

  1995cited by this paper
• Category theory for computing science

  1995cited by this paper
• PDS: Direct Search Methods for Unconstrained Optimization on Either Sequential or Parallel Machines

  1992cited by this paper
• Abstract and concrete categories

  1990cited by this paper
• THEORY OF POSITIVE LINEAR DEPENDENCE.

  1954cited by this paper

• Design and self-management of wireless networked systems with model-driven optimization

  2015cites this paper
• Towards a Formal Reactive Autonomic Systems Framework using Category Theory

  2013cites this paper
• Capabilities and Features: Linking Business and Application Architectures - I

  2011cites this paper
• Capabilities and Features: Linking Business and Application Architectures

  2011cites this paper
• Risk Evaluation of the Electric Power Communication Network Based on Compatibility Rough-Fuzzy Set

  2009cites this paper