A service-oriented framework to the design of information system service

The beginning of this century is marked by a paradigm shift due to the move of the production focus from goods-dominant to a service-dominant. At the same time, manufacturing automation and integration are undergoing changes, which open the possibility for classical model oriented products to be replaced by service models, supported by cognitive information systems. This paper analyzes a proposal to achieve a sound design process for service systems, which follows the model driven tendency. In fact, the aim is to bring together practical and formal approach, and therefore, to propose a good design discipline based on SOMF (Service Oriented Model Framework). Based on this model driven approach a new environment were developed which supports elicitation, modeling and requirements analysis supported by semi-formal methods (SOMF and UML) and formal methods (by using SysML and Petri Nets). The proposed method is applied to a case study based in an urban Smart Grid.

[1]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[2]  Nada Golmie,et al.  NIST Framework and Roadmap for Smart Grid Interoperability Standards, Release 1.0 , 2010 .

[3]  Paulo Eigi Miyagi,et al.  PFS/MFG: A High Level Net for the Modeling of Discrete Manufacturing Systems* , 1995 .

[4]  José Reinaldo Silva,et al.  Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation , 2008 .

[5]  Julio Cesar Sampaio do Prado Leite Viewpoints on viewpoints , 1996, ISAW '96.

[6]  Stephen L. Vargo,et al.  Service-Dominant Logic as a Foundation for Service Science: Clarifications , 2009 .

[7]  Wolfgang Reisig,et al.  Place or Transition Petri Nets , 1996, Petri Nets.

[8]  De-Li Yang,et al.  Services science, management, and engineering: A literature review in the perspective of management science , 2007, 2007 IEEE International Conference on Industrial Engineering and Engineering Management.

[9]  Michael Bell,et al.  Service-Oriented Modeling: Service Analysis, Design, and Architecture , 2008 .

[10]  Antony Tang,et al.  A rationale-based architecture model for design traceability and reasoning , 2007, J. Syst. Softw..

[11]  Yong Jin Kim,et al.  Service Systems and Service Innovation: Toward the Theory of Service Systems , 2009, AMCIS.

[12]  L. Bertalanffy AN OUTLINE OF GENERAL SYSTEM THEORY , 1950, The British Journal for the Philosophy of Science.

[13]  Cris Kobryn,et al.  UML 3.0 and the future of modeling , 2004, Software & Systems Modeling.

[14]  Fabrice Kordon,et al.  PN Standardisation: A Survey , 2006, FORTE.

[15]  K. Boulding General Systems Theory---The Skeleton of Science , 1956 .

[16]  Paul P. Maglio,et al.  The service system is the basic abstraction of service science , 2009, Inf. Syst. E Bus. Manag..

[17]  Roger S. Maull,et al.  Embedding the New Discipline of Service Science , 2011, The Science of Service Systems.

[18]  Stephen L. Vargo,et al.  Toward a conceptual foundation for service science: Contributions from service-dominant logic , 2008, IBM Syst. J..

[19]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[20]  Einar Smith Principles of High-Level Net Theory , 1996, Petri Nets.

[21]  Dean Leffingwell,et al.  Managing software requirements: a unified approach , 1999 .

[22]  Suzanne Robertson,et al.  Mastering the Requirements Process (2nd Edition) , 2006 .

[23]  Paul P. Maglio,et al.  Steps Toward a Science of Service Systems , 2007, Computer.

[24]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[25]  Kurt Jensen An Introduction to the Practical Use of Coloured Petri Nets , 1996, Petri Nets.

[26]  Harry G. Perros,et al.  How service science management and engineering (SSME) can evolve to an academic discipline? , 2009, Int. J. Web Eng. Technol..

[27]  Mourad Touzani,et al.  A literature review of service research since 1993 , 2010, J. Serv. Sci. Res..

[28]  Eric S. K. Yu,et al.  Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[29]  Zdenko Stanicek,et al.  Service Systems Through the Prism of Conceptual Modeling , 2010 .

[30]  Thomas H. Davenport,et al.  Process Innovation: Reengineering Work Through Information Technology , 1992 .

[31]  Mary Jo Bitner,et al.  Moving Forward and Making a Difference: Research Priorities for the Science of Service , 2010 .

[32]  J. J. Carr Requirements engineering and management: the key to designing quality complex systems , 2000 .

[33]  Fernando Guilherme Silvano Lobo Pimentel Unicriterion Model: A Qualitative Decision Making Method That Promotes Ethics , 2011 .

[34]  Sanford Friedenthal,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2008 .

[35]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[36]  James C. Spohrer,et al.  A research manifesto for services science , 2006, CACM.

[37]  Paul P. Maglio,et al.  The service system is the basic abstraction of service science , 2008, Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008).

[38]  Ian Sommerville,et al.  Requirements Engineering: Processes and Techniques , 1998 .

[39]  Ian Sommerville,et al.  Viewpoints for requirements elicitation: a practical approach , 1998, Proceedings of IEEE International Symposium on Requirements Engineering: RE '98.

[40]  Olly Gotel,et al.  An analysis of the requirements traceability problem , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[41]  Luciano Baresi,et al.  Improving UML with Petri nets , 2001, UNIGRA.

[42]  Christophe Feltus,et al.  Service specification and service compliance: How to consider the responsibility dimension? , 2012, J. Serv. Sci. Res..

[43]  Francesco Polese,et al.  Smart Service Systems and Viable Service Systems: Applying Systems Theory to Service Science , 2010 .

[44]  Sol M. Shatz,et al.  An Approach to Object System Modeling by State-Based Object Petri Nets , 1998, J. Circuits Syst. Comput..

[45]  Stafford Beer,et al.  The Viable System Model : its provenance , development , methodology and pathology * Stafford Beer = President of the World Organization for Systems and Cybernetics , 2000 .

[46]  Richard Pawson,et al.  Naked Objects , 2002, OOPSLA '02.

[47]  T. Higgins Book reviewSystems engineering handbook: edited by R. E. Machol, W. P. Tanner, Jr., and S. N. Alexander. 1054 pages, diagrams, illustr., New York, McGraw-Hill Book Co., 1965. Price, $29.50 , 1966 .

[48]  Chris Marshall,et al.  Enterprise modeling with UML , 1999 .

[49]  Robert J. Kauffman,et al.  An Interdisciplinary Perspective on IT Services Management and Service Science , 2010, J. Manag. Inf. Syst..

[50]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[51]  Suzanne Robertson,et al.  Mastering the Requirements Process , 1999 .