Abstract
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.
Article PDF
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
References
Aalst W (1998) The Aplication of petri nets to workflow management. The Journal of Circuits, Systems and Computers 8(1):1–53.
Aalst W & Hee V (2002) Workflow management: models, methods and systems. Cambridge: MIT Press, 2002.
Bardhan IR, Demirkan H, Kannan PK, Kauffman RJ, and Sougstad R (2010) An Interdisciplinary Perspective on IT Services Management and Service Science. Journal of Management Information Systems 26(4):13–64.
Baresi L & Pezzè M (2001) Improving UML with Petri Nets. Electronic Notes in Theoretical Computer Science 44(4):107–119.
Barile S & Polese F (2010) Smart Service Systems and Viable Service Systems: Applying Systems Theory to Service Science. Service Science Journal 2(1/2):21–40.
Beer S (1984) The Viable System Model: Its Provenance, Development, Methodology and Pathology. The Journal of the Operational Research Society 35(1):7–25.
Bell M (2008) Service-Oriented Modeling: Service Analysis, Design, and Architecture. 1st ed. New Jersey: John Wiley.
Bertalanffy L (1950) An outline of general system theory The British Journal for the Philosophy of science 1(2):134.
Boulding KE (1956) General systems theory-the skeleton of science. Management science 6 (1):127–139.
Cambridge (2007) Succeeding through service innovation. Symposium A Quarterly Journal In Modern Foreign Literatures.
Carr JJ (2000) Requirements Engineering and Management: The Key to Designing Quality Complex Systems. The TQM Magazine 12(6):400–407.
Chesbrough H and Spohrer JIM (2006) A Research Manifesto for Services Science. Communications of the ACM 7(49):35–40.
Davenport T (1993) Process Innovation: Reengineering Work Through Information Technology. Boston: Harvard Business School Press.
Desel J & Reisig W (1998) Place/transition Petri Nets. Lectures on Petri Nets I: Basic Models: 122–173.
EPRI (2008) The Green Grid-Energy Savings and Carbon Emissions Reductions Enabled by a Smart Grid. Manager. Palo alto, CA.
Estefan JA (2007) Survey of Model-based Systems Engineering (MBSE) Methodologies. Incose MBSE Focus Group.
Friedenthal S, Moore A, & Steiner R (2009) A practical guide to SysML: the systems modeling language, San Francisco: Morgan Kaufmann.
Gotel OCZ & Finkelstein CW (1994) An Analysis of the Requirements Traceability Problem. In Proceedings of 1st International Conference on Requirements Engineering, 94-101. IEEE Computer Society Press.
Haskins C (2006) Systems Engineering Handbook. INCOSE.
Hillah L, Kordon F, & Petrucci L (2006) PN standardisation: a survey. Lecture Notes in Computer Science: Formal Techniques for Networked and Distributed Systems-FORTE: 307–322.
IEA (2011) Key World Energy Statistics 2011. Statistics. OECD Publishing. www.iea.org.
Jensen K (1998) An Introduction to the Practical Use of Coloured Petri Nets. Lectures Notes in Computer Science:237–292.
Kent S (2002) Model Driven Engineering. In Integrated Formal Methods 1:286–298. Springer.
Khadraoui A & Feltus C (2012) Service Specification and Service Compliance: How to Consider the Responsibility Dimension? Journal of Service Science Research 4(1):123–142.
Kim YJ & Nam K (2009) Service Systems and Service Innovation: Toward the Theory of Service Systems. In AMCIS Proceedings.
Kobryn C (2004) UML 3.0 and the Future of Modeling. Software and Systems Modeling:4–8.
Kotonya G & Sommerville I (1998) Requirements Engineering: Processes and Techniques. John Wiley and Sons Ltd.
Leffingwell D & Widrig D (2000) Managing Software Requirements: a Unified Approach. New Jersey: Addison-Wesley.
Leite J & Prado CSD (1996) Viewpoints on Viewpoints In ACM Workshop SIGSOFT:285-288. ACM Press.
Letelier P (2002) A Framework for Requirements Traceability in UML-based Projects. In 1st International Workshop on Traceability in Emerging Forms of Software Engineering. In Conjunction with the 17th IEEE International Conference on Automated Software Engineering.
Li H-F, Wang J-F, Yu H-L, & Yang D-L (2007) Services Science, Management, and Engineering: A Literature Review in the Perspective of Management Science. In Proceding of the IEEE IEEM:1438–1441.
Lusch R, Vargo S, and Wessels G (2008) Towards a Conceptual Foundation for Service Science: Contributions from Service-dominant Logic. IBM Systems Journal:1–9.
Maglio PP, Vargo SL, Caswell N, & Spohrer J (2009) The Service System Is the Basic Abstraction of Service Science. Information Systems and e-Business Management 7(4): 395–406.
Marshall C (2000) Enterprise Modeling with UML. Addison-Wesley.
Miyagi P (1988) Control System Design, Analysis and Implementation of Discrete Event Production Systems by using Mark Flow Graph. Ph.D. thesis, Tokyo Institute of Technology, Tokyo.
Moussa S & Touzani M (2010) A Literature Review of Service Research Since 1993. Journal of Service Science 2(2):173–212.
Murata T (2002) Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4):541–580.
Ng ICL & Maull R (2009) Embedding the New Discipline of Service Science. In The Science of Service Systems, ed. Demirkan, H, J.H. Spohrer and V. Krishna Eds. Springer. 44.
NIST (2010) NIST Framework and Roadmap for Smart Grid Interoperability Standards. Nist Special Publication.
OMGSysML (2012) OMG Systems Modeling Language (OMG SysML V1.3). http://www. omg.org/spec/SysML/1.3/.
Oliveira VC & Silva JR (2011) Process Oriented Design Service: Case Study for Automated Information System. In 21st Brazilian Congress of Mechanical Engineering, Natal, RN, Brasil 10.
Ostrom AL, Bitner MJ, Brown SW, Burkhard KA, Goul M, Smith-Daniels V., Demirkan H, & Rabinovich E (2010) Moving Forward and Making a Difference: Research Priorities for the Science of Service. Journal of Service Research 13(1):4–36.
Pawson R (2002) Naked Objects. Software, IEEE:81–83.
Pearce P & Hause M (2012) Model-Based Submarine Design. In SETE and APCOSE. Brisbane, Australia, 15.
Raumbaugh JR, Blaha MR, Lorensen W, Eddy F, and Premerlani W (1991) Object-Oriented Modeling and Design. Prentice-hall.
Robertson S & Robertson J (2006) Mastering the Requirements Process. Second Edi. Addison-Wesley.
Silva JR, Benítez I, Villafruela L, Gomis O, & Sudrià A (2008) Modeling Extended Petri Nets Compatible with GHENeSys IEC61131 for Industrial Automation. The International Journal of Advanced Manufacturing Technology 36(11):1180–1190.
Silva JR & Miyagi PE (1995) PFS/MFG: A High Level Net for the Modeling of Discrete Manufacturing Systems. In Balanced Automation Systems, Arquitectures and Design Methods, ed. Luis Camarinha Matos and Hamideh Afsarmanesh, Chapman and Hall: 349–362
Silva JR & Miyagi PE (1996) A Formal Approach to PFS/MFG: a Petri Net Representation of Discrete Manufacturing Systems. In Studies in Informatics and Control. Romenia: IC Publications.
Smith E (1998) Principles of High-level Net Theory. Lectures on Petri Nets I: Basic Models.
Sommerville I, Sawyer P, & Viller S (1997) Viewpoints for Requirements Elicitation: a Practical Approach. In Proceedings of IEEE International Symposium on Requirements Engineering: RE 1998. IEEE Comput. Soc:74–81.
Spohrer J, Maglio PP, Bailey J, & Gruhl D (2007) Steps Toward a Service Systems. IEEE Computer Society:71–77.
Spohrer J, Vargo SL, Caswell N, & Maglio PP (2008) The Service System Is the Basic Abstraction of Service Science. Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008):104–104.
Stair RM & Reynolds GW (2010) Information Systems. Australia: Cengage Learning.
Stanicek Z & Winkler M (2010) Service Systems Through The Prism of Conceptual Modeling. Service Science Journal 2:112–125.
Tang A, Jin Y, & Han J (2007) A Rationale-based Architecture Model for Design Traceability and Reasoning. Journal of Systems and Software 80(6):918–934.
Vaquero T, Silva J, & Beck J (2011) A Brief Review of Tools and Methods for Knowledge Engineering for Planning and Scheduling. KEPS-ICAPS. Freiburg. Germany.
Vargo SL & Akaka MA (2009) Service-Dominant Logic as a Foundation for Service Science: Clarifications. Service Science Journal 1(1):32–41.
Yu ESK (1997) Towards Modelling and Reasoning Support for Early-phase Requirements Engineering. Proceedings of ISRE 3rd IEEE International Symposium on Requirements Engineering:226–235.
Zhao G & Perros H (2009) How service science management and engineering (SSME) can evolve to an academic discipline?. International Journal of Web Engineering 5(4).
Author information
Authors and Affiliations
Corresponding author
Additional information
Valter Castelhano de Oliveira (Ph.D. in Engineering, Escola Politecnica of University of São Paulo, Brazil) is an undergraduate course coordinator at the State College of Technology of São Paulo. He has MSc degrees in Engineering from Escola Politecnica of University of São Paulo (POLI-USP) and in System Information Management from Pontificia Universidade Católica de Campinas. He also has a Bachelor degree in Computing Science from Universidade Federal de São Carlos. He has PMI-PMP with 25 years of experience (IT and software development). His current research interests are in service systems design and information systems.
José Reinaldo Silva (Ph.D. in Electric and Computer Engineering, Escola Politécnica da USP, Brazil) is an Associate Professor since 2006 in the Mechatronics Department at Universidade de São Paulo. He has a Bachelor degree in Physics and an MSc degree in Atomic Physics, both in Brazilian federal universities (UFBA and UFPE), and an MA degree in Interdisciplinary Computer Science from Mills College in USA. He had a postdoc stage in the Cheriton School of Computer Science and in the Systems Design Engineering Dept. at the University of Waterloo, Canada. His research interests are in engineering design including design methodology, requirements analysis, formal methods for modeling, verification and model checking using (Timed) Petri nets, intelligent systems including artificial planning and scheduling, information systems and service systems.
Rights and permissions
About this article
Cite this article
de Oliveira, V.C., Silva, J.R. A service-oriented framework to the design of information system service. J Serv Sci Res 7, 55–96 (2015). https://doi.org/10.1007/s12927-015-0003-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12927-015-0003-2