A FORMAL APPROACH TO ENTERPRISE MODELING

Yoshiyuki Shinkawa

2004

Abstract

Model driven development for software systems provides us with many advantages in quality, productivity, or reusability. For accurate modeling, we have to create many kinds of models from various viewpoints. When applying model driven development to enterprise information systems, those viewpoints include not only software oriented matters but also business oriented matters. Such complexity in modeling often causes inconsistency between models. This paper presents a formal and systematic way to create consistent and integrated enterprise models that reflect those various viewpoints. Set theory, Colored Petri Nets (CPNs), and Unified Modeling Language (UML) are used for this formalism. In addition, the paper proposes a set theoretic approach to evaluating consistency between enterprise models. The consistency is discussed in traditional hierarchical organization and modern matrix organization.

References

  1. Aalst, W. M. P. (1998). Three good reasons for using a petrinet-based work ow management system. In Information and process integration in enterprises: Rethinking documents, pages 161-182, pp.161-182. Kluwer Academic Publishers.
  2. Aalst, W. M. P. and Hee, K. M. (1995). Framework for business process redesign. In Proc. of 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 7895), pp.36-45. IEEE.
  3. Astesiano, E., Kreowski, H. J., and Bruckner, B. K. (1999). Algebraic Foundation of System Speci cation. Springer.
  4. Doumeingts, G., Chen, D., Vallespir, B., and Fenic, R. (1994). Grai integrated methodology (gim) and its evolutions: a methodology to design and specify advanced manufacturing systems. In IFIP Transactions B: Computer Applications in Technology B-14 pp.101-117.
  5. Frankel, D. S. (2003). Model Driven Architecture: Applying MDA to Enterprise Computing. John Wiley & Sons.
  6. Coloured Petri Nets Volume 1-3.
  7. Kosanke, K. (1992). Cimosa-a european development for enterprise integration part 1: An overview. In Enterprise Integration Modeling (Edited by C.G. Petrie Jr), pp.179-188. MIT Press.
  8. Pawlak, Z. (1992). Rough Sets : Theoretical Aspects of Reasoning About Data. Kluwer Academic Publishers.
  9. Shinkawa, Y. and Matsumoto, M. J. (2000). Knowledgebased software composition using rough set theory. In IEICE Trans. on Inf. and Syst, Vol.E83-D. No.4,pp.691-700. IEICE.
  10. Shinkawa, Y. and Matsumoto, M. J. (2001). Identifying the structure of business processes for comprehensive enterprise modeling. In IEICE Trans. on Inf. and Syst, Vol.E84-D. No.2, pp.239-248. IEICE.
  11. Vernadat, F. B. (1996). Enterprise Modeling and Integration. Chapman and Hall, Upper Saddle River,NJ.
  12. Williams, T. J. and Hong, L. (1998). Pera and geram enterprise reference architectures in enterprise integration. In Proc. of Design and Information Infrastructure and Systems for Manufacturing, pp3-30. Kluwer Academic Publishers.
Download


Paper Citation


in Harvard Style

Shinkawa Y. (2004). A FORMAL APPROACH TO ENTERPRISE MODELING . In Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 972-8865-00-7, pages 663-668. DOI: 10.5220/0002626306630668


in Bibtex Style

@conference{iceis04,
author={Yoshiyuki Shinkawa},
title={A FORMAL APPROACH TO ENTERPRISE MODELING},
booktitle={Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2004},
pages={663-668},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002626306630668},
isbn={972-8865-00-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - A FORMAL APPROACH TO ENTERPRISE MODELING
SN - 972-8865-00-7
AU - Shinkawa Y.
PY - 2004
SP - 663
EP - 668
DO - 10.5220/0002626306630668