000			03451nam a22003855i 4500
001			291536
003			MX-SnUAN
005			20160429154902.0
007			cr nn 008mamaa
008			150903s2005 xxk| o |||| 0|eng d
020			_a9781846281068 _99781846281068
024	7		_a10.1007/b138799 _2doi
035			_avtls000343652
039		9	_a201509030400 _bVLOAD _c201405070514 _dVLOAD _y201402061201 _zstaff
040			_aMX-SnUAN _bspa _cMX-SnUAN _erda
050		4	_aQA76.9.M3
100	1		_aChen-Burger, Yun-Heh. _eautor _9322872
245	1	0	_aAutomating Business Modelling : _bA Guide to Using Logic to Represent Informal Methods and Support Reasoning / _cby Yun-Heh Chen-Burger, Dave Robertson.
264		1	_aLondon : _bSpringer London, _c2005.
300			_axvii, 322 páginas 104 ilustraciones _brecurso en línea.
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
490	0		_aAdvanced Information and Knowledge Processing
500			_aSpringer eBooks
505	0		_aFrom the Contents. Introduction -- Background Knowledge -- Problems and Overviews of Approach -- Logic -- Formal Support for Data Modelling -- Formal Support for Process Modelling -- Reasoning on and Executing Processes -- Knowledge Sharing and Reuse of Models -- The Use of System: KBST-BM -- Evaluation of System -- Conclusion -- Appendices - A. Generic Models from BSDM -- B. Example Models of BSDM -- C. An Industrial Model -- D. A Model for Family Restaurants -- E. A Model for Academic Environment -- F. The Formal Operators in DefBM -- G. Entity Model Rules and Guidelines -- H. Process Model Rules and Guidelines -- I. An Interpreter for User-Defined Rules -- J. Model/Rules/Guidelines By Category -- K. Test Result of Model Rules and Guidelines -- L. An Example Use of GMA -- M. Example Use of Simulator -- References -- Index.
520			_aEnterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning their businesses. The resulting product, an enterprise model, is commonly used as a blueprint for reconstructing organizations and such effort is often a part of business process re-engineering and improvement initiatives. Automating Business Modelling describes different techniques of providing automated support for enterprise modelling methods and introduces universally used approaches. A running example of a business modelling method is included; providing a framework and detailed explanation as to how to construct automated support for modelling, allowing readers to follow the method to create similar support. Suitable for senior undergraduates and postgraduates of Business Studies, Computer Science and Artificial Intelligence, practitioners in the fields of Knowledge Management, Enterprise Modelling and Software Engineering, this book offers insight and know-how to both student and professional.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aRobertson, Dave. _eautor _9322873
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9781852338350
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/b138799 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c291536 _d291536