Object-oriented software development using constraint-based modeling

Yasuo Nagai, Kazunori Matsumoto, Tetsuhiro Miyahara, Shinichi Honiden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In this paper, we propose constraint-based modeling using constraint patterns, which can utilize information of constraint effectively, reuse the structure of efficient and executable software, and construct constraint representation and constraint solvers suitable to domains easily. In order to construct domain-specific constraint solvers, we define the new pattern realized by combining extended patterns and existing patterns as constraint pattern. We show that by sub-classing and refining components of constraint patterns, object-oriented software development using constraint solvers which maintain consistency of relationships among domain-specific objects and among attributes on an object leads to easy construction of applications. We select two problems: GUI system for information control system and design system for mechanical engineering as application, and apply constraint-based modeling to these problems. Furthermore, typical problems of constraint satisfaction problem are also selected and applied as applications. The result of these applications shows that our development method using constraint-based modeling leads to easy development of object-oriented systems that include constraint solver systems facilitating declarative description of relations among objects and flexible control of behavior of these objects, by regarding these relations as constraint.

Original languageEnglish
Title of host publicationWMSCI 2005 - The 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Proceedings
Pages396-402
Number of pages7
Volume1
Publication statusPublished - 2005 Dec 1
Externally publishedYes
Event9th World Multi-Conference on Systemics, Cybernetics and Informatics, WMSCI 2005 - Orlando, FL
Duration: 2005 Jul 102005 Jul 13

Other

Other9th World Multi-Conference on Systemics, Cybernetics and Informatics, WMSCI 2005
CityOrlando, FL
Period05/7/1005/7/13

Fingerprint

Software engineering
Constraint satisfaction problems
Mechanical engineering
Graphical user interfaces
Refining
Control systems

Keywords

  • Constraint
  • Modeling
  • Object-oriented software development
  • OCL
  • Pattern
  • Software design problem
  • UML

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Networks and Communications
  • Information Systems

Cite this

Nagai, Y., Matsumoto, K., Miyahara, T., & Honiden, S. (2005). Object-oriented software development using constraint-based modeling. In WMSCI 2005 - The 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Proceedings (Vol. 1, pp. 396-402)

Object-oriented software development using constraint-based modeling. / Nagai, Yasuo; Matsumoto, Kazunori; Miyahara, Tetsuhiro; Honiden, Shinichi.

WMSCI 2005 - The 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Proceedings. Vol. 1 2005. p. 396-402.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Nagai, Y, Matsumoto, K, Miyahara, T & Honiden, S 2005, Object-oriented software development using constraint-based modeling. in WMSCI 2005 - The 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Proceedings. vol. 1, pp. 396-402, 9th World Multi-Conference on Systemics, Cybernetics and Informatics, WMSCI 2005, Orlando, FL, 05/7/10.
Nagai Y, Matsumoto K, Miyahara T, Honiden S. Object-oriented software development using constraint-based modeling. In WMSCI 2005 - The 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Proceedings. Vol. 1. 2005. p. 396-402
Nagai, Yasuo ; Matsumoto, Kazunori ; Miyahara, Tetsuhiro ; Honiden, Shinichi. / Object-oriented software development using constraint-based modeling. WMSCI 2005 - The 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Proceedings. Vol. 1 2005. pp. 396-402
@inproceedings{30d47b3334ba4c5fa2a97100b5c8698f,
title = "Object-oriented software development using constraint-based modeling",
abstract = "In this paper, we propose constraint-based modeling using constraint patterns, which can utilize information of constraint effectively, reuse the structure of efficient and executable software, and construct constraint representation and constraint solvers suitable to domains easily. In order to construct domain-specific constraint solvers, we define the new pattern realized by combining extended patterns and existing patterns as constraint pattern. We show that by sub-classing and refining components of constraint patterns, object-oriented software development using constraint solvers which maintain consistency of relationships among domain-specific objects and among attributes on an object leads to easy construction of applications. We select two problems: GUI system for information control system and design system for mechanical engineering as application, and apply constraint-based modeling to these problems. Furthermore, typical problems of constraint satisfaction problem are also selected and applied as applications. The result of these applications shows that our development method using constraint-based modeling leads to easy development of object-oriented systems that include constraint solver systems facilitating declarative description of relations among objects and flexible control of behavior of these objects, by regarding these relations as constraint.",
keywords = "Constraint, Modeling, Object-oriented software development, OCL, Pattern, Software design problem, UML",
author = "Yasuo Nagai and Kazunori Matsumoto and Tetsuhiro Miyahara and Shinichi Honiden",
year = "2005",
month = "12",
day = "1",
language = "English",
isbn = "9806560531",
volume = "1",
pages = "396--402",
booktitle = "WMSCI 2005 - The 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Proceedings",

}

TY - GEN

T1 - Object-oriented software development using constraint-based modeling

AU - Nagai, Yasuo

AU - Matsumoto, Kazunori

AU - Miyahara, Tetsuhiro

AU - Honiden, Shinichi

PY - 2005/12/1

Y1 - 2005/12/1

N2 - In this paper, we propose constraint-based modeling using constraint patterns, which can utilize information of constraint effectively, reuse the structure of efficient and executable software, and construct constraint representation and constraint solvers suitable to domains easily. In order to construct domain-specific constraint solvers, we define the new pattern realized by combining extended patterns and existing patterns as constraint pattern. We show that by sub-classing and refining components of constraint patterns, object-oriented software development using constraint solvers which maintain consistency of relationships among domain-specific objects and among attributes on an object leads to easy construction of applications. We select two problems: GUI system for information control system and design system for mechanical engineering as application, and apply constraint-based modeling to these problems. Furthermore, typical problems of constraint satisfaction problem are also selected and applied as applications. The result of these applications shows that our development method using constraint-based modeling leads to easy development of object-oriented systems that include constraint solver systems facilitating declarative description of relations among objects and flexible control of behavior of these objects, by regarding these relations as constraint.

AB - In this paper, we propose constraint-based modeling using constraint patterns, which can utilize information of constraint effectively, reuse the structure of efficient and executable software, and construct constraint representation and constraint solvers suitable to domains easily. In order to construct domain-specific constraint solvers, we define the new pattern realized by combining extended patterns and existing patterns as constraint pattern. We show that by sub-classing and refining components of constraint patterns, object-oriented software development using constraint solvers which maintain consistency of relationships among domain-specific objects and among attributes on an object leads to easy construction of applications. We select two problems: GUI system for information control system and design system for mechanical engineering as application, and apply constraint-based modeling to these problems. Furthermore, typical problems of constraint satisfaction problem are also selected and applied as applications. The result of these applications shows that our development method using constraint-based modeling leads to easy development of object-oriented systems that include constraint solver systems facilitating declarative description of relations among objects and flexible control of behavior of these objects, by regarding these relations as constraint.

KW - Constraint

KW - Modeling

KW - Object-oriented software development

KW - OCL

KW - Pattern

KW - Software design problem

KW - UML

UR - http://www.scopus.com/inward/record.url?scp=84867354831&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84867354831&partnerID=8YFLogxK

M3 - Conference contribution

SN - 9806560531

SN - 9789806560536

VL - 1

SP - 396

EP - 402

BT - WMSCI 2005 - The 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Proceedings

ER -